aller au contenu
Translating concurrent communicating programs into delay-insensitive circuits Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

Translating concurrent communicating programs into delay-insensitive circuits

Auteur : Erik Brunvand; Robert F Sproull
Éditeur : Pittsburgh, Pa. : Carnegie Mellon University, Computer Science Dept., 1989.
Collection : Carnegie-Mellon University.; Computer Science Department.; Research paper
Édition/format :   Print book : AnglaisVoir toutes les éditions et tous les formats
Base de données :WorldCat
Résumé :
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  Lire la suite...
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Format : Livre
Tous les auteurs / collaborateurs : Erik Brunvand; Robert F Sproull
Numéro OCLC : 20617329
Notes : "April 30, 1989."
Description : 29 pages : illustrations ; 28 cm.
Titre de collection : Carnegie-Mellon University.; Computer Science Department.; Research paper
Responsabilité : Erik Brunvand, Robert F. Sproull.

Résumé :

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."

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Tags

Soyez le premier.

Ouvrages semblables

Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.