5096 search results - page 199 / 1020 » Associations as a Language Construct |
177
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
141
click to vote
TOPLAS
2008
15 years 5 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...
167
click to vote
SAC
2010
ACM
16 years 1 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 ...
152
click to vote
PEPM
2007
ACM
16 years 22 days 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...
178
click to vote
KR
2010
Springer
15 years 11 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...