LEADER 05733nam 22007575 450 001 996465890203316 005 20200706041712.0 010 $a3-540-48027-7 024 7 $a10.1007/3-540-57264-3 035 $a(CKB)1000000000234023 035 $a(SSID)ssj0000326883 035 $a(PQKBManifestationID)11297556 035 $a(PQKBTitleCode)TC0000326883 035 $a(PQKBWorkID)10298432 035 $a(PQKB)10989595 035 $a(DE-He213)978-3-540-48027-3 035 $a(PPN)155191551 035 $a(EXLCZ)991000000000234023 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aStatic Analysis$b[electronic resource] $eThird International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings /$fedited by Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (X, 290 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v724 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-57264-3 327 $aThe impact of granularity in abstract interpretation of Prolog -- Optimization techniques for general purpose fixpoint algorithms practical efficiency for the abstract interpretation of Prolog -- Chaotic fixpoint iteration guided by dynamic dependency -- Fast abstract interpretation using sequential algorithms -- Abstract interpretation and verification of reactive systems -- Semantics and analysis of linda-based languages -- Compiling FX on the CM-2 -- Combining dependability with architectural adaptability by means of the signal language -- Challenges in developing useful and practical static analysis for logic programs -- Occam's razor in metacomputation: the notion of a perfect process tree -- Tupling functions with multiple recursion parameters -- Avoiding repeated tests in pattern matching -- Freeness, sharing, linearity and correctness ? All at once -- Synthesis of directionality information for functional logic programs -- Abstract rewriting -- Reflections on program optimization -- Finiteness conditions for strictness analysis -- Strictness properties of lazy algebraic datatypes -- Minimal thunkification -- An efficient abductive reasoning system based on program analysis -- A congruence for gamma programs -- Usage analysis with natural reduction types -- Polymorphic types and widening operators -- Demonstration: static analysis of AKL. 330 $aThis volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA is to serve as a forum for the discussion of the various aspects of static analysis in different programming paradigms. The clearly increasing mumbers of submitted papers and workshop participants point out the growing importance of static analysis techniques for logical, functional, concurrent and parallel languages as well as for parallel term rewriting systems. This proceedings contains, besides the abstracts or full papers of the invited talks given by Pascal Van Hentenryck, Peter van Roy, and Paul Hudak, full versions of the 20 contributed papers selected from a total of 68 submissions by an international program committee consisting of many renown researchers in the field. The volume is organized in sections on fixpoint computation, concurrency, parallelism, transformation, logic programs, term rewriting systems, strictness, reasoning about programs, and types. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v724 606 $aSoftware engineering 606 $aData structures (Computer science) 606 $aComputer programming 606 $aComputer logic 606 $aMathematical logic 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aSoftware engineering. 615 0$aData structures (Computer science). 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aData Structures and Information Theory. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aSoftware Engineering. 676 $a005.1 702 $aCousot$b Patrick$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFalaschi$b Moreno$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFile$b Gilberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRauzy$b Antoine$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWorkshop on Static Analysis 906 $aBOOK 912 $a996465890203316 996 $aStatic Analysis$9772085 997 $aUNISA