Ebook: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.

---

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.

---

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.
Content:
Front Matter....Pages -
Towards a meaning of ‘M’ in VDM....Pages 1-35
Algebraic specification and functionals for transformational program and meta program development....Pages 36-59
On the use of specification styles in the design of distributed systems....Pages 60-60
Specifying Avalon objects in Larch....Pages 61-80
A self-applicable partial evaluator for term rewriting systems....Pages 81-95
Verifying correctness of logic programs....Pages 96-110
Specifying the behavior of graphical objects using Esterel....Pages 111-125
A preprocessor based module system for Prolog....Pages 126-139
Formulas, processes, and Petri-Nets applied to the specification and verification of a HDLC protocol....Pages 140-154
Compilation of lambda-calculus into functional machine code....Pages 155-166
Polymorphic subtype inference: Closing the theory-practice gap....Pages 167-183
FACILE: A symmetric integration of concurrent and functional programming....Pages 184-209
Development of concurrent programs: An example....Pages 210-224
Horn clause programs with polymorphic types: Semantics and resolution....Pages 225-240
Type checking, universe polymorphism, and typical ambiguity in the calculus of constructions draft....Pages 241-256
Is type checking practical for system configuration?....Pages 257-271
Processes and functions....Pages 272-285
Binding time analysis for polymorphically typed higher order languages....Pages 286-297
A fine grain parallel implementation of PARLOG....Pages 298-312
Specification and verification of TCSP systems by means of partial abstract data types....Pages 313-327
LEAP: A language with eval and polymorphism....Pages 328-344
The semantics of program slicing and program integration....Pages 345-359
Toward formal development of ML programs: Foundations and methodology....Pages 360-374
....Pages 375-389