Code Motion and Code Placement: Just Synonyms?
Abstract elided by the publisher.
976 papers · page 41 of 49
Recursive Object Types in a Logic of Object-Oriented Programs
Abstract elided by the publisher.
Mode-Automata: About Modes and States for Reactive Systems
Abstract elided by the publisher.
From Classes to Objects via Subtyping
Abstract elided by the publisher.
Building a Bridge between Pointer Aliases and Program Dependences
Abstract elided by the publisher.
A Complete Declarative Debugger of Missing Answers
Abstract elided by the publisher.
Systematic Change of Data Representation: Program Manipulations and a Case Study
Abstract elided by the publisher.
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract)
Abstract elided by the publisher.
A Generic Framework for Specialization (Abridged Version)
Abstract elided by the publisher.
Narrowing-Driven Partial Evaluation of Functional Logic Programs
Abstract elided by the publisher.
Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization
Abstract elided by the publisher.
A Multiple-Valued Logical Semantics for Prolog
Abstract elided by the publisher.
Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages
Abstract elided by the publisher.
A Complete Transformational Toolkit for Compilers
Abstract elided by the publisher.
Global Analysis of Standard Prolog Programs
Abstract elided by the publisher.
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm
Abstract elided by the publisher.
Compositional Optimization of Disjunctive Abstract Interpretations
Abstract elided by the publisher.
A Rewriting Logic for Declarative Programming
Abstract elided by the publisher.
Durations for Truly-Concurrent Transitions
Abstract elided by the publisher.
Flow Analysis in the Geometry of Interaction
Abstract elided by the publisher.