4386 search results - page 356 / 878 » A Tamper-Resistant Programming Language System |
227
click to vote
POPL
2002
ACM
16 years 4 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...
134
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
126
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
161
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We examine the role of transactional memory from two perspectives: that of a programming language with atomic actions and that of implementations of the language. We argu...
118
click to vote
DSL
1997
15 years 5 months ago
1997
DiSTiL is a software generator that implements a declarative domain-specific language (DSL) for container data structures. DiSTiL is a representative of a new approach to domain-...