Sciweavers

3311 search results - page 164 / 663
» Deductive Object Programming
Sort
View
FMOODS
2003
15 years 3 months ago
Towards Object-Oriented Graphs and Grammars
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
Ana Paula Lüdtke Ferreira, Leila Ribeiro
110
Voted
PDPTA
2003
15 years 3 months ago
An Object-Oriented Framework for Computational Fluid Dynamics
This paper describes an object-oriented framework for solving computational fluid dynamics problems on parallel computers. The design and components of the framework are discussed ...
Freddy Pérez, Wilson Rivera
113
Voted
FAC
2007
121views more  FAC 2007»
15 years 1 months ago
On assertion-based encapsulation for object invariants and simulations
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
David A. Naumann
ISCIS
2004
Springer
15 years 7 months ago
Thread-Sensitive Points-to Analysis for Multithreaded Java Programs
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...
Byeong-Mo Chang, Jong-Deok Choi
VL
2002
IEEE
144views Visual Languages» more  VL 2002»
15 years 6 months ago
Interactive Visualization of Java Programs
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...
Paul V. Gestwicki, Bharat Jayaraman