3311 search results - page 43 / 663 » Deductive Object Programming |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...
ENTCS
2008
14 years 9 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
103
click to vote
MSCS
2000
14 years 9 months ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
HT
2004
ACM
15 years 3 months ago
2004
ACM
This paper describes an experiment to augment SCORM manifests with adaptive links using AuldLinky in order to promote content reusability, interoperability and personalized elearn...