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 - 8 of 8)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Scopes describe frames: A uniform model for memory layout in dynamic semantics
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)
A Constraint Language for Static Semantic Analysis Based on Scope Graphs
DynSem: A DSL for Dynamic Semantics Specification
Language-Independent Type-Dependent Name Resolution
Dynsem: A DSL for dynamic semantics specification
A Theory of Name Resolution with extended Coverage and Proofs
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs
Searched for: +
(1 - 8 of 8)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel