Sciweavers

333 search results - page 12 / 67
» Grammar Programming in TXL
Sort
View
ESOP
2010
Springer
15 years 28 days 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
170
Voted

Book
359views
16 years 7 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
71
Voted
ENTCS
2008
78views more  ENTCS 2008»
14 years 9 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
14 years 11 months ago
Phases and Complexity in Phrase Structure Building
The Minimalist Program (Chomsky 1995
Christiano Chesi
AIIA
1995
Springer
15 years 1 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