10575 search results - page 536 / 2115 » T2Script Programming Language |
282
click to vote
LMCS
2006
15 years 7 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
187
click to vote
CC
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of imperative object oriented programming languages.
198
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
218
click to vote
TPDS
2008
15 years 7 months ago
2008
Computational Grids potentially offer low cost, readily available, and large-scale high-performance platforms. For the parallel execution of programs, however, computational GRIDs ...
237
click to vote
ICLP
2011
Springer
14 years 10 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...