Sciweavers

114 search results - page 14 / 23
» Meta Languages in Algebraic Compilers
Sort
View
CPHYSICS
2007
437views more  CPHYSICS 2007»
13 years 8 months ago
Python: a language for computational physics
Python is a relatively new computing language, created by Guido van Rossum (Tanenbaum et al, 1990), which is particularly suitable for teaching a course in computational physics. ...
P. H. Borcherds
CIDR
2009
98views Algorithms» more  CIDR 2009»
13 years 9 months ago
From Declarative Languages to Declarative Processing in Computer Games
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
Ben Sowell, Alan J. Demers, Johannes Gehrke, Nitin...
CALCO
2009
Springer
169views Mathematics» more  CALCO 2009»
14 years 3 months ago
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
Fernando Orejas, Esther Guerra, Juan de Lara, Hart...
VLDB
1992
ACM
151views Database» more  VLDB 1992»
14 years 19 days ago
A Uniform Approach to Processing Temporal Queries
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
Umeshwar Dayal, Gene T. J. Wuu
GPCE
2008
Springer
13 years 9 months ago
Polymorphic embedding of dsls
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a ...
Christian Hofer, Klaus Ostermann, Tillmann Rendel,...