Sciweavers

333 search results - page 27 / 67
» Grammar Programming in TXL
Sort
View
CC
1998
Springer
134views System Software» more  CC 1998»
14 years 26 days ago
Flow Logics for Constraint Based Analysis
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
Hanne Riis Nielson, Flemming Nielson
DBPL
1993
Springer
104views Database» more  DBPL 1993»
14 years 22 days ago
Extensible Grammars for Language Specialization
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
Luca Cardelli, Florian Matthes, Martín Abad...
ENTCS
2007
107views more  ENTCS 2007»
13 years 8 months ago
Executable Grammars in Newspeak
We describe the design and implementation of a parser combinator library in Newspeak, a new language in the Smalltalk family. Parsers written using our library are remarkably simi...
Gilad Bracha
GECCO
2004
Springer
132views Optimization» more  GECCO 2004»
14 years 2 months ago
Grammatical Swarm
Abstract. This proof of concept study examines the possibility of specifying the construction of programs using a Particle Swarm algorithm, and represents a new form of automatic p...
Michael O'Neill, Anthony Brabazon
ITICSE
1997
ACM
14 years 24 days ago
Recursion and grammars for CS2
A programming exercise on recursion in which students create drawings of simple and bracketed Lindenmayer Systems provides a context for exploring additional computer science conc...
Viera K. Proulx