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...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
352 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Theory and practice of software development = TAPSOFT'89, vol. 2, proceedings, INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, Berlin, Springer, 1989, 1 vol. (X-389 p.), Lecture notes in computer science - LNCS, 3-540-50940-2 • TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989, Texte imprimé, 9783540509400 • TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989, Texte imprimé, 9783662162149 |
| LEADER | 05219nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 944256 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155180827 | ||
| 020 | |a 9783540461180 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International joint conference on theory and practice of software development |n (3 |d :1989 |c :Barcelone, Espagne). | |
| 245 | 1 | 0 | |a TAPSOFT '89 : |b proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13 17, 1989 |n volume 2, |p advanced seminar on foundations of innovative software development II and colloquium on current issues in programming languages (CCIPL) |c [edited by] J. Díaz, F. Orejas. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 352 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Structure logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Orejas, Fernando, |d 1952- |4 pbd | |
| 700 | 1 | |a Díaz, Josep, |d 1950- |4 pbd | |
| 776 | 0 | |0 099347911 |t Theory and practice of software development = TAPSOFT'89, vol. 2 |o proceedings |f INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT |c Berlin |n Springer |d 1989 |p 1 vol. (X-389 p.) |s Lecture notes in computer science - LNCS |z 3-540-50940-2 | |
| 776 | 0 | |t TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 |b Texte imprimé |z 9783540509400 | |
| 776 | 0 | |t TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 |b Texte imprimé |z 9783662162149 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-50940-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-4MCHT4C2-K |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747921377 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-50940-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750933798 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-50940-2 |z Accès INSA CVL | |
| 997 | |0 944256 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||