6740 search results - page 314 / 1348 » Using Classification as a Programming Language |
135
click to vote
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
128
click to vote
GCSE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
107
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
114
click to vote
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...
103
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...