A Safe Approach to Parallel Combinator Reduction (Extended Abstract)
Abstract elided by the publisher.
976 papers · page 49 of 49
Data Refinement Refined
Abstract elided by the publisher.
Parallelization by Semantic Detection of Reductions
Abstract elided by the publisher.
Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs
Abstract elided by the publisher.
Lifetime Analysis for Procedure Parameters
Abstract elided by the publisher.
Denotational Semantics of Nets with Nondeterminism
Abstract elided by the publisher.
Programs as Collections of Communicating Prolog Units
Abstract elided by the publisher.
An Experiment in Practical Semantics
Abstract elided by the publisher.
Correctness of Code Generation from a Two-Level Meta-Language
Abstract elided by the publisher.
Pragmatic Aspects of Two-Level Denotational Meta-Languages
Abstract elided by the publisher.
Specification of a Tool for Viewing Program Text
Abstract elided by the publisher.
An And-Parallel Execution Model of Logic Programs
Abstract elided by the publisher.
An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction
Abstract elided by the publisher.
Proving Entailment Between Conceptual State Specifications
Abstract elided by the publisher.
Compiling Extended Concurrent Prolog - Single Queue Compilation
Abstract elided by the publisher.
Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls
Abstract elided by the publisher.