1131 search results - page 186 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
94
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
87
Voted
DOCENG
2007
ACM
15 years 4 months ago
2007
ACM
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...
117
click to vote
FMCO
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
99
Voted
VLC
2002
15 years 2 days ago
2002
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
182
Voted
CC
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...