4719 search results - page 423 / 944 » Newtonian program analysis |
163
Voted
TIC
1998
Springer
15 years 11 months ago
1998
Springer
Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...
182
click to vote
HPCN
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
183
click to vote
WSC
1997
15 years 8 months ago
1997
Effective and timely execution of the Department of Defense’s (DoD) Program Objective Memorandum (POM) and Joint Warfare Capability Assessment (JWCA) process requires objective...
189
click to vote
SIGARCH
2008
15 years 6 months ago
2008
This paper presents the OpenDF framework and recalls that dataflow programming was once invented to address the problem of parallel computing. We discuss the problems with an impe...
225
click to vote
TOPLAS
2010
15 years 5 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...