3. TAPSOFT 1989: Barcelona, Spain

Josep Díaz, Fernando Orejas (Eds.): TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL). Lecture Notes in Computer Science 352 Springer 1989, ISBN 3-540-50940-2

Invited Lectures

Dines Bjørner:
Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial). 1-35
Bernd Krieg-Brückner:
Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development. 36-59
Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma:
On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). 60
Jeannette M. Wing:
Specifying Avalon Objects in Larch. 61-80

Communications

Anders Bondorf:
A Self-Applicable Partial Evaluator for Term Rewriting Systems. 81-95
Annalisa Bossi, Nicoletta Cocco:
Verifying Correctness of Logic Programs. 96-110
Dominique Clément, Janet Incerpi:
Specifying the Behavior of Graphical Objects Using Esterel. 111-125
Roland Dietrich:
A Preprocessor Based Module System for Prolog. 126-139
Manuel Duque-Antón, M. Bretschneider:
Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol. 140-154
Pascal Fradet, Daniel Le Métayer:
Compilation of Lambda-Calculus into Functional Machine Code. 155-166
You-Chin Fuh, Prateek Mishra:
Polymorphic Subtype Inference: Closing the Theory-Practice Gap. 167-183
Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad:
FACILE: A Symmetric Integration of Concurrent and Functional Programming. 184-209
E. Pascal Gribomont:
Development of Concurrent Programs: An Example. 210-224
Michael Hanus:
Horn Clause Programs with Polymorphic Types: Semantics and Resolution. 225-240
Robert Harper, Robert Pollack:
Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft). 241-256
Paola Inverardi, Simone Martini, Carlo Montangero:
Is Type Checking Practical for System Configuration? 257-271
Sjouke Mauw, Gert J. Veltink:
An Introduction to PSFd. 272-285
Silvio Romero de Lemos Meira:
Processes and Functions. 286-297
Torben Æ. Mogensen:
Binding Time Analysis for Polymorphically Typed Higher Order Languages. 298-312
George A. Papadopoulos:
A Fine Grain Parallel Implementation of PARLOG. 313-327
Ricardo Pena, Luis M. Alonso:
Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types. 328-344
Frank Pfenning, Peter Lee:
LEAP: A Language with Eval And Polymorphism. 345-359
Thomas W. Reps, Wuu Yang:
The Semantics of Program Slicing and Program Integration. 360-374
Donald Sannella, Andrzej Tarlecki:
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). 375-389