3825 search results - page 281 / 765 » The Language of Time: A Reader |
173
click to vote
LICS
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
218
click to vote
PLSA
1994
15 years 10 months 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 ...
192
click to vote
ICIW
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
150
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Aspects sometimes conflict between them in scenarios where they reify resource awareness concerns. These conflicts are the result of the scarcity of resources and the fact that, f...
153
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...