default search action
3. TAPSOFT 1989: Barcelona, Spain
- Josep Díaz, Fernando Orejas:
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
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
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). 375-389
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: