Cover Image
Read Now

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)

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...

Full description

Bibliographic Details
Other Authors: Diaz, Josep (Editor), Orejas, Fernando (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1989, 1989
Edition:1st ed. 1989
Series:Lecture Notes in Computer Science
Subjects:
Computer Systems
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Computer System Implementation
Formal Languages And Automata Theory
Machine Theory
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Towards a meaning of ‘M’ in VDM
  • Algebraic specification and functionals for transformational program and meta program development
  • On the use of specification styles in the design of distributed systems
  • Specifying Avalon objects in Larch
  • A self-applicable partial evaluator for term rewriting systems
  • Verifying correctness of logic programs
  • Specifying the behavior of graphical objects using Esterel
  • A preprocessor based module system for Prolog
  • Formulas, processes, and Petri-Nets applied to the specification and verification of a HDLC protocol
  • Compilation of lambda-calculus into functional machine code
  • Polymorphic subtype inference: Closing the theory-practice gap
  • FACILE: A symmetric integration of concurrent and functional programming
  • Development of concurrent programs: An example
  • Horn clause programs with polymorphic types: Semantics and resolution
  • Type checking, universe polymorphism, and typical ambiguity in the calculus of constructions draft
  • Is type checking practical for system configuration?
  • An introduction to PSFd
  • Processes and functions
  • Binding time analysis for polymorphically typed higher order languages
  • A fine grain parallel implementation of PARLOG
  • Specification and verification of TCSP systems by means of partial abstract data types
  • LEAP: A language with eval and polymorphism
  • The semantics of program slicing and program integration
  • Toward formal development of ML programs: Foundations and methodology

Similar Items