3311 search results - page 167 / 663 » Deductive Object Programming |
124
Voted
GECCO
2010
Springer
15 years 3 months ago
2010
Springer
Developing dispatching rules for manufacturing systems is a tedious process, which is time- and cost-consuming. Since there is no good general rule for different scenarios and ob...
122
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
115
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
We identify three design principles for reflection and metaprogramming facilities in object oriented programming languages. Encapsulation: meta-level facilities must encapsulate t...
117
Voted
VLDB
1999
ACM
15 years 6 months ago
1999
ACM
Hyper-programming is a technology only available in persistent systems, since hyper-program source code contains both text and links to persistent objects. A hyper-programming sys...
138
Voted
ENTCS
2007
15 years 1 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...