3311 search results - page 112 / 663 » Deductive Object Programming |
107
click to vote
CC
2007
Springer
15 years 7 months ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
121
click to vote
CC
2008
Springer
15 years 3 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
123
click to vote
JUCS
2007
15 years 1 months ago
2007
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
228
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
130
click to vote
SC
2000
ACM
15 years 6 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...