skip to content
TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 Preview this item
ClosePreview this item
Checking...

TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987

Author: Hartmut Ehrig; Robert Kowalski; Giorgio Levi; Ugo Montanari
Publisher: Berlin ; New York : Springer-Verlag, ©1987-
Series: Lecture notes in computer science, 249, etc.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy).
TAPSOFT '87.
Berlin ; New York : Springer-Verlag, ©1987-
(DLC) 87004680
(OCoLC)15284964
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Hartmut Ehrig; Robert Kowalski; Giorgio Levi; Ugo Montanari
ISBN: 9783540477464 3540477462 9783540477174 3540477179
OCLC Number: 851800674
Notes: "TAPSOFT '87 is the Second International Joint Conference on Theory and Practice of Software Development"--V. 1, pref.
Description: 1 online resource (volumes <1>) : illustrations.
Contents: v. 1. Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) --
v. 2. Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP). v. 2. Models and equality for logical programming --
Fifth generation computer project: Current research activity and future plans --
A compositive abstraction algorithm for combinatory logic --
Linear logic and lazy computation --
The natural dynamic semantics of mini-Standard ML --
Listlog --
A PROLOG extension for list processing --
Intensional negation of logic programs: Examples and implementation techniques --
Improving the execution speed of compiled Prolog with modes, clause selection, and determinism --
Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph --
Generating efficient code from strictness annotations --
Hoisting: Lazy evaluation in a cold climate --
Inductive assertion method for logic programs --
Higher order generalization in program derivation --
Implementing algebraically specified abstract data types in an imperative programming language --
A declarative environment for concurrent logic programming --
Or-parallel execution models of Prolog --
Retractions: A functional paradigm for logic programming --
Refined strategies for semantic unification --
Extensional models for polymorphism --
A type discipline for program modules --
Theory and practice of canonical term functors in abstract data type specifications.
Series Title: Lecture notes in computer science, 249, etc.
Responsibility: edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari.

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/851800674> # TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "851800674" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3901100549#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/3901100549#Topic/computer_software_development> ; # Computer software--Development
   schema:about <http://dewey.info/class/005.1/e23/> ;
   schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/91382328> ; # Hartmut Ehrig
   schema:contributor <http://viaf.org/viaf/164403553> ; # Robert Kowalski
   schema:contributor <http://viaf.org/viaf/226595647> ; # Ugo Montanari
   schema:contributor <http://viaf.org/viaf/92193209> ; # Giorgio Levi
   schema:copyrightYear "1987/" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/3901100549#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_2nd_1987_pisa_italy> ; # International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy)
   schema:datePublished "1987" ;
   schema:description "v. 2. Models and equality for logical programming -- Fifth generation computer project: Current research activity and future plans -- A compositive abstraction algorithm for combinatory logic -- Linear logic and lazy computation -- The natural dynamic semantics of mini-Standard ML -- Listlog -- A PROLOG extension for list processing -- Intensional negation of logic programs: Examples and implementation techniques -- Improving the execution speed of compiled Prolog with modes, clause selection, and determinism -- Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph -- Generating efficient code from strictness annotations -- Hoisting: Lazy evaluation in a cold climate -- Inductive assertion method for logic programs -- Higher order generalization in program derivation -- Implementing algebraically specified abstract data types in an imperative programming language -- A declarative environment for concurrent logic programming -- Or-parallel execution models of Prolog -- Retractions: A functional paradigm for logic programming -- Refined strategies for semantic unification -- Extensional models for polymorphism -- A type discipline for program modules -- Theory and practice of canonical term functors in abstract data type specifications."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3901100549> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3901100549#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/15284964> ;
   schema:name "TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987"@en ;
   schema:productID "851800674" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/851800674#PublicationEvent/berlin_new_york_springer_verlag_1987> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3901100549#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://dx.doi.org/10.1007/3-540-17660-8> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-17660-2> ;
   schema:url <http://dx.doi.org/10.1007/BFb0014968> ;
   schema:url <http://link.springer.com/10.1007/3-540-17660-8> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-17611-4> ;
   schema:url <http://link.springer.com/10.1007/BFb0014968> ;
   schema:workExample <http://worldcat.org/isbn/9783540477174> ;
   schema:workExample <http://worldcat.org/isbn/9783540477464> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/851800674> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/3901100549#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/3901100549#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_2nd_1987_pisa_italy> # International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3901100549#Place/pisa_italy> ; # Pisa, Italy)
   schema:name "International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3901100549#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/851800674> ; # TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987
   schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/872537> # Computer software--Development
    a schema:Intangible ;
   schema:name "Computer software--Development"@en ;
    .

<http://viaf.org/viaf/164403553> # Robert Kowalski
    a schema:Person ;
   schema:familyName "Kowalski" ;
   schema:givenName "Robert" ;
   schema:name "Robert Kowalski" ;
    .

<http://viaf.org/viaf/226595647> # Ugo Montanari
    a schema:Person ;
   schema:familyName "Montanari" ;
   schema:givenName "Ugo" ;
   schema:name "Ugo Montanari" ;
    .

<http://viaf.org/viaf/91382328> # Hartmut Ehrig
    a schema:Person ;
   schema:familyName "Ehrig" ;
   schema:givenName "Hartmut" ;
   schema:name "Hartmut Ehrig" ;
    .

<http://viaf.org/viaf/92193209> # Giorgio Levi
    a schema:Person ;
   schema:familyName "Levi" ;
   schema:givenName "Giorgio" ;
   schema:name "Giorgio Levi" ;
    .

<http://worldcat.org/isbn/9783540477174>
    a schema:ProductModel ;
   schema:isbn "3540477179" ;
   schema:isbn "9783540477174" ;
    .

<http://worldcat.org/isbn/9783540477464>
    a schema:ProductModel ;
   schema:isbn "3540477462" ;
   schema:isbn "9783540477464" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/851800674> ; # TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/15284964>
    a schema:CreativeWork ;
   rdfs:label "TAPSOFT '87." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/851800674> ; # TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987
    .

<http://www.worldcat.org/title/-/oclc/851800674>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/851800674> ; # TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987
   schema:dateModified "2018-03-10" ;
   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.