Sciweavers

333 search results - page 12 / 67
» Grammar Programming in TXL
Sort
View
100
Voted
ESOP
2010
Springer
15 years 5 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
16 years 12 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»
15 years 1 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...
91
Voted
CLIN
2004
15 years 3 months ago
Phases and Complexity in Phrase Structure Building
The Minimalist Program (Chomsky 1995
Christiano Chesi
AIIA
1995
Springer
15 years 5 months 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