Sciweavers

7124 search results - page 128 / 1425
» Programming Languages and Operating Systems
Sort
View
PADL
2012
Springer
13 years 10 months ago
Typing the Numeric Tower
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Fla...
AAMAS
2008
Springer
15 years 2 months ago
2APL: a practical agent programming language
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
Mehdi Dastani
CAI
2009
Springer
15 years 9 months ago
The Graph Programming Language GP
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
Detlef Plump
DNA
2009
Springer
194views Bioinformatics» more  DNA 2009»
15 years 6 months ago
A Domain-Specific Language for Programming in the Tile Assembly Model
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
David Doty, Matthew J. Patitz
129
Voted
TODS
2012
13 years 5 months ago
A survey of B-tree logging and recovery techniques
B-trees have been ubiquitous in database management systems for several decades, and they serve in many other storage systems as well. Their basic structure and their basic operat...
Goetz Graefe