6054 search results - page 62 / 1211 » Implementation of Andorra-based Languages |
176
click to vote
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
161
click to vote
RULES
1993
Springer
15 years 7 months ago
1993
Springer
Semantic models have shown the utility of arbitrary user-de ned relationships for de ning the semantics of database information, while objectoriented models have developed a stron...
133
click to vote
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
We describe the evolution of a statistical survey design visual language from a standalone design-time modelling language into an environment supporting design, coordination, exec...
108
click to vote
IJCAI
2003
15 years 4 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
170
click to vote
JOOP
1998
15 years 2 months ago
1998
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...