2162 search results - page 76 / 433 » Automated Reasoning on Feature Models |
148
Voted
CSL
2000
Springer
15 years 8 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
133
Voted
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
A new concurrent form of game semantics is introduced. This overcomes the problems which had arisen with previous, sequential forms of game semantics in modelling Linear Logic. It...
115
Voted
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
146
Voted
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
121
Voted
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...