04134nam 22007455 450 991014363050332120200702013235.03-540-45099-810.1007/b87738(CKB)1000000000211250(SSID)ssj0000326880(PQKBManifestationID)11213075(PQKBTitleCode)TC0000326880(PQKBWorkID)10297128(PQKB)10720848(DE-He213)978-3-540-45099-3(MiAaPQ)EBC3088905(PPN)155213997(EXLCZ)99100000000021125020121227d2000 u| 0engurnn|008mamaatxtccrStatic Analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings /edited by Jens Palsberg1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (VIII, 433 p.) Lecture Notes in Computer Science,0302-9743 ;1824Bibliographic Level Mode of Issuance: Monograph3-540-67668-6 Includes bibliographical references and index.Invited Papers -- Enforcing Design Constraints with Object Logic -- Model Checking as Constraint Solving -- Contributed Papers -- Abstract Interpretation Based Semantics of Sequent Calculi -- A Transformational Approach for Generating Non-linear Invariants -- Deriving Parallel Codes via Invariants -- Safety of Strictness Analysis via Term Graph Rewriting -- Checking Cleanness in Linked Lists -- Confidentiality Analysis of Mobile Systems -- Unified Analysis of Array and Object References in Strongly Typed Languages -- Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for C -- Efficient Inference of Static Types for Java Bytecode -- Abstract Interpretation of Game Properties -- FULLDOC: A Full Reporting Debugger for Optimized Code -- Partial Redundancy Elimination on Predicated Code -- TVLA: A System for Implementing Static Analyses -- Tree Schemata and Fair Termination -- Abstract Interpretation of Probabilistic Semantics -- Code Specialization Based on Value Profiles -- Flattening Is an Improvement -- Model Checking Guided Abstraction and Analysis -- Abstract Domains for Sharing Analysis by Optimal Semantics -- Concurrency Analysis for Java.Lecture Notes in Computer Science,0302-9743 ;1824Programming languages (Electronic computers)Computer logicComputer programmingMathematical logicSoftware engineeringProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming languages (Electronic computers).Computer logic.Computer programming.Mathematical logic.Software engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Programming Techniques.Mathematical Logic and Formal Languages.Software Engineering.005.13/1Palsberg Jensedthttp://id.loc.gov/vocabulary/relators/edtInternational Static Analysis SymposiumMiAaPQMiAaPQMiAaPQBOOK9910143630503321Static Analysis2995248UNINA