3824 search results - page 154 / 765 » Geometry Constructions Language |
TOPLAS
2008
14 years 11 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
104
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
During the last decade, software transactional memory (STM) gained wide popularity in many areas of parallel computing. In this paper, we introduce LISP-derived language equipped ...
86
Voted
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
98
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
118
Voted
DNA
2009
Springer
15 years 4 months ago
2009
Springer
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...