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 - 12 of 12)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Scope Graphs: The Story so Far
Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers
Language-parametric static semantic code completion
Development and testing of a prototype of a dental extraction trainer with real-time feedback on forces, torques, and angular velocity
Scope states: Guarding safety of name resolution in parallel type checkers
Robot Technology in Analyzing Tooth Removal: A Proof of Concept
Knowing when to ask: Sound scheduling of name resolution in type checkers derived from declarative specifications
From definitional interpreter to symbolic executor
Towards language-parametric semantic editor services based on declarative type system specifications
Towards language-parametric semantic editor services based on declarative type system specifications
Scopes as Types
A Constraint Language for Static Semantic Analysis Based on Scope Graphs
Searched for: +
(1 - 12 of 12)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel