Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
·
How to upload
Include full text
Search results
Back
Searched for: +
(1 - 5 of 5)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs
Dynsem: A DSL for dynamic semantics specification
Modular specification and dynamic enforcement of syntactic language constraints when generating code
The semantics of name resolution in Grace
Scopes and frames improve meta-interpreter specialization
Searched for: +
(1 - 5 of 5)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel