Paper Info
Title
Executable Specifications for Language Implementation
Abstract
Generating programs from specifications is an ambitious task that is solved at most for restricted application domains. General solutions which are practically satisfying as well are hard to achieve. Language implementation is a field, where tools and toolsets are available which process executable specifications and derive language implementing programs (compilers or interpreters) from them.
Year
DOI
Venue
1993
10.1007/3-540-57186-8_67
PLILP
Keywords
Field
DocType
language implementation,executable specifications,generic programming,satisfiability
Specification language,Abstract data type,Attribute grammar,Regular expression,Programming language,Computer science,Compiler,Interpreter,Executable
Conference
ISBN
Citations 
PageRank 
3-540-57186-8
3
0.52
References 
Authors
8
1
Name
Order
Citations
PageRank
Uwe Kastens140655.65