ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings [1 ed.] 3540164421, 9783540164425
223 58 4MB
English Pages 380 Year 1986
Table of contents :
Compiler generation from relational semantics....Pages 1-29
Correctness of code generation from a two-level meta-language....Pages 30-40
A general approach to the optimization of function calls....Pages 41-52
Lifetime analysis for procedure parameters....Pages 53-69
Another implementation technique for applicative languages....Pages 70-81
Graal : A Functional Programming system with uncurryfied combinators and its reduction machine....Pages 82-98
A safe approach to parallel combinator reduction (extended abstract)....Pages 99-110
Reducing recursion to iteration by algebraic extension....Pages 111-118
Design and implementation of a generic, logic and functional programming language....Pages 119-132
Pragmatic aspects of two-level denotational meta-languages....Pages 133-143
An experiment in practical semantics....Pages 144-159
The choice of programming primitives for SETL-like programming languages....Pages 160-172
Algebraic semantics of exception handling....Pages 173-186
Data refinement refined resume....Pages 187-196
Proving entailment between conceptual state specifications....Pages 197-209
Automatic parallelization of fortran programs in the presence of procedure calls....Pages 210-222
Parallelization by semantic detection of reductions....Pages 223-236
Denotational semantics of nets with nondeterminism....Pages 237-249
specification of a tool for viewing program text....Pages 250-261
A classical implementation for Prolog-II....Pages 262-273
Programs as collections of communicating Prolog units....Pages 274-288
An and-parallel execution model of logic programs....Pages 289-300
Compiling Extended Concurrent Prolog -single queue compilation-....Pages 301-314
A very intelligent backtracking method for Logic Programs....Pages 315-326
An application of abstract interpretation of logic programs: Occur check reduction....Pages 327-338
Experiences with the RAP system — a specification interpreter combining term rewriting and resolution....Pages 339-350
Rewriting with a nondeterministic choice operator : From algebra to proofs....Pages 351-374
Compiler generation from relational semantics....Pages 1-29
Correctness of code generation from a two-level meta-language....Pages 30-40
A general approach to the optimization of function calls....Pages 41-52
Lifetime analysis for procedure parameters....Pages 53-69
Another implementation technique for applicative languages....Pages 70-81
Graal : A Functional Programming system with uncurryfied combinators and its reduction machine....Pages 82-98
A safe approach to parallel combinator reduction (extended abstract)....Pages 99-110
Reducing recursion to iteration by algebraic extension....Pages 111-118
Design and implementation of a generic, logic and functional programming language....Pages 119-132
Pragmatic aspects of two-level denotational meta-languages....Pages 133-143
An experiment in practical semantics....Pages 144-159
The choice of programming primitives for SETL-like programming languages....Pages 160-172
Algebraic semantics of exception handling....Pages 173-186
Data refinement refined resume....Pages 187-196
Proving entailment between conceptual state specifications....Pages 197-209
Automatic parallelization of fortran programs in the presence of procedure calls....Pages 210-222
Parallelization by semantic detection of reductions....Pages 223-236
Denotational semantics of nets with nondeterminism....Pages 237-249
specification of a tool for viewing program text....Pages 250-261
A classical implementation for Prolog-II....Pages 262-273
Programs as collections of communicating Prolog units....Pages 274-288
An and-parallel execution model of logic programs....Pages 289-300
Compiling Extended Concurrent Prolog -single queue compilation-....Pages 301-314
A very intelligent backtracking method for Logic Programs....Pages 315-326
An application of abstract interpretation of logic programs: Occur check reduction....Pages 327-338
Experiences with the RAP system — a specification interpreter combining term rewriting and resolution....Pages 339-350
Rewriting with a nondeterministic choice operator : From algebra to proofs....Pages 351-374
![ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings [1 ed.]
3540164421, 9783540164425](https://ebin.pub/img/200x200/esop-86-european-symposium-on-programming-saarbrcken-federal-republic-of-germany-march-1719-1986-proceedings-1nbsped-3540164421-9783540164425.jpg)
- Author / Uploaded
- Mads Dam
- Frank Jensen (auth.)
- Bernard Robinet
- Reinhard Wilhelm (eds.)
- Similar Topics
- Education
- International Conferences and Symposiums
![ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings [1 ed.]
3540190279, 9783540190271](https://ebin.pub/img/200x200/esop-88-2nd-european-symposium-on-programming-nancy-france-march-2124-1988-proceedings-1nbsped-3540190279-9783540190271.jpg)
![ESOP '92: 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings [1 ed.]
3540552537, 9783540552536](https://ebin.pub/img/200x200/esop-92-4th-european-symposium-on-programming-rennes-france-february-2628-1992-proceedings-1nbsped-3540552537-9783540552536.jpg)
![ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings [1 ed.]
3540525920, 9783540525929](https://ebin.pub/img/200x200/esop-90-3rd-european-symposium-on-programming-copenhagen-denmark-may-1518-1990-proceedings-1nbsped-3540525920-9783540525929.jpg)
![The Dynamic State of Muscle Fibers: Proceedings of the International Symposium. October 1–6, 1989, Konstanz, Federal Republic of Germany [Reprint 2019 ed.]
9783110884784, 9783110121681](https://ebin.pub/img/200x200/the-dynamic-state-of-muscle-fibers-proceedings-of-the-international-symposium-october-16-1989-konstanz-federal-republic-of-germany-reprint-2019nbsped-9783110884784-9783110121681.jpg)
