3394 search results - page 79 / 679 » Regular Object Types |
108
Voted
OTM
2004
Springer
15 years 6 months ago
2004
Springer
This paper investigates basic research issues that need to be addressed in order to reuse learning objects in a flexible way. We propose an ontology based approach. Our ontology f...
96
Voted
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
99
Voted
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
130
Voted
IPL
2008
15 years 19 days ago
2008
Abstract. A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions speci...