Sciweavers

333 search results - page 12 / 67
» Grammar Programming in TXL
Sort
View
ESOP
2010
Springer
13 years 12 months ago
TRX: A Formally Verified Parser Interpreter
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
Adam Koprowski, Henri Binsztok

Book
359views
15 years 6 months ago
C++ Annotations
"This document is intended for knowledgeable users of C (or any other language using a C-like grammar, like Perl or Java) who would like to know more about, or make the transi...
Frank B. Brokken
ENTCS
2008
78views more  ENTCS 2008»
13 years 8 months ago
Silver: an Extensible Attribute Grammar System
Attribute grammar specification languages, like many domain specific languages, offer significant advantages to their users, such as high-level declarative constructs and domain-s...
Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krish...
CLIN
2004
13 years 10 months ago
Phases and Complexity in Phrase Structure Building
The Minimalist Program (Chomsky 1995
Christiano Chesi
AIIA
1995
Springer
14 years 4 days ago
Learning Programs in Different Paradigms using Genetic Programming
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
Man Leung Wong, Kwong-Sak Leung