Tractable Constraints in Finite Semilattices
Abstract elided by the publisher.
783 papers · page 37 of 40
Uniformity for the Decidability of Hybrid Automata
Abstract elided by the publisher.
A Backward Slicing Algorithm for Prolog
Abstract elided by the publisher.
Combining Slicing and Constraint Solving for Validation of Measurement Software
Abstract elided by the publisher.
Property-Oriented Expansion
Abstract elided by the publisher.
Subtyping Constrained Types
Abstract elided by the publisher.
Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs
Abstract elided by the publisher.
Generation of Efficient Interprocedural Analyzers with PAG
Abstract elided by the publisher.
Optimality in Abstractions of Model Checking
Abstract elided by the publisher.
Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data
Abstract elided by the publisher.
Partitioning Non-strict Functional Languages for Multi-threaded Code Generation
Abstract elided by the publisher.
Complementation in Abstract Interpretation
Abstract elided by the publisher.
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
Abstract elided by the publisher.
Optimizing Lazy Functional Programs Using Flow Inference
Abstract elided by the publisher.
GENA - A Tool for Generating Prolog Analyzers from Specifications
Abstract elided by the publisher.
Termination Analysis for Functional Programs using Term Orderings
Abstract elided by the publisher.
A Type-based Analysis for Stack Allocation in Functional Languages
Abstract elided by the publisher.
Control-Flow Analysis and Type Systems
Abstract elided by the publisher.
Effective Flow Analysis for Avoiding Run-Time Checks
Abstract elided by the publisher.
Static Analysis of Communication for Asynchronous Concurrent Programming Languages
Abstract elided by the publisher.