1179 search results - page 153 / 236 » Programming in Hybrid Constraint Languages |
119
click to vote
ECOOP
1993
Springer
15 years 5 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
104
click to vote
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...
135
click to vote
TLDI
2010
ACM
15 years 10 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
200
click to vote
POPL
2002
ACM
16 years 1 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
ICLP
1994
Springer
15 years 5 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...