Вы здесь

Главная

Programming Languages: Implementations, Logics and Programs

Связанные издания:

A Complete Narrowing Calculus for Higher-Order Functional Logic Programming
A Dataflow Semantics for Constraint Logic Programs
A Genetic Program for Sequential Decision Processes
A Lambda-calculus a la de Bruijn with explicit substitutions
An Abstract Machine for Oz
A New Calculus for Semantic Matching
A Semantic Model of Binding Times for Safe Partial Evaluation
A Verified Implementation of Narrowing
Better Consumers for Deforestation (Extended Abstract)
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures
Efficient Multi-level Generating Extensions for Program Specialization
Exploiting Parallelism in Tabled Evaluations
Gadgets: Lazy Functional Components for Graphical User Interfaces
Goal-Directed Query Processing in Disjunctive Logic Databases
Lightweight GUIs for Functional Programming
Local Linear Logic for Locality Consciousness in Multiset Transformation
Mechanically Verifying the Correctness of an Offline Partial Evaluator
Minimal Set Unification
Modes of Comprehension: Mode Analysis of a Arrays and Array Comprehensions
Parsing Visual Languages with Constraint Multiset Grammars
The Notion of Floundering for SLDNF-Resolution Revisited
Towards a Taxonomy of Functional Language Implementations
Uniform PERs and Comportment Analysis
Uniqueness Type Inference