75 search results - page 4 / 15 » Natural Semantics-Directed Generation of Compilers and Abstr... |
ACL
1990
13 years 8 months ago
1990
We describe a system of reversible grammar in which, given a logic-grammar specification of a natural language, two efficient PROLOGprograms are derived by an off-line compilation...
ASM
2004
ASM
14 years 27 days ago
2004
ASM
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
EMSOFT
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Advances in VLSI technology have lead to a tremendous increase in the density and number of devices that can be manufactured in a single microchip. One of the interesting...
EACL
2006
ACL Anthology
13 years 9 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...
PPDP
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...