First-class Attribute Grammars (2007)
Oege De Moor, Kevin Backhouse, S. Doaitse Swierstra
This paper is a contribution to the ongoing quest for modular descriptions of language processors, with the specic aim of rapidly prototyping domain-specic languages [21]. Some might argue that this...
Kevin Backhouse, Roland Backhouse
Abstract. Algebraic properties of logical relations on partially ordered sets are studied. It is shown how to construct a logical relation that extends a collection of base Galois connections to a...
Forwarding in attribute grammars for modular language design (2002)
Eric Van Wyk, Oege De Moor, Kevin Backhouse, Paul Kwiatkowski
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It complements existing...
Forwarding in attribute grammars for modular language design (2002)
Eric Van Wyk, Oege De Moor, Kevin Backhouse, Paul Kwiatkowski
Forwarding in attribute grammars for modular language design (2002)
Eric Van Wyk, Oege De Moor, Kevin Backhouse, Paul Kwiatkowski
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It complements existing...
A functional semantics of attribute grammars (2002)
Abstract. A denition of the semantics of attribute grammars is given, using the lambda calculus. We show how this semantics allows us to prove results about attribute grammars in a calculational...
Forwarding in Attribute Grammars for Modular (2002)
Language Design Eric, Eric Van Wyk, Oege De Moor, Kevin Backhouse, Paul Kwiatkowski
Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. This paper introduces forwarding,...
Abstract interpretation of domain-specific embedded languages / (2002)
BLDSC reference no.: D222914.
Intentional programming: a host of language features (2001)
Eric Van Wyk, Oege De Moor, Ganesh Sittampalam, Ivan Sanabria Piretti, Kevin Backhouse, Paul Kwiatkowski
Programming languages and programming tasks are rarely a perfect t: often a program could be much claried by using a number of tailored language features, but the cost of introducing those features...
First-class Attribute Grammars (2000)
Oege De Moor, Kevin Backhouse, S. Doaitse Swierstra
This paper is a contribution to the ongoing quest for modular descriptions of language processors, with the specific aim of rapidly prototyping domain-specific languages [21]. Some might argue that...
Domain Specific Language Extensions (2000)
ion Facilities . . . . . . . . . . . . . 55 4 Conclusion 56 4.1 Research Goals . . . . . . . . . . . . . . . . . . . . . . . . . . 56 4.1.1 Secondary Goals . . . . . . . . . . . . . . . . . . . . ....
First-class Attribute Grammars (2000)
Oege De Moor, Kevin Backhouse, S. Doaitse Swierstra
This paper is a contribution to the ongoing quest for modular descriptions of language processors, with the specific aim of rapidly prototyping domain-specific languages [21]. Some might argue that...