Formal specification and implementation

1989 ◽  
pp. 6-38 ◽  
Author(s):  
C. T. Sennett
Keyword(s):  
Formal Specification ◽  
Specification And Implementation

Attribute Grammars and Their Applications

2011 ◽  
pp. 268-273
Author(s):  
Krishnaprasad Thirunarayan
Keyword(s):  
Programming Languages ◽  
Formal Specification ◽  
Attribute Grammars ◽  
Compiler Generation ◽  
Semantics Of Programming Languages ◽  
Definite Clause Grammars ◽  
Language Definition ◽  
Definite Clause ◽  
Specification And Implementation

Attribute grammars are a framework for defining semantics of programming languages in a syntax-directed fashion. In this chapter, we define attribute grammars, and then illustrate their use for language definition, compiler generation, definite clause grammars, design and specification of algorithms, and so forth. Our goal is to emphasize its role as a tool for design, formal specification and implementation of practical systems, so our presentation is example rich.

Formal Specification and Design

1992 ◽  
Author(s):  
L. M. G. Feijs ◽  
H. B. M. Jonkers
Keyword(s):  
Formal Specification
Sign in / Sign up

Export Citation Format

Share Document