Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
Include full text
Search results
Back
Searched for: +
(1 - 15 of 15)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Supporting Requesters in Writing Clear Crowdsourcing Task Descriptions Through Computational Flaw Assessment
What Is Unclear? Computational Assessment of Task Clarity in Crowdsourcing
FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis
Principled Syntactic Code Completion using Placeholders
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 Constraint Language for Static Semantic Analysis based on Scope Graphs
Language-Independent Type-Dependent Name Resolution
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
Robust real-time synchronization between textual and graphical editors
A language independent task engine for incremental name and type analysis
Declarative Name Binding and Scope Rules
An extensive catalog of operators for the coupled evolution of metamodels and models
Pure and declarative syntax definition: Paradise lost and regained
Searched for: +
(1 - 15 of 15)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel