skip to content
TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989 Preview this item
ClosePreview this item
Checking...

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

Author: J Díaz; F Orejas
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989.
Series: Lecture notes in computer science, 352.
Edition/Format:   eBook : Document : English
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J Díaz; F Orejas
ISBN: 9783540461180 3540461183 9783540509400 3540509402
OCLC Number: 1119449250
Description: 1 online resource (XII, 392 p. :) online resource.
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.
Series Title: Lecture notes in computer science, 352.
Responsibility: edited by J. Díaz, F. Orejas.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1119449250> # TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "1119449250" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9512550000#Topic/software_engineering_programming_and_operating_systems> ; # Software Engineering/Programming and Operating Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/9512550000#Topic/computer_architecture> ; # Computer architecture
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9512550000#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/9512550000#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/9512550000#Topic/logic_design> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/9512550000#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/9512550000#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/9512550000#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/9512550000#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/9512550000#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/9512550000#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/9512550000#Topic/computer_system_implementation> ; # Computer System Implementation
    schema:bookFormat schema:EBook ;
    schema:datePublished "1989" ;
    schema: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."@en ;
    schema:description "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."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/9512550000#Person/diaz_j> ; # J. Díaz
    schema:editor <http://experiment.worldcat.org/entity/work/data/9512550000#Person/orejas_f> ; # F. Orejas
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9512550000> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/9512550000#CreativeWork/> ;
    schema:name "TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989"@en ;
    schema:numberOfPages "392" ;
    schema:productID "1119449250" ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-662-16214-9> ;
    schema:url <https://doi.org/10.1007/3-540-50940-2> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-662-17693-1> ;
    schema:url <https://link.springer.com/10.1007/3-540-50940-2> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-50940-0> ;
    schema:url <http://dx.doi.org/10.1007/3-540-50940-2> ;
    schema:workExample <http://worldcat.org/isbn/9783540461180> ;
    schema:workExample <http://dx.doi.org/10.1007/3-540-50940-2.> ;
    schema:workExample <http://worldcat.org/isbn/9783540509400> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1119449250> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9512550000#Person/diaz_j> # J. Díaz
    a schema:Person ;
    schema:familyName "Díaz" ;
    schema:givenName "J." ;
    schema:name "J. Díaz" ;
    .

<http://experiment.worldcat.org/entity/work/data/9512550000#Person/orejas_f> # F. Orejas
    a schema:Person ;
    schema:familyName "Orejas" ;
    schema:givenName "F." ;
    schema:name "F. Orejas" ;
    .

<http://experiment.worldcat.org/entity/work/data/9512550000#Topic/computer_architecture> # Computer architecture
    a schema:Intangible ;
    schema:name "Computer architecture"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9512550000#Topic/computer_science> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    schema:name "Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9512550000#Topic/computer_system_implementation> # Computer System Implementation
    a schema:Intangible ;
    schema:name "Computer System Implementation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9512550000#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9512550000#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9512550000#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9512550000#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9512550000#Topic/programming_languages_electronic_computers> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9512550000#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    schema:name "Software Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9512550000#Topic/software_engineering_programming_and_operating_systems> # Software Engineering/Programming and Operating Systems
    a schema:Intangible ;
    schema:name "Software Engineering/Programming and Operating Systems"@en ;
    .

<http://worldcat.org/entity/work/data/9512550000#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1119449250> ; # TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
    .

<http://worldcat.org/isbn/9783540461180>
    a schema:ProductModel ;
    schema:isbn "3540461183" ;
    schema:isbn "9783540461180" ;
    .

<http://worldcat.org/isbn/9783540509400>
    a schema:ProductModel ;
    schema:isbn "3540509402" ;
    schema:isbn "9783540509400" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1119449250> ; # TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/1119449250>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1119449250> ; # TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
    schema:dateModified "2019-09-13" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.