## 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.