Sciweavers

1559 search results - page 75 / 312
» Fundamentals of Generic Programming
Sort
View
AGP
1997
IEEE
15 years 2 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»
14 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
14 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
15 years 1 months 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
15 years 1 months 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