Sciweavers

1776 search results - page 14 / 356
» Using a Logic Programming Language with Persistence and Cont...
Sort
View
APLAS
2010
ACM
13 years 7 months ago
Reasoning about Computations Using Two-Levels of Logic
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
Dale Miller
ECOOP
2006
Springer
13 years 11 months ago
Automatic Prefetching by Traversal Profiling in Object Persistence Architectures
Object persistence architectures support transparent access to persistent objects. For efficiency, many of these architectures support queries that can prefetch associated objects ...
Ali Ibrahim, William R. Cook
POPL
2009
ACM
14 years 8 months ago
A foundation for flow-based program matching: using temporal logic and model checking
Damien Doligez, Gilles Muller, Julia L. Lawall, Ju...
VLDB
1990
ACM
100views Database» more  VLDB 1990»
13 years 11 months ago
The C-based Database Programming Language Jasmine/C
Jasmine/C is a C-based database proqramninq language that allows the handling of persistent objects in Jasmine databases. The language is used to write methods for objects and app...
Masaaki Aoshima, Yoshio Izumida, Akifumi Makinouch...
ILP
2004
Springer
14 years 27 days ago
Macro-Operators Revisited in Inductive Logic Programming
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
Érick Alphonse