skip to content
Compiling ESTEREL Preview this item
ClosePreview this item
Checking...

Compiling ESTEREL

Author: Dumitru Potop-Butucaru; Stephen A Edwards; Gérard Berry
Publisher: New York ; London : Springer, 2007.
Series: GeoJournal library, v. 86.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it. Esterel is based on the simple idea of providing a software language that has a synchronous model of time.  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
Additional Physical Format: Print version:
Potop-Butucaru, Dumitru.
Compiling ESTEREL.
New York ; London : Springer, 2007
(DLC) 2007297373
(OCoLC)123374512
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Dumitru Potop-Butucaru; Stephen A Edwards; Gérard Berry
ISBN: 9780387706283 0387706283 0387706267 9780387706269 6610864551 9786610864553
OCLC Number: 187042681
Description: 1 online resource (xxi, 335 pages) : illustrations
Contents: Front Matter; Introduction to Esterel; The Esterel Language; Introduction to Esterel Semantics; Constructive Behavioral Semantics; Constructive Operational Semantics; Constructive Circuit Translation; Overview; The GRC Intermediate Format; Code Generation from GRC; The Columbia Compiler; Back Matter.
Series Title: GeoJournal library, v. 86.
Responsibility: Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry.

Abstract:

Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language. The book includes a tutorial, a  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/187042681> # Compiling ESTEREL
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "187042681" ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://dewey.info/class/005.133/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/102157702#Topic/ingenierie> ; # Ingénierie
    schema:about <http://experiment.worldcat.org/entity/work/data/102157702#CreativeWork/esterel_computer_program_language> ; # Esterel (Computer program language)
    schema:about <http://id.worldcat.org/fast/871540> ; # Compiling (Electronic computers)
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/44556535> ; # Gérard Berry
    schema:contributor <http://viaf.org/viaf/85198618> ; # Stephen A. Edwards
    schema:creator <http://viaf.org/viaf/21932896> ; # Dumitru Potop-Butucaru
    schema:datePublished "2007" ;
    schema:description "Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it. Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested."@en ;
    schema:description "Front Matter; Introduction to Esterel; The Esterel Language; Introduction to Esterel Semantics; Constructive Behavioral Semantics; Constructive Operational Semantics; Constructive Circuit Translation; Overview; The GRC Intermediate Format; Code Generation from GRC; The Columbia Compiler; Back Matter."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/102157702> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/102157702#Series/geojournal_library> ; # GeoJournal library ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/123374512> ;
    schema:name "Compiling ESTEREL"@en ;
    schema:productID "187042681" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/187042681#PublicationEvent/new_york_london_springer_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/102157702#Agent/springer> ; # Springer
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/9780387706283> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=301805> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks0/springer/2009-12-01/3/9780387706283> ;
    schema:url <http://site.ebrary.com/id/10176782> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=301805> ;
    schema:url <http://www.myilibrary.com?id=86455> ;
    schema:url <http://www.myilibrary.com?id=86455&ref=toc> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-0-387-70628-3> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-70626-9> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-0-387-70626-9> ;
    schema:url <http://site.ebrary.com/id/10172862> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-0-387-70626-9> ;
    schema:url <http://dx.doi.org/10.1007/978-0-387-70628-3> ;
    schema:url <http://link.springer.com/10.1007/978-0-387-70628-3> ;
    schema:workExample <http://worldcat.org/isbn/9786610864553> ;
    schema:workExample <http://worldcat.org/isbn/9780387706283> ;
    schema:workExample <http://worldcat.org/isbn/9780387706269> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA728375> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/187042681> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/102157702#CreativeWork/esterel_computer_program_language> # Esterel (Computer program language)
    a schema:CreativeWork ;
    schema:name "Esterel (Computer program language)" ;
    .

<http://experiment.worldcat.org/entity/work/data/102157702#Series/geojournal_library> # GeoJournal library ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/187042681> ; # Compiling ESTEREL
    schema:name "GeoJournal library ;" ;
    .

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

<http://viaf.org/viaf/21932896> # Dumitru Potop-Butucaru
    a schema:Person ;
    schema:familyName "Potop-Butucaru" ;
    schema:givenName "Dumitru" ;
    schema:name "Dumitru Potop-Butucaru" ;
    .

<http://viaf.org/viaf/44556535> # Gérard Berry
    a schema:Person ;
    schema:birthDate "1948" ;
    schema:familyName "Berry" ;
    schema:givenName "Gérard" ;
    schema:name "Gérard Berry" ;
    .

<http://viaf.org/viaf/85198618> # Stephen A. Edwards
    a schema:Person ;
    schema:birthDate "1970" ;
    schema:familyName "Edwards" ;
    schema:givenName "Stephen A." ;
    schema:name "Stephen A. Edwards" ;
    .

<http://worldcat.org/isbn/9780387706269>
    a schema:ProductModel ;
    schema:isbn "0387706267" ;
    schema:isbn "9780387706269" ;
    .

<http://worldcat.org/isbn/9780387706283>
    a schema:ProductModel ;
    schema:isbn "0387706283" ;
    schema:isbn "9780387706283" ;
    .

<http://worldcat.org/isbn/9786610864553>
    a schema:ProductModel ;
    schema:isbn "6610864551" ;
    schema:isbn "9786610864553" ;
    .

<http://www.worldcat.org/oclc/123374512>
    a schema:CreativeWork ;
    rdfs:label "Compiling ESTEREL." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/187042681> ; # Compiling ESTEREL
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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