3441 search results - page 136 / 689 » Parallel Logic Programming Systems |
115
click to vote
CISIS
2008
IEEE
15 years 4 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...
122
Voted
TASE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
112
Voted
TACS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
151
click to vote
LCPC
1995
Springer
15 years 6 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
123
Voted
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...