Abstract | ||
---|---|---|
In this paper a type system for BSI/VDM-SL is described. General characteristics of this system are presented using a formal notation. The main property of the system is that type checking can be done in a single bottom-up tree walk. The advantages and disadvantages of this approach are discussed. It is described how the type system has been implemented with the use of the attribute grammar evaluating system generator GAG. |
Year | DOI | Venue |
---|---|---|
1990 | 10.1007/3-540-52513-0_21 | VDM Europe |
Keywords | Field | DocType |
type checking bsi,bottom up,attribute grammar,type system | Attribute grammar,Programming language,Type checking,System generator,Computer science,Theoretical computer science,Abstract syntax,Formal notation | Conference |
Volume | ISBN | Citations |
428 | 3-540-52513-0 | 3 |
PageRank | References | Authors |
0.73 | 7 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nico Plat | 1 | 87 | 15.63 |
Ronald Huijsman | 2 | 3 | 0.73 |
Jan van Katwijk | 3 | 147 | 31.70 |
Gertjan van Oosten | 4 | 3 | 0.73 |
Kees Pronk | 5 | 15 | 5.42 |
Hans Toetenel | 6 | 76 | 10.54 |