Towards the Theory of Programming in Constructive Logic
Abstract elided by the publisher.
976 papers · page 47 of 49
Perfect Pipelining: A New Loop Parallelization Technique
Abstract elided by the publisher.
The PSG System: From Formal Language Definitions to Interactive Programming Environments
Abstract elided by the publisher.
LPG: A Generic, Logic and Functional Programming Language
Abstract elided by the publisher.
CEC: A System for the Completion of Conditional Equational Specifications
Abstract elided by the publisher.
An Exception Handling Construct for Functional Languages
Abstract elided by the publisher.
New Insights into Partial Evaluation: the SCHISM Experiment
Abstract elided by the publisher.
Implementation of Modular Algebraic Specifications
Abstract elided by the publisher.
A Polymorphic Type System with Subtypes for Prolog
Abstract elided by the publisher.
Type Inference with Subtypes
Abstract elided by the publisher.
A Theory of Software Reusability
Abstract elided by the publisher.
Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors
Abstract elided by the publisher.
A Semantics Driven Temporal Verification System
Abstract elided by the publisher.
A Functional Language for the Specification of Complex Tree Transformations
Abstract elided by the publisher.
A Functional Language for the Specification of Complex Tree Transformations (System Exhibition)
Abstract elided by the publisher.
Adding Relational Query Facilities to Software Development Environments
Abstract elided by the publisher.
Compilation of Logic Programs for Restricted And-Parallelism
Abstract elided by the publisher.
Parametric Overloading in Polymorphic Programming Languages
Abstract elided by the publisher.
Garp: Graph Abstractions for Concurrent Programming
Abstract elided by the publisher.
Algebraic Formalisation of Program Development by Transformation
Abstract elided by the publisher.