skip to content
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings Preview this item
ClosePreview this item
Checking...

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings

Author: Neil D Jones
Publisher: Berlin ; New York : Springer-Verlag, ©1990.
Series: Lecture notes in computer science, 432.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:
"This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: - Program development: specification, methodology, tools, environments; - Programming language concepts: types, data  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: Electronic resources (Books)
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
European Symposium on Programming (3rd : 1990 : Copenhagen, Denmark).
ESOP '90.
Berlin ; New York : Springer-Verlag, ©1990
(OCoLC)714912989
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Neil D Jones
ISBN: 3540525920 9783540525929 0387525920 9780387525921
OCLC Number: 21444626
Description: ix, 435 pages : illustrations ; 25 cm.
Contents: Types in lambda calculi and programming languages.- Symbolic finite differencing - Part I.- Implementation of an interpreter for a parallel language in centaur.- Automatic autoprojection of higher order recursive equations.- From interpreting to compiling binding times.- Implementing finite-domain constraint logic programming on top of a PROLOG-system with delay-mechanism.- Type inference for action semantics.- On the expressive power of programming languages.- Higher order escape analysis: Optimizing stack allocation in functional program implementations.- Development of concurrent systems by incremental transformation.- Set domains.- Resolution and Type Theory.- A syntactic theory of transparent parameterization.- A backwards analysis for compile-time garbage collection.- Techniques for improving grammar Flow Analysis.- The specificity rule for lazy pattern-matching in ambiguous term rewrite systems.- Graph-based implementation of a functional logic language.- Eureka definitions for free! or Disagreement points for fold/unfold transformations.- Synthesis of eureka predicates for developing logic programs.- Algebraic properties of program integration.- Arity raiser and its use in program specialization.- Complexity analysis for a lazy higher-order language.- On the weak adequacy of branching-time temporal logic.- The value flow graph: A program representation for optimal program transformations.- Type inference and implicit scaling.- Towards the theory of programming in constructive logic.
Series Title: Lecture notes in computer science, 432.
Responsibility: N. Jones (ed.).
More information:

Abstract:

This volume presents the proceedings of a conference on programming and programming languages. - Programming language concepts: types, data abstraction, parallelism, real-time; - Programs as data  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/21444626> # ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "21444626" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/915342627#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/915342627#Topic/programmeren_computers> ; # Programmeren (computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/915342627#Topic/programacao_de_computadores> ; # Programacao de computadores
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/915342627#Topic/programmation_informatique> ; # Programmation (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/915342627#Topic/computer_programming> ; # Computer programming
   schema:about <http://dewey.info/class/005.1/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/915342627#Topic/programmation_automatique_congres> ; # Programmation automatique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/915342627#Topic/langages_de_programmation> ; # Langages de programmation
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/68904639> ; # Neil D. Jones
   schema:copyrightYear "1990" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/915342627#Meeting/european_symposium_on_programming_3rd_1990_copenhagen_denmark> ; # European Symposium on Programming (3rd : 1990 : Copenhagen, Denmark)
   schema:datePublished "1990" ;
   schema:description ""This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: - Program development: specification, methodology, tools, environments; - Programming language concepts: types, data abstraction, parallelism, real-time; - Language implementation techniques: compilers, interpreters, abstract machine design, optimization; - Programs as data objects: abstract interpretation, program transformation, partial evaluation; - Programming styles: imperative, functional, predicative, object-oriented."--Publisher's website."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/915342627> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic resources (Books)"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/915342627#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/714912989> ;
   schema:name "ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings"@en ;
   schema:productID "21444626" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/21444626#PublicationEvent/berlin_new_york_springer_verlag_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/915342627#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=432> ;
   schema:url <http://dx.doi.org/10.1007/3-540-52592-0> ;
   schema:url <http://swbplus.bsz-bw.de/bsz020924909cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540525929> ;
   schema:workExample <http://worldcat.org/isbn/9780387525921> ;
   umbel:isLike <http://d-nb.info/900609885> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/21444626> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/915342627#Meeting/european_symposium_on_programming_3rd_1990_copenhagen_denmark> # European Symposium on Programming (3rd : 1990 : Copenhagen, Denmark)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/915342627#Place/copenhagen_denmark> ; # Copenhagen, Denmark)
   schema:name "European Symposium on Programming (3rd : 1990 : Copenhagen, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/915342627#Place/copenhagen_denmark> # Copenhagen, Denmark)
    a schema:Place ;
   schema:name "Copenhagen, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/915342627#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/21444626> ; # ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

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

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

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

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

<http://experiment.worldcat.org/entity/work/data/915342627#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/68904639> # Neil D. Jones
    a schema:Person ;
   schema:familyName "Jones" ;
   schema:givenName "Neil D." ;
   schema:name "Neil D. Jones" ;
    .

<http://worldcat.org/isbn/9780387525921>
    a schema:ProductModel ;
   schema:isbn "0387525920" ;
   schema:isbn "9780387525921" ;
    .

<http://worldcat.org/isbn/9783540525929>
    a schema:ProductModel ;
   schema:isbn "3540525920" ;
   schema:isbn "9783540525929" ;
    .

<http://www.worldcat.org/oclc/714912989>
    a schema:CreativeWork ;
   rdfs:label "ESOP '90." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/21444626> ; # ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/21444626>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/21444626> ; # ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : 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.