other · Digital Repository Service (Northeastern University)

Static semantics for syntax objects

Fisher, David

Cited by 0Abstract and details only

Abstract

Designing custom notations is essential to designing advanced systems. Although an electrical engineer could write an English description of a circuit board, explaining which components were used and how each was connected, it is not very effective for him to do so; he would do much better to draw a circuit diagram. This not only streamlines the process of circuit architecture, allowing commonly-used design idioms to be expressed concisely, but it also allows a reasoning engine, such as an automated design tool or the electrical engineer himself, to reason about the circuit, identifying redundancies, determine its behavior and find potential problem points.

Cite this paper

APA 7

Fisher, D. (n.d.). Static semantics for syntax objects. Digital Repository Service (Northeastern University).

MLA 9

Fisher, David. “Static semantics for syntax objects.” Digital Repository Service (Northeastern University).

Chicago

Fisher, David. n.d.. “Static semantics for syntax objects.” Digital Repository Service (Northeastern University).

Harvard

Fisher, D. (n.d.) ‘Static semantics for syntax objects’, Digital Repository Service (Northeastern University).

BibTeX

@misc{fisherstatic,
  title = {{Static semantics for syntax objects}},
  author = {Fisher, David},
  journal = {Digital Repository Service (Northeastern University)}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.