2362 search results - page 191 / 473 » Programming in Standard ML |
126
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
132
click to vote
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
131
click to vote
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
137
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
116
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...