Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
Include full text
Search results
Back
Searched for: subject%3A%22meta%255C-theory%22
(1 - 3 of 3)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
A Constraint Language for Static Semantic Analysis Based on Scope Graphs
A Constraint Language for Static Semantic Analysis Based on Scope Graphs with Proofs
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs