3973 search results - page 603 / 795 » Records for Logic Programming |
143
click to vote
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
113
click to vote
SIGSOFT
1996
ACM
15 years 8 months ago
1996
ACM
Abstractions in Large Systems William G. Griswold, Member, IEEE, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, and J. David Morgenthaler Restructuring soft...
125
click to vote
PODS
1994
ACM
15 years 8 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
148
click to vote
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
115
click to vote
CGO
2004
IEEE
15 years 7 months ago
2004
IEEE
Recent research has shown that programs often exhibit value locality. Such locality occurs when a code segment, although executed repeatedly in the program, takes only a small num...