ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings [1 ed.] 3540190279, 9783540190271
The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of th
230 59 4MB
English Pages 383 [386] Year 1988
Table of contents :
Semantics-based program integration....Pages 1-20
A semantics driven temporal verification system....Pages 21-33
Algebraic formalisation of program development by transformation....Pages 34-48
QPC: QJ-based proof compiler -simple examples and analysis-....Pages 49-63
Implementation of modular algebraic specifications....Pages 64-78
A polymorphic type system with subtypes for Prolog....Pages 79-93
Type inference with subtypes....Pages 94-114
A theory of software reusability....Pages 115-130
Parametric overloading in polymorphic programming languages....Pages 131-144
Programming with proofs: A second order type theory....Pages 145-159
An exception handling construct for functional languages....Pages 160-174
A functional language for the specification of complex tree transformations....Pages 175-190
Garp: Graph abstractions for concurrent programming....Pages 191-205
Extending functional programming towards relations....Pages 206-220
Perfect pipelining: A new loop parallelization technique....Pages 221-235
New insights into partial evaluation: the SCHISM experiment....Pages 236-246
Code selection techniques: Pattern matching, tree parsing, and inversion of derivors....Pages 247-268
Adding relational query facilities to software development environments....Pages 269-283
Compilation of logic programs for restricted and-parallelism....Pages 284-297
Implementation of lazy pattern matching algorithms....Pages 298-316
Enhancing Prolog to support Prolog programming environments....Pages 317-327
2-Level λ-lifting....Pages 328-343
Deforestation: Transforming programs to eliminate trees....Pages 344-358
On implementing logic programming languages on a dataflow architecture....Pages 359-372
The PSG system: From formal language definitions to interactive programming environments....Pages 373-375
LPG: A generic, logic and functional programming language....Pages 376-377
CEC: A system for the completion of conditional equational specifications....Pages 378-379
A functional language for the specification of complex tree transformations....Pages 380-380
Semantics-based program integration....Pages 1-20
A semantics driven temporal verification system....Pages 21-33
Algebraic formalisation of program development by transformation....Pages 34-48
QPC: QJ-based proof compiler -simple examples and analysis-....Pages 49-63
Implementation of modular algebraic specifications....Pages 64-78
A polymorphic type system with subtypes for Prolog....Pages 79-93
Type inference with subtypes....Pages 94-114
A theory of software reusability....Pages 115-130
Parametric overloading in polymorphic programming languages....Pages 131-144
Programming with proofs: A second order type theory....Pages 145-159
An exception handling construct for functional languages....Pages 160-174
A functional language for the specification of complex tree transformations....Pages 175-190
Garp: Graph abstractions for concurrent programming....Pages 191-205
Extending functional programming towards relations....Pages 206-220
Perfect pipelining: A new loop parallelization technique....Pages 221-235
New insights into partial evaluation: the SCHISM experiment....Pages 236-246
Code selection techniques: Pattern matching, tree parsing, and inversion of derivors....Pages 247-268
Adding relational query facilities to software development environments....Pages 269-283
Compilation of logic programs for restricted and-parallelism....Pages 284-297
Implementation of lazy pattern matching algorithms....Pages 298-316
Enhancing Prolog to support Prolog programming environments....Pages 317-327
2-Level λ-lifting....Pages 328-343
Deforestation: Transforming programs to eliminate trees....Pages 344-358
On implementing logic programming languages on a dataflow architecture....Pages 359-372
The PSG system: From formal language definitions to interactive programming environments....Pages 373-375
LPG: A generic, logic and functional programming language....Pages 376-377
CEC: A system for the completion of conditional equational specifications....Pages 378-379
A functional language for the specification of complex tree transformations....Pages 380-380
![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)
- Author / Uploaded
- Thomas Reps
- Susan Horwitz (auth.)
- H. Ganzinger (eds.)
- Similar Topics
- Education
- International Conferences and Symposiums
![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 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)
![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)
