The authors present the Abstract-Type and Scheme-Definition Language (ASDL), a new formalism and environment kernel. The main goal of this object-oriented kernel is to reconcile integration and extensibility. ASDL adopts the ideas underlying language-based editor generators but overcomes their extensibility deficiencies. ASDL combines an object-oriented type system with syntax-directed translation schemes and a target-language interface. Its power lies in utilizing inheritance for structure-driven computations. The authors discuss object types, translation rules, and semantic information in ASDL
We describe an experimental object-oriented programming lan-guage, ASL2, that supports program devel...
We rst present present two basic tools for the formal manip-ulation of C/C++ programs: a general syn...
We propose a framework for specification of programming language semantics, abstract and concrete sy...
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...
TIB: AC 9075 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIG...
A semantic specification of a programming language can be relevant for programmers to understand sof...
We describe a definition language for ASM which describe the operational semantics. We restrict the ...
The Abstract Syntax Description Language (ASDL) is a language for specifying the tree data structure...
We describe an experimental object-oriented programming language, ASL2, that supports program develo...
AbstractThe Abstract State Machine Language, AsmL, is a novel executable specification language base...
The Extended ML specication language provides a framework for the formal stepwise development of mod...
Domain-specific languages (DSLs) are now ubiquitous. New DSLs are needed and existing DSLs are evolv...
AbstractA language called ASL for describing structured algebraic specifications is presented. ASL i...
We describe a small set of additions to Scheme to support objectoriented programming, including a fo...
Programming language semantics are usually defined informally in some form of technical natural lang...
We describe an experimental object-oriented programming lan-guage, ASL2, that supports program devel...
We rst present present two basic tools for the formal manip-ulation of C/C++ programs: a general syn...
We propose a framework for specification of programming language semantics, abstract and concrete sy...
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...
TIB: AC 9075 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIG...
A semantic specification of a programming language can be relevant for programmers to understand sof...
We describe a definition language for ASM which describe the operational semantics. We restrict the ...
The Abstract Syntax Description Language (ASDL) is a language for specifying the tree data structure...
We describe an experimental object-oriented programming language, ASL2, that supports program develo...
AbstractThe Abstract State Machine Language, AsmL, is a novel executable specification language base...
The Extended ML specication language provides a framework for the formal stepwise development of mod...
Domain-specific languages (DSLs) are now ubiquitous. New DSLs are needed and existing DSLs are evolv...
AbstractA language called ASL for describing structured algebraic specifications is presented. ASL i...
We describe a small set of additions to Scheme to support objectoriented programming, including a fo...
Programming language semantics are usually defined informally in some form of technical natural lang...
We describe an experimental object-oriented programming lan-guage, ASL2, that supports program devel...
We rst present present two basic tools for the formal manip-ulation of C/C++ programs: a general syn...
We propose a framework for specification of programming language semantics, abstract and concrete sy...