40 search results - page 1 / 8 » A Higher Abstraction Level Using First-Class Inheritance Rel... |
64
Voted
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
70
Voted
ESAW
2009
Springer
15 years 4 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...
87
Voted
LMO
1996
14 years 10 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
15 years 6 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
14 years 9 months ago
2004
The fundamental relations that underlie cognitive comparisons--"same" and "different"--can be demultiple levels of abstraction, which vary in relational comple...