Sciweavers

1392 search results - page 83 / 279
» Staging generic programming
Sort
View
AGP
1997
IEEE
14 years 1 months ago
Structural Information Analysis for CLP Languages
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
Roberto Bagnara
FGCS
2006
70views more  FGCS 2006»
13 years 9 months ago
GrAL--the grid algorithms library
6 Dedicated library support for mesh-level geometry components, central to numerical PDE solution, is scarce. We claim that the situation is due to the inadequacy of traditional de...
Guntram Berti
CCIA
2010
Springer
13 years 4 months ago
WizArg: Visual Argumentation Framework Solving Wizard
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...
Ignasi Gómez-Sebastià, Juan Carlos N...
FPCA
1995
14 years 19 days ago
Shortcut Deforestation in Calculational Form
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
Akihiko Takano, Erik Meijer
AFRIGRAPH
2003
ACM
14 years 22 days ago
A meta-authoring tool for specifying interactions in virtual reality environments
When creating virtual reality environments a large amount of the interaction needs to be programmed. The problem with this is that non-computer expert users lack the programming s...
Zayd Hendricks, Gary Marsden, Edwin H. Blake