Sciweavers

103 search results - page 18 / 21
» First-class Attribute Grammars
Sort
View
CORR
2010
Springer
141views Education» more  CORR 2010»
13 years 8 months ago
A Categorical Outlook on Cellular Automata
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...
Silvio Capobianco, Tarmo Uustalu
HICSS
2007
IEEE
135views Biometrics» more  HICSS 2007»
14 years 5 months ago
Composable Language Extensions for Computational Geometry: A Case Study
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
Eric Van Wyk, Eric Johnson
LOPSTR
2001
Springer
14 years 3 months ago
On Deforesting Parameters of Accumulating Maps
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...
Kazuhiko Kakehi, Robert Glück, Yoshihiko Futa...
ENTCS
2002
131views more  ENTCS 2002»
13 years 10 months ago
Automatic Generation of Language-based Tools
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
Pedro Rangel Henriques, Maria João Varanda ...
RULES
1993
Springer
134views Database» more  RULES 1993»
14 years 3 months ago
Temporal Rule Specification and Management in Object-oriented Knowledge Bases
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as dat...
Stanley Y. W. Su, Hsin-Hsing M. Chen