7124 search results - page 334 / 1425 » Programming Languages and Operating Systems |
147
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
174
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
174
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
159
click to vote
ICLP
1993
Springer
15 years 10 months ago
1993
Springer
: Copy avoidance refers to the safe replacement, at compile time, of copying operations by destructive updates in single-assignment languages. Conceptually, the problem can be divi...
223
click to vote
HASKELL
2006
ACM
16 years 21 days ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...