skip to content
Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings Preview this item
ClosePreview this item
Checking...

Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings

Author: Hanne Riis Nielson
Publisher: Berlin : Springer, ©1996.
Series: Lecture notes in computer science, 1058.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linkping, Sweden, in April 1996. The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming  Read more...
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
Congressen (vorm)
Congresses
Additional Physical Format: Print version:
Programming languages and systems, ESOP '96
(NL-LeOCL)147248965
(OCoLC)898932452
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Hanne Riis Nielson
ISBN: 9783540499428 3540499423
OCLC Number: 150397815
Description: 1 online resource (x, 403 pages) : illustrations
Contents: Some practical problems and their influence on semantics / C.B. Jones --
Compiling Haskell by program transformation : a report from the trenches / S.L. Peyton Jones --
Narrowing-driven partial evaluation of functional logic programs / M. Alpuente, M. Falaschi, and G. Vidal --
A multiple-valued logical semantics for Prolog / R. Barbuti and P. Mancarella --
Removing value encoding using alternative values in partial evaluation of strongly-typed languages / D. Bechet --
A complete transformational toolkit for compilers / J.A. Bergstra [and others] --
Global analysis of standard Prolog programs / F. Bueno [and others] --
Static detection of pointer errors : an axiomatisation and a checking algorithm / P. Fradet, R. Gaugne, and D. Le Métayer --
Compositional optimization of disjunctive abstract interpretations / R. Giacobazzi and F. Ranzato --
A rewriting logic for declarative programming / J.C. González-Moreno [and others] --
Durations for truly-concurrent transitions / E. Goubault --
Flow analysis in the geometry of interaction / T.P. Jensen and I. Mackie --
Parametricity and unboxing with unpointed types / J. Launchbury and R. Paterson --
Modular denotational semantics for compiler construction / S. Liang and P. Hudak --
Compositional semantics of non-deterministic synchronous languages / F. Maraninchi and N. Halbwachs --
Checking system properties via integer programming / S. Melzer and J. Esparza --
Efficient minimization up to location equivalence / U. Montanari, M. Pistore, and D. Yankelevich --
A new approach to compiling adaptive programs / J. Palsberg, B. Patt-Shamir, and K. Lieberherr --
Mode and termination checking for higher-order logic programs / E. Rohwedder and F. Pfenning --
Linear time hierarchies for a functional language machine model / E. Rose --
Integer constraints to stop deforestation / H. Seidl --
Towards an ML-style polymorphic type system for C / G. Smith and D. Volpano --
Assumption/commitment rules for dataflow networks, with an emphasis on completeness / K. Stølen --
Towards an expressive language for PDE solvers / M. Thuné and K. Åhlander --
Rewrite systems with abstraction and [beta]-rule : types, approximants and normalization / S. van Bakel, F. Barbanera, and M. Fernández.
Series Title: Lecture notes in computer science, 1058.
Responsibility: Hanne Riis Nielson (ed.).

Abstract:

This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linkoeping, Sweden, in April 1996.The 23 revised full papers included were selected from  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/150397815> # Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "150397815" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/205087488#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/205087488#Topic/computerarchitectuur> ; # Computerarchitectuur
    schema:about <http://experiment.worldcat.org/entity/work/data/205087488#Topic/computer_programming> ; # Computer programming
    schema:about <http://dewey.info/class/005.1/> ;
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/205087488#Topic/programmeertalen> ; # Programmeertalen
    schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/205087488#Meeting/european_symposium_on_programming_6th_22_04_1996_24_04_1996_linkoping_sweden> ; # European Symposium on Programming (6th : 22-04-1996 - 24-04-1996 : Linköping, Sweden)
    schema:copyrightYear "1996" ;
    schema:datePublished "1996" ;
    schema:description "Some practical problems and their influence on semantics / C.B. Jones -- Compiling Haskell by program transformation : a report from the trenches / S.L. Peyton Jones -- Narrowing-driven partial evaluation of functional logic programs / M. Alpuente, M. Falaschi, and G. Vidal -- A multiple-valued logical semantics for Prolog / R. Barbuti and P. Mancarella -- Removing value encoding using alternative values in partial evaluation of strongly-typed languages / D. Bechet -- A complete transformational toolkit for compilers / J.A. Bergstra [and others] -- Global analysis of standard Prolog programs / F. Bueno [and others] -- Static detection of pointer errors : an axiomatisation and a checking algorithm / P. Fradet, R. Gaugne, and D. Le Métayer -- Compositional optimization of disjunctive abstract interpretations / R. Giacobazzi and F. Ranzato -- A rewriting logic for declarative programming / J.C. González-Moreno [and others] -- Durations for truly-concurrent transitions / E. Goubault -- Flow analysis in the geometry of interaction / T.P. Jensen and I. Mackie -- Parametricity and unboxing with unpointed types / J. Launchbury and R. Paterson -- Modular denotational semantics for compiler construction / S. Liang and P. Hudak -- Compositional semantics of non-deterministic synchronous languages / F. Maraninchi and N. Halbwachs -- Checking system properties via integer programming / S. Melzer and J. Esparza -- Efficient minimization up to location equivalence / U. Montanari, M. Pistore, and D. Yankelevich -- A new approach to compiling adaptive programs / J. Palsberg, B. Patt-Shamir, and K. Lieberherr -- Mode and termination checking for higher-order logic programs / E. Rohwedder and F. Pfenning -- Linear time hierarchies for a functional language machine model / E. Rose -- Integer constraints to stop deforestation / H. Seidl -- Towards an ML-style polymorphic type system for C / G. Smith and D. Volpano -- Assumption/commitment rules for dataflow networks, with an emphasis on completeness / K. Stølen -- Towards an expressive language for PDE solvers / M. Thuné and K. Åhlander -- Rewrite systems with abstraction and [beta]-rule : types, approximants and normalization / S. van Bakel, F. Barbanera, and M. Fernández."@en ;
    schema:description "This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linkping, Sweden, in April 1996. The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques."@en ;
    schema:editor <http://viaf.org/viaf/112753746> ; # Hanne Riis Nielson
    schema:exampleOfWork <http://worldcat.org/entity/work/id/205087488> ;
    schema:genre "Congressen (vorm)"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/898932452> ;
    schema:name "Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings"@en ;
    schema:productID "150397815" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/150397815#PublicationEvent/berlin_springer_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/205087488#Agent/springer> ; # Springer
    schema:url <http://link.springer.com/10.1007/3-540-61055-3> ;
    schema:url <http://www.library.yorku.ca/e/resolver/id/1982962> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-61055-7> ;
    schema:url <https://doi.org/10.1007/3-540-61055-3> ;
    schema:url <http://www.library.yorku.ca/e/resolver/id/1982963> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-04-14/3/3540610553> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-61055-7> ;
    schema:url <https://link.springer.com/10.1007/3-540-61055-3> ;
    schema:workExample <http://worldcat.org/isbn/9783540499428> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/150397815> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/205087488#Meeting/european_symposium_on_programming_6th_22_04_1996_24_04_1996_linkoping_sweden> # European Symposium on Programming (6th : 22-04-1996 - 24-04-1996 : Linköping, Sweden)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/205087488#Place/linkoping_sweden> ; # Linköping, Sweden)
    schema:name "European Symposium on Programming (6th : 22-04-1996 - 24-04-1996 : Linköping, Sweden)" ;
    .

<http://experiment.worldcat.org/entity/work/data/205087488#Place/linkoping_sweden> # Linköping, Sweden)
    a schema:Place ;
    schema:name "Linköping, Sweden)" ;
    .

<http://experiment.worldcat.org/entity/work/data/205087488#Topic/computerarchitectuur> # Computerarchitectuur
    a schema:Intangible ;
    schema:name "Computerarchitectuur"@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/112753746> # Hanne Riis Nielson
    a schema:Person ;
    schema:birthDate "1954" ;
    schema:familyName "Nielson" ;
    schema:givenName "Hanne Riis" ;
    schema:name "Hanne Riis Nielson" ;
    .

<http://worldcat.org/isbn/9783540499428>
    a schema:ProductModel ;
    schema:isbn "3540499423" ;
    schema:isbn "9783540499428" ;
    .

<http://worldcat.org/issn/1611-3349> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/150397815> ; # Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings
    schema:issn "1611-3349" ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://www.worldcat.org/oclc/898932452>
    a schema:CreativeWork ;
    rdfs:label "Programming languages and systems, ESOP '96" ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/150397815> ; # Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/150397815>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/150397815> ; # Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings
    schema:dateModified "2019-06-06" ;
    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.