skip to content
Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings Preview this item
ClosePreview this item
Checking...

Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings

Author: D Sannella
Publisher: Berlin ; New York : Springer-Verlag, ©1994.
Series: Lecture notes in computer science, 788.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:
"This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: D Sannella
ISBN: 0387578803 9780387578804 3540578803 9783540578802
OCLC Number: 30034703
Description: viii, 516 pages ; 24 cm.
Contents: A theory of primitive objects.- Pi-nets: A graphical form of ?-calculus.- Local type reconstruction by means of symbolic fixed point iteration.- An asynchronous process algebra with multiple clocks.- Foundational issues in implementing constraint logic programming systems.- Programming with behaviors in an ML framework - The syntax and semantics of LCS.- Characterizing behavioural semantics and abstractor semantics.- Extending pruning techniques to polymorphic second order ?-calculus.- ?-definition of function(al)s by normal forms.- Simulation of SOS definitions with term rewriting systems.- Strategies in modular system design by interface rewriting.- Symbolic model checking and constraint logic programming: A cross-fertilization.- A logical denotational semantics for constraint logic programming.- Compilation of head and strong reduction.- Suffix trees in the functioned programming paradigm.- Type classes in Haskell.- Lazy type inference for the strictness analysis of lists.- Lazy unification with simplification.- Polymorphic binding-time analysis.- Shapely types and shape polymorphism.- Bottom-up grammar analysis - A functional formulation.- First-class polymorphism for ML.- Dimension types.- A synergistic analysis for sharing and groundness which traces linearity.- A ?-calculus specification of prolog.- A logical framework for evolution of specifications.- A semantics for higher-order functors.- The PCKS-machine: An abstract machine for sound evaluation of parallel functional programs with first-class continuations.- A tiny constraint functional logic language and its continuation semantics.- Fully abstract translations and parametric polymorphism.- Broadcasting with priority.- Towards unifying partial evaluation, deforestation, supercompilation, and GPC.- Algebraic proofs of properties of objects.
Series Title: Lecture notes in computer science, 788.
Responsibility: Donald Sannella, ed.
More information:

Abstract:

This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and  Read more...

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/30034703> # Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "30034703" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4417319979#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/4417319979#Topic/programmation_informatique> ; # Programmation (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/4417319979#Topic/programmeren_computers> ; # Programmeren (computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/4417319979#Topic/langages_de_programmation> ; # Langages de programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/4417319979#Topic/programacao_de_computadores> ; # Programacao De Computadores
   schema:about <http://experiment.worldcat.org/entity/work/data/4417319979#Topic/ordinateurs_programmation_congres> ; # Ordinateurs--Programmation--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/4417319979#Topic/langage_de_programmation_congres> ; # Langage de programmation--Congrès
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://dewey.info/class/005.1/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4417319979#Topic/computer_programming> ; # Computer programming
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/85214097> ; # Donald Sannella
   schema:copyrightYear "1994" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/4417319979#Meeting/european_symposium_on_programming_5th_1994_edinburgh_scotland> ; # European Symposium on Programming (5th : 1994 : Edinburgh, Scotland)
   schema:datePublished "1994" ;
   schema:description ""This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools."--PUBLISHER'S WEBSITE."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4417319979> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4417319979#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings"@en ;
   schema:productID "30034703" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/30034703#PublicationEvent/berlin_new_york_springer_verlag_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4417319979#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://dx.doi.org/10.1007/3-540-57880-3> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=788> ;
   schema:workExample <http://worldcat.org/isbn/9780387578804> ;
   schema:workExample <http://worldcat.org/isbn/9783540578802> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/30034703> ;
    .


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/4417319979#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/4417319979#Meeting/european_symposium_on_programming_5th_1994_edinburgh_scotland> # European Symposium on Programming (5th : 1994 : Edinburgh, Scotland)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/4417319979#Place/edinburgh_scotland> ; # Edinburgh, Scotland)
   schema:name "European Symposium on Programming (5th : 1994 : Edinburgh, Scotland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4417319979#Place/edinburgh_scotland> # Edinburgh, Scotland)
    a schema:Place ;
   schema:name "Edinburgh, Scotland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4417319979#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/30034703> ; # Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4417319979#Topic/langage_de_programmation_congres> # Langage de programmation--Congrès
    a schema:Intangible ;
   schema:name "Langage de programmation--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4417319979#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
   schema:name "Langages de programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4417319979#Topic/ordinateurs_programmation_congres> # Ordinateurs--Programmation--Congrès
    a schema:Intangible ;
   schema:name "Ordinateurs--Programmation--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4417319979#Topic/programacao_de_computadores> # Programacao De Computadores
    a schema:Intangible ;
   schema:name "Programacao De Computadores"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4417319979#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
   schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4417319979#Topic/programmeren_computers> # Programmeren (computers)
    a schema:Intangible ;
   schema:name "Programmeren (computers)"@en ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://viaf.org/viaf/85214097> # Donald Sannella
    a schema:Person ;
   schema:birthDate "1956" ;
   schema:familyName "Sannella" ;
   schema:givenName "Donald" ;
   schema:givenName "D." ;
   schema:name "Donald Sannella" ;
    .

<http://worldcat.org/isbn/9780387578804>
    a schema:ProductModel ;
   schema:isbn "0387578803" ;
   schema:isbn "9780387578804" ;
    .

<http://worldcat.org/isbn/9783540578802>
    a schema:ProductModel ;
   schema:isbn "3540578803" ;
   schema:isbn "9783540578802" ;
    .

<http://www.worldcat.org/title/-/oclc/30034703>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/30034703> ; # Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings
   schema:dateModified "2017-12-23" ;
   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.