5451 search results - page 372 / 1091 » Typed Operational Semantics |
185
click to vote
ECOOP
2007
Springer
16 years 9 days ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
170
click to vote
POPL
1990
ACM
15 years 10 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
160
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
The expression problem (aka the extensibility problem) refers to a fundamental dilemma of programming: Can your application be structured in such a way that both the data model and...
194
click to vote
ENTCS
2000
15 years 6 months ago
2000
We lift Cardelli, Ghelli and Gordon's secrecy group creation operator [1] to a relative of the spicalculus that supports symmetric key cryptography, and show a natural extens...
157
click to vote
ISMAR
2008
IEEE
16 years 16 days ago
2008
IEEE
In this paper we present the results of our long term development of a mixed reality book. Most previous work in the area has focused on the technology of augmented reality books,...