Sciweavers

3824 search results - page 224 / 765
» Geometry Constructions Language
Sort
View
OOPSLA
2007
Springer
15 years 10 months ago
No ifs, ands, or buts: uncovering the simplicity of conditionals
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
Jonathan Edwards
PADL
2007
Springer
15 years 10 months ago
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...
Per Gustafsson, Konstantinos F. Sagonas
UML
2005
Springer
15 years 9 months ago
Metamodel Reuse with MOF
As model-driven development promotes metamodels as key assets it raises the issue of their reuse throughout a model-driven product line life cycle. One recurrent reuse need occurs ...
Xavier Blanc, Franklin Ramalho, Jacques Robin
ECAI
2004
Springer
15 years 9 months ago
An Investigation into the Expressive Power of PDDL2.1
The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its exp...
Maria Fox, Derek Long, Keith Halsey
ESOP
2009
Springer
15 years 8 months ago
Verified, Executable Parsing
We describe the mechanisation of SLR parsing, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the vari...
Aditi Barthwal, Michael Norrish