A MODULAR REWRITING APPROACH TO LANGUAGE DESIGN, EVOLUTION AND ANALYSIS
Software is becoming a pervasive presence in our lives, powering computing systems in the home, in businesses, and in safety-critical settings. In response, languages are being defined with support for new domains and complex computational abstractions. The need for formal techniques to help better...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00535886 http://tel.archives-ouvertes.fr/docs/00/53/58/86/PDF/Hills_Mark.pdf |