12272 search results - page 274 / 2455 » Experimental program analysis |
138
click to vote
SIGADA
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
206
click to vote
PDS
1996
15 years 8 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
157
click to vote
JOT
2007
15 years 6 months ago
2007
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
179
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
169
click to vote
PPOPP
1993
ACM
15 years 10 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...