přejít na obsah
Translating concurrent communicating programs into delay-insensitive circuits Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

Translating concurrent communicating programs into delay-insensitive circuits

Autor Erik Brunvand; Robert F Sproull
Vydavatel: Pittsburgh, Pa. : Carnegie Mellon University, Computer Science Dept., 1989.
Edice: Carnegie-Mellon University.; Computer Science Department.; Research paper
Vydání/formát:   Tištěná kniha : EnglishZobrazit všechny vydání a formáty
Shrnutí:
Abstract: "Programs written in a subset of Occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, the resulting circuit behavior is a faithful copy of the original program behavior. A compiler has been  Přečíst více...
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Typ dokumentu Kniha
Všichni autoři/tvůrci: Erik Brunvand; Robert F Sproull
OCLC číslo: 20617329
Poznámky: "April 30, 1989."
Popis: 29 pages : illustrations ; 28 cm.
Název edice: Carnegie-Mellon University.; Computer Science Department.; Research paper
Odpovědnost: Erik Brunvand, Robert F. Sproull.

Anotace:

Abstract: "Programs written in a subset of Occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, the resulting circuit behavior is a faithful copy of the original program behavior. A compiler has been constructed that automatically performs the translation and transformation."

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.

Podobné dokumenty

Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená data


Primary Entity

<http://www.worldcat.org/oclc/20617329> # Translating concurrent communicating programs into delay-insensitive circuits
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "20617329" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/pau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/22253113#Place/pittsburgh_pa> ; # Pittsburgh, Pa.
   schema:about <http://id.worldcat.org/fast/1185024> ; # occam (Computer program language)
   schema:about <http://id.worldcat.org/fast/906874> ; # Electronic circuits
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/22253113#Person/sproull_robert_f> ; # Robert F. Sproull
   schema:creator <http://viaf.org/viaf/33789258> ; # Erik Brunvand
   schema:datePublished "1989" ;
   schema:description "Abstract: "Programs written in a subset of Occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, the resulting circuit behavior is a faithful copy of the original program behavior. A compiler has been constructed that automatically performs the translation and transformation.""@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/22253113> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/22253113#Series/research_paper> ; # Research paper ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/22253113#Series/research_paper_carnegie_mellon_university_computer_science_dept> ; # Research paper. Carnegie Mellon University. Computer Science Dept. ;
   schema:name "Translating concurrent communicating programs into delay-insensitive circuits"@en ;
   schema:productID "20617329" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/20617329#PublicationEvent/pittsburgh_pa_carnegie_mellon_university_computer_science_dept_1989> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/22253113#Agent/carnegie_mellon_university_computer_science_dept> ; # Carnegie Mellon University, Computer Science Dept.
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/20617329> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/22253113#Agent/carnegie_mellon_university_computer_science_dept> # Carnegie Mellon University, Computer Science Dept.
    a bgn:Agent ;
   schema:name "Carnegie Mellon University, Computer Science Dept." ;
    .

<http://experiment.worldcat.org/entity/work/data/22253113#Organization/carnegie_mellon_university_computer_science_department> # Carnegie-Mellon University. Computer Science Department.
    a schema:Organization ;
   schema:name "Carnegie-Mellon University. Computer Science Department." ;
    .

<http://experiment.worldcat.org/entity/work/data/22253113#Person/sproull_robert_f> # Robert F. Sproull
    a schema:Person ;
   schema:familyName "Sproull" ;
   schema:givenName "Robert F." ;
   schema:name "Robert F. Sproull" ;
    .

<http://experiment.worldcat.org/entity/work/data/22253113#Place/pittsburgh_pa> # Pittsburgh, Pa.
    a schema:Place ;
   schema:name "Pittsburgh, Pa." ;
    .

<http://experiment.worldcat.org/entity/work/data/22253113#Series/research_paper> # Research paper ;
    a bgn:PublicationSeries ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/22253113#Organization/carnegie_mellon_university_computer_science_department> ; # Carnegie-Mellon University. Computer Science Department.
   schema:hasPart <http://www.worldcat.org/oclc/20617329> ; # Translating concurrent communicating programs into delay-insensitive circuits
   schema:name "Research paper ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/22253113#Series/research_paper_carnegie_mellon_university_computer_science_dept> # Research paper. Carnegie Mellon University. Computer Science Dept. ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/20617329> ; # Translating concurrent communicating programs into delay-insensitive circuits
   schema:name "Research paper. Carnegie Mellon University. Computer Science Dept. ;" ;
    .

<http://id.worldcat.org/fast/1185024> # occam (Computer program language)
    a schema:Intangible ;
   schema:name "occam (Computer program language)"@en ;
    .

<http://id.worldcat.org/fast/906874> # Electronic circuits
    a schema:Intangible ;
   schema:name "Electronic circuits"@en ;
    .

<http://viaf.org/viaf/33789258> # Erik Brunvand
    a schema:Person ;
   schema:familyName "Brunvand" ;
   schema:givenName "Erik" ;
   schema:name "Erik Brunvand" ;
    .


Content-negotiable representations

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.