396 search results - page 31 / 80 » Comparative Semantics for a Real-Time Programming Language w... |
142
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
172
Voted
DLS
2010
15 years 16 days ago
2010
Dynamic languages such as Python allow programs to be written more easily using high-level constructs such as comprehensions for queries and using generic code. Efficient executio...
109
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
150
Voted
PPOPP
1991
ACM
15 years 6 months ago
1991
ACM
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...
115
click to vote
ECOOP
2008
Springer
15 years 4 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...