7124 search results - page 517 / 1425 » Programming Languages and Operating Systems |
220
click to vote
ACTA
2010
15 years 7 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
223
click to vote
VL
2002
IEEE
16 years 18 days ago
2002
IEEE
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
216
click to vote
HPCN
1995
Springer
15 years 11 months ago
1995
Springer
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
208
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...
173
click to vote
ICLP
1995
Springer
15 years 11 months ago
1995
Springer
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...