200 search results - page 11 / 40 » Modular Reasoning in Object-Oriented Programming |
90
Voted
FMCO
2004
Springer
15 years 4 months ago
2004
Springer
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
APLAS
2006
ACM
15 years 4 months ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
160
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
98
Voted
AVI
2004
15 years 6 days ago
2004
We present a program visualization tool called Jeliot 3 that is designed to aid novice students to learn procedural and object oriented programming. The key feature of Jeliot is t...
74
Voted
LISA
2001
15 years 5 days ago
2001
Gossips is a modular client/server based system monitor. It uses distributed monitoring tasks to define and report states of an IT-environment. A monitoring task includes probes t...