Sciweavers

3311 search results - page 53 / 663
» Deductive Object Programming
Sort
View
CP
2005
Springer
15 years 3 months ago
GOOSE - A Generic Object-Oriented Search Environment
Henry Müller, Stefan Jähnichen
ICLP
2003
Springer
15 years 3 months ago
Objective: In Minimum Context
Salvador Abreu, Daniel Diaz
CORR
2011
Springer
185views Education» more  CORR 2011»
14 years 4 months ago
Sound and Complete Query Answering in Intensional P2P Data Integration
Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intens...
Zoran Majkic
FUIN
2006
85views more  FUIN 2006»
14 years 9 months ago
Implementing Typeful Program Transformations
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
Chiyan Chen, Rui Shi, Hongwei Xi