Some Practical Problems and Their Influence on Semantics
Abstract elided by the publisher.
976 papers · page 42 of 49
Compiling Haskell by Program Transformation: A Report from the Trenches
Abstract elided by the publisher.
Parametricity and Unboxing with Unpointed Types
Abstract elided by the publisher.
Modular Denotational Semantics for Compiler Construction
Abstract elided by the publisher.
Compositional Semantics of Non-Deterministic Synchronous Languages
Abstract elided by the publisher.
Checking System Properties via Integer Programming
Abstract elided by the publisher.
Efficient Minimization up to Location Equivalence
Abstract elided by the publisher.
A New Approach to Compiling Adaptive Programs
Abstract elided by the publisher.
Mode and Termination Checking for Higher-Order Logic Programs
Abstract elided by the publisher.
Linear Time Hierarchies for a Functional Language Machine Model
Abstract elided by the publisher.
Integer Constraints to Stop Deforestation
Abstract elided by the publisher.
Towards an ML-Style Polymorphic Type System for C
Abstract elided by the publisher.
Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness
Abstract elided by the publisher.
Towards an Expressive Language for PDE Solvers
Abstract elided by the publisher.
A Theory of Primitive Objects - Scond-Order Systems
Abstract elided by the publisher.
Local Type Reconstruction by Means of Symbolic Fixed Point Iteration
Abstract elided by the publisher.
An Asynchronous Algebra with Multiple Clocks
Abstract elided by the publisher.
Foundational Issues in Implementing Constraint Logic Programming Systems
Abstract elided by the publisher.
Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS
Abstract elided by the publisher.
Characterizing Behavioural Semantics and Abstractor Semantics
Abstract elided by the publisher.