396 search results - page 64 / 80 » Comparative Semantics for a Real-Time Programming Language w... |
125
click to vote
SMALLTALK
2007
Springer
15 years 3 months ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
SIGMOD
2012
ACM
13 years 2 days ago
2012
ACM
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management probl...
147
click to vote
SIGCSE
2006
ACM
15 years 3 months ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
149
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...