05445nam 22007215 450 99646610530331620200702130346.03-540-45050-510.1007/3-540-60360-3(CKB)1000000000234345(SSID)ssj0000326885(PQKBManifestationID)11276168(PQKBTitleCode)TC0000326885(PQKBWorkID)10297484(PQKB)10930468(DE-He213)978-3-540-45050-4(PPN)155184989(EXLCZ)99100000000023434520121227d1995 u| 0engurnn|008mamaatxtccrStatic Analysis[electronic resource] Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings /edited by Alan Mycroft1st ed. 1995.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1995.1 online resource (IX, 431 p.) Lecture Notes in Computer Science,0302-9743 ;983Bibliographic Level Mode of Issuance: Monograph3-540-60360-3 Natural-semantics-based abstract interpretation (preliminary version) -- Region inference for higher-order functional languages -- An automata-theoretic approach to Presburger arithmetic constraints -- Generation of efficient interprocedural analyzers with PAG -- Optimality in abstractions of model checking -- Determining storage properties of sequential and concurrent programs with assignment and structured data -- Partitioning non-strict functional languages for multi-threaded code generation -- Complementation in abstract interpretation -- Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time -- Optimizing lazy functional programs using flow inference -- Termination analysis for functional programs using term orderings -- A type-based analysis for stack allocation in functional languages -- Control-flow analysis and type systems -- Effective flow analysis for avoiding run-time checks -- Static analysis of communication for asynchronous concurrent programming languages -- Unification-free execution of well-moded and well-typed Prolog programs -- Efficient closure utilisation by higher-order inheritance analysis -- System F and abstract interpretation -- Call-by-name CPS-translation as a binding-time improvement -- Trust in the ?-calculus -- LSign reordered -- Strictness analysis by abstract reduction using a tableau calculus -- Bigloo: a portable and optimizing compiler for strict functional languages -- Beyond prototype implementations: Polymorphic projection analysis for Glasgow Haskell -- Binding-time analysis and strictness analysis by abstract interpretation -- GENA — A tool for generating Prolog analyzers from specifications -- IGOR: A tool for developing Prolog dataflow analyzers.This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as a foundation for high-performance implementations and verification systems of high-level programming languages. 22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there are abstracts or full papers for three invited presentations and two system descriptions.Lecture Notes in Computer Science,0302-9743 ;983Software engineeringComputersComputer programmingProgramming languages (Electronic computers)Computer logicSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware engineering.Computers.Computer programming.Programming languages (Electronic computers).Computer logic.Software Engineering/Programming and Operating Systems.Theory of Computation.Programming Techniques.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.005.1/31Mycroft Alanedthttp://id.loc.gov/vocabulary/relators/edtInternational Static Analysis SymposiumBOOK996466105303316Static Analysis772085UNISA