Next:
Relating concrete and abstract
Up:
main
Previous:
Conclusion
 
Contents
A word on traceability
Subsections
Relating concrete and abstract syntax for error traceability
Syntax errors
Static Semantics errors
Typing errors
Other Static Semantics errors
Dynamic Semantics errors
Runtime errors
Java errors
Displaying and reading on concrete/abstract syntax
Displaying
Reading
Concretizing abstract syntax away with writing tables
Abstracting concrete syntax away with reading tables
Hassan Ait Kaci 2002-05-26