10055 search results - page 380 / 2011 » Structured programming using processes |
85
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
96
Voted
IV
2002
IEEE
15 years 5 months ago
2002
IEEE
We propose ‘Trace View’, a static visualization method for monitoringand debugging the dynamic behavior of programs written in data flow visual programming languages. Trace V...
106
Voted
PDP
1997
IEEE
15 years 5 months ago
1997
IEEE
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...
119
Voted
ECP
1997
Springer
15 years 5 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
92
Voted
VL
1996
IEEE
15 years 5 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...