40 search results - page 1 / 8 » A Higher Abstraction Level Using First-Class Inheritance Rel... |
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
ESAW
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level actness of the organisational concepts an...
LMO
1996
13 years 6 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
COGSCI
2004
13 years 4 months ago
2004
The fundamental relations that underlie cognitive comparisons--"same" and "different"--can be demultiple levels of abstraction, which vary in relational comple...