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

1. Front Matter

   PDF

2. Towards a meaning of ‘M’ in VDM

   • Dines Bjørner

   Pages 1-35

3. Algebraic specification and functionals for transformational program and meta program development

   • Bernd Krieg-Brückner

   Pages 36-59

4. On the use of specification styles in the design of distributed systems

   • Ohris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma

   Pages 60-60

5. Specifying Avalon objects in Larch

   • Jeannette M. Wing

   Pages 61-80

6. A self-applicable partial evaluator for term rewriting systems

   • Anders Bondorf

   Pages 81-95

7. Verifying correctness of logic programs

   • A. Bossi, N. Cocco

   Pages 96-110

8. Specifying the behavior of graphical objects using Esterel

   • Dominique Clément, Janet Incerpi

   Pages 111-125

9. A preprocessor based module system for Prolog

   • Roland Dietrich

   Pages 126-139

10. Formulas, processes, and Petri-Nets applied to the specification and verification of a HDLC protocol

    • M. Duque Antón, M. Bretschneider

    Pages 140-154

11. Compilation of lambda-calculus into functional machine code

    • P. Fradet, D. Le Métayer

    Pages 155-166

12. Polymorphic subtype inference: Closing the theory-practice gap

    • You-Chin Fuh, Prateek Mishra

    Pages 167-183

13. FACILE: A symmetric integration of concurrent and functional programming

    • Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad

    Pages 184-209

14. Development of concurrent programs: An example

    • E. Pascal Gribomont

    Pages 210-224

15. Horn clause programs with polymorphic types: Semantics and resolution

    • Michael Hanus

    Pages 225-240

16. Type checking, universe polymorphism, and typical ambiguity in the calculus of constructions draft

    • Robert Harper, Robert Pollack

    Pages 241-256

17. Is type checking practical for system configuration?

    • P. Inverardi, S. Martini, C. Montangero

    Pages 257-271

18. An introduction to PSFd

    • S. Mauw, G. J. Veltink

    Pages 272-285

19. Processes and functions

    • Silvio Lemos Meira

    Pages 286-297

20. Binding time analysis for polymorphically typed higher order languages

    • Torben Æ. Mogensen

    Pages 298-312

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.

• ML
• Prolog
• Resolution
• design
• distributed systems
• functional programming
• logic
• polymorphism
• programming
• programming language
• semantics
• verification

Policies and ethics