TAPSOFT '89 (Record no. 34995)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04060nam a22005175i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783540461180 |
| -- | 978-3-540-46118-0 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| 245 10 - TITLE STATEMENT | |
| Title | TAPSOFT '89 |
| Sub Title | Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989 / |
| Statement of responsibility, etc | edited by J. Díaz, F. Orejas. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Berlin, Heidelberg : |
| Name of publisher | Springer Berlin Heidelberg, |
| Year of publication | 1989. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XII, 392 p. |
| Other physical details | online resource. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Logic design. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Programming Languages, Compilers, Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Logics and Meanings of Programs. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Mathematical Logic and Formal Languages. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Díaz, J. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Orejas, F. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-50940-2 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-BOOKS |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 1989. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0302-9743 ; |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|
| IMSc Library | EBK5701 | http://dx.doi.org/10.1007/3-540-50940-2 | E-BOOKS |