7430 search results - page 445 / 1486 » Programming Applications in CIFF |
156
click to vote
POPL
1996
ACM
15 years 11 months ago
1996
ACM
This paper presents program analyses and transformations that discover a general class of auxiliary information for any incremental computation problem. Combining these techniques...
198
click to vote
ISOOMS
1994
15 years 11 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
165
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
It is essential for security to be able to isolate mistrusting programs from one another, and to protect the host platform from programs. Isolation is difficult in object-oriented...
192
click to vote
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
157
click to vote
MP
2007
15 years 6 months ago
2007
Given a primal-dual pair of linear programs, it is well known that if their optimal values are viewed as lying on the extended real line, then the duality gap is zero, unless both...