2268 search results - page 53 / 454 » The Essence of Form Abstraction |
OOPSLA
1995
Springer
13 years 11 months ago
1995
Springer
eusable framework, pattern or module interface usually is represented by abstract They form an abstract design and leave the implementation to concrete subclasses. ract design is ...
INLG
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we present a logic-based model for an accurate generation of intensional responses within a cooperative questionanswering framework. We develop several cat...
SCAM
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
CONTEXT
2001
Springer
14 years 17 days ago
2001
Springer
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...
PLSA
1994
14 years 4 days ago
1994
A machine_independent abstract program representation is presented that is twice as compact as machine code for a CISC processor. It forms the basis of an implementation, in which ...