Baudouin Lecharlier

Static Analysis: First International Static Analysis Symposium, Sas '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (First International Static Analysis Symposium, Sas '94, Namur, Belgium, September 28-30, 1994 - Proceedings) - Lecture Notes in Baudouin Lecharlier

Marc Notes: Spine title: Static analysis symposium.; Includes bibliographical references and index. Table of Contents: The costs and benefits of abstract interpretation-driven Prolog optimization.- Mode analysis of functional logic programs.- Directional type checking of logic programs.- A systematic construction of abstract domains.- Constraint-based type inference and parametric polymorphism.- Efficient on-the-fly analysis of program behavior and static cache simulation.- From processor timing specifications to static instruction scheduling.- Stackability in the simply-typed call-by-value lambda calculus.- Generalized boxings, congruences and partial inlining.- Selective thunkification.- About synchronous programming and abstract interpretation.- Uniqueness and completeness analysis of array comprehensions.- Extent analysis of data fields.- Verification of linear hybrid systems by means of convex approximations.- Compile-time detection of uncaught exceptions in Standard ML programs.- Estimating the computational cost of logic programs.- Boolean functions for dependency analysis: Algebraic properties and efficient representation.- Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop.- Extracting Non-strict independent and-parallelism using sharing and freeness information.- Efficient fixpoint computation.- Finding fixpoints in finite function spaces using neededness analysis and chaotic iteration.- Efficient strictness analysis of Haskell.- Abstract interpretation using TDGs.- A type-based framework for program analysis.- Iterative fixed point computation for type-based strictness analysis.- Strictness and totality analysis.- Fast strictness analysis via symbolic fixpoint iteration.- Generating transformers for deforestation and supercompilation.- Mechanical elimination of commutative redundancy.