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 BibTeX

@proceedings{DBLP:conf/tapsoft/1989-2,
  editor    = {Josep D\'{\i}az and
               Fernando Orejas},
  title     = {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)},
  booktitle = {TAPSOFT, Vol.2},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {352},
  year      = {1989},
  isbn      = {3-540-50940-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

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

Communications

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