On the Expressive Power of Programming Languages
Abstract elided by the publisher.
976 papers · page 46 of 49
Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations
Abstract elided by the publisher.
Development of Concurrent Systems by Incremental Transformations
Abstract elided by the publisher.
Set Domains
Abstract elided by the publisher.
Resolution and Type Theory
Abstract elided by the publisher.
A Syntactic Theory of Transparent Parameterization
Abstract elided by the publisher.
A Backwards Analysis for Compile-time Garbage Collection
Abstract elided by the publisher.
Techniques for Improving Grammar Flow Analysis
Abstract elided by the publisher.
The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems
Abstract elided by the publisher.
Graph-based Implementation of a Functional Logic Langugage
Abstract elided by the publisher.
Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations
Abstract elided by the publisher.
Symbolic Finite Differencing - Part I
Abstract elided by the publisher.
Synthesis of Eureka Predicates for Developing Logic Programs
Abstract elided by the publisher.
Algebraic Properties of Program Integration
Abstract elided by the publisher.
Arity Raiser and its Use in Program Specialization
Abstract elided by the publisher.
Complexity Analysis for a Lazy Higher-Order Language
Abstract elided by the publisher.
On the Weak Adequacy of Branching-Time Remporal Logic
Abstract elided by the publisher.
Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism
Abstract elided by the publisher.
The Value Flow Graph: A Program Representation for Optimal Program Transformations
Abstract elided by the publisher.
Type Inference and Implicit Scaling
Abstract elided by the publisher.