Sciweavers

333 search results - page 21 / 67
» Grammar Programming in TXL
Sort
View
ACL
1996
13 years 10 months ago
Magic for Filter Optimization in Dynamic Bottom-up Processing
Off-line compilation of logic grammars using Magic allows an incorporation of filtering into the logic underlying the grammar. The explicit definite clause characterization of fil...
Guido Minnen
ENTCS
2002
132views more  ENTCS 2002»
13 years 8 months ago
Action Semantics and ASF+SDF: System Demonstration
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
Peter D. Mosses
HASE
2008
IEEE
14 years 3 months ago
A Grammar-Based Reverse Engineering Framework for Behavior Verification
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
Chunying Zhao, Kang Zhang
ECOOP
2007
Springer
14 years 2 months ago
Attribute Grammar-Based Language Extensions for Java
Abstract. This paper describes the Java Language Extender framework, a tool that allows one to create new domain-adapted languages by importing domain-specific language extensions...
Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August...
AMTA
2000
Springer
14 years 29 days ago
Oxygen: A Language Independent Linearization Engine
This paper describes a language independent linearization engine, oxyGen. This system compiles target language grammars into programs that take feature graphs as inputs and genera...
Nizar Habash