ENGLISH

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

By Dines Bjørner (auth.) , J. Díaz , F. Orejas (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1989
ISBN
978-3-540-50940-0, 978-3-540-46118-0
DOI
10.1007/3-540-50940-2
Language
english
Format
PDF
Filesize
8 MB (8232497 bytes)
Series
Lecture Notes in Computer Science 352
Edition
1
Pages
392\399
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpreters; Logics and Meanings of Programs; MatSoftware Engineering; Programming Languages

Description

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.

Similar books