6740 search results - page 354 / 1348 » Using Classification as a Programming Language |
108
Voted
ESOP
2007
Springer
15 years 9 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 ...
141
click to vote
PADL
2004
Springer
15 years 8 months ago
2004
Springer
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
121
click to vote
VL
2003
IEEE
15 years 8 months ago
2003
IEEE
Among the advantages of visual dataflow programming is that it can give the user a sense of location for the data in a computation. This can help novices build a mental picture of...
141
Voted
LOPSTR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
116
click to vote
VL
1996
IEEE
15 years 7 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...