WorldCat Linked Data Explorer

http://worldcat.org/entity/work/id/22253113

Translating concurrent communicating programs into delay-insensitive circuits /

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

Open All Close All

http://schema.org/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

http://schema.org/name

  • "Translating concurrent communicating programs into delay-insensitive circuits /"@en
  • "Translating concurrent communicating programs into delay-insensitive circuits"