This book provides a rigorous introduction to the formal semantics of programming languages. Coverage includes the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science.
InhaltsverzeichnisInvited Talks.Algorithmic Game Semantics and Static Analysis.From Typed Process Calculi to Source-Based Security.Contributed Papers.Widening Operators for Weakly-Relational Numeric Abstractions.Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra.Inference of Well-Typings for Logic Programs with Application to Termination Analysis.Memory Space Conscious Loop Iteration Duplication for Reliable Execution.Memory Usage Verification for OO Programs.Abstraction Refinement for Termination.Data-Abstraction Refinement: A Game Semantic Approach.Locality-Based Abstractions.Type-Safe Optimisation of Plugin Architectures.Using Dependent Types to Certify the Safety of Assembly Code.The PER Model of Abstract Non-interference.A Relational Abstraction for Functions.Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis.Banshee: A Scalable Constraint-Based Analysis Toolkit.A Generic Framework for Interprocedural Analysis of Numerical Properties.Finding Basic Block and Variable Correspondence.Boolean Heaps.Interprocedural Shape Analysis for Cutpoint-Free Programs.Understanding the Origin of Alarms in Astrée.Pair-Sharing Analysis of Object-Oriented Programs.Exploiting Sparsity in Polyhedral Analysis.Secure Information Flow as a Safety Problem.
This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.