Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Functional and Logic Programming and Specifications
TAPSOFT, Vol.2: CFLP, 1987.

@proceedings{CFLP-1987,
	doi           = "10.1007/BFb0014968",
	editor        = "Hartmut Ehrig and Robert A. Kowalski and Giorgio Levi and Ugo Montanari",
	isbn          = "3-540-17611-X",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Functional and Logic Programming and Specifications}",
	volume        = 250,
	year          = 1987,
}

Contents (17 items)

CFLP-1987-Piperno #abstraction #algorithm #combinator #logic

A Compositive Abstraction Algorithm for Combinatory Logic (AP), pp. 39–51.

CFLP-1987-GirardL #lazy evaluation #linear #logic

Linear Logic and Lazy Computation (JYG, YL), pp. 52–66.

CFLP-1987-Clement #ml #semantics #standard

The Natural Dynamic Semantics of Mini-Standard ML (DC), pp. 67–81.

CFLP-1987-Farkas #prolog

LISTLOG - A Prolog Extension for List Processing (ZF), pp. 82–95.

CFLP-1987-BarbutiMPT #implementation #logic programming #source code

Intensional Negation of Logic Programs: Examples and Implementation Techniques (RB, PM, DP, FT), pp. 96–110.

CFLP-1987-RoyDW #execution #prolog

Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism (PVR, BD, YDW), pp. 111–125.

CFLP-1987-PerceboisFDSB #architecture #distributed #graph #multi #prolog #simulation

Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph (CP, IF, ID, CS, BB), pp. 126–139.

CFLP-1987-LindstromGY #generative #performance #strict

Generating Efficient Code from Strictness Annotations (GL, LG, DY), pp. 140–154.

CFLP-1987-Finn #evaluation #lazy evaluation #named

Hoisting: Lazy Evaluation in a Cold Climate (SF), pp. 155–166.

CFLP-1987-DrabentM #induction #logic programming #source code

Inductive Assertion Method for Logic Programs (WD, JM), pp. 167–181.

CFLP-1987-PettorossiS #higher-order

Higher Order Generalization in Program Derivation (AP, AS), pp. 182–196.

CFLP-1987-Thomas #algebra #data type #imperative #implementation #programming language

Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language (MT), pp. 197–211.

CFLP-1987-Bellia #functional #logic programming #named #paradigm

Retractions: A Functional Paradigm for Logic Programming (MB), pp. 260–275.

CFLP-1987-BoscoGM #semantics #unification

Refined Strategies for Semantic Unification (PGB, EG, CM), pp. 276–290.

CFLP-1987-TannenC #modelling #morphism #polymorphism

Extensional Models for Polymorphism (VT, TC), pp. 291–307.

CFLP-1987-HarperMT

A Type Discipline for Program Modules (RH, RM, MT), pp. 308–319.

CFLP-1987-BeierleV #canonical #data type #specification #theory and practice

Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications (CB, AV), pp. 320–334.