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: collection%253Air
(1 - 12 of 12)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Principled Syntactic Code Completion using Placeholders
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs
A Constraint Language for Static Semantic Analysis Based on Scope Graphs
FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis
Robust real-time synchronization between textual and graphical editors
Declarative Name Binding and Scope Rules
A language independent task engine for incremental name and type analysis
A Theory of Name Resolution with extended Coverage and Proofs
A Constraint Language for Static Semantic Analysis Based on Scope Graphs with Proofs
A Constraint Language for Static Semantic Analysis based on Scope Graphs
Pure and declarative syntax definition: Paradise lost and regained
Language-Independent Type-Dependent Name Resolution
Searched for: collection%253Air
(1 - 12 of 12)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel