Search results for "declarativeness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
62	Ghica van Emde Boas-Lubsen, Peter van Emde Boas	Compiling Horn-Clause Rules in IBM's Business System 12 and Early Experiment in Declarativeness.	SOFSEM	1998	DBLP DOI BibTeX RDF
52	Annalisa Di Deo, Dmitri Boulanger	A Formal Background to Build Constraint Objects.	IDEAS	2000	DBLP DOI BibTeX RDF	constraint objects, first-order formula, database tuples, database objects, basic data types, constraint data model, spatial tools, Oracle 8, constraint programming, first-order logic, expressiveness, duality, constraint handling, spatial relations, data representation, linear constraints, relational data model, declarativeness, object-relational DBMS, constraint databases, cylindrical algebras, relational tables, free variables
42	Attila Egri-Nagy	Declarativeness: the work done by something else.	CoRR	2017	DBLP BibTeX RDF
33	Henry J. Borron	Upscaling the CLOS Inheritance Mechanism for Multidimensional Objects.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	multidimensional objects, qualifier, standard method combination. monotonicity, pure declarativeness, invocation sequence diagram, regularity condition, prevalence rule, stability, efficiency, role, linearization, combination, congruency, multiple inheritance, multiple dispatch
19	Martin Bravenboer, Yannis Smaragdakis	Strictly declarative specification of sophisticated points-to analyses.	OOPSLA	2009	DBLP DOI BibTeX RDF	DOOP, datalog, bdds, points-to analysis, declarative
19	Ralf Heese	Query Graph Model for SPARQL.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
19	Dong Ha Nguyen, Mario Südholt	VPA-Based Aspects: Better Support for AOP over Protocols.	SEFM	2006	DBLP DOI BibTeX RDF
19	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF
19	Ricardo Rocha 0001, Nuno A. Fonseca, Vítor Santos Costa	On Applying Tabling to Inductive Logic Programming.	ECML	2005	DBLP DOI BibTeX RDF
19	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	Concurrent Table Accesses in Parallel Tabled Logic Programs.	Euro-Par	2004	DBLP DOI BibTeX RDF
19	Stephen-John Craig, Michael Leuschel	LIX: an Effective Self-applicable Partial Evaluator for Prolog.	FLOPS	2004	DBLP DOI BibTeX RDF	Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application
19	Marco Cadoli, Toni Mancini	Exploiting Functional Dependencies in Declarative Problem Specifications.	JELIA	2004	DBLP DOI BibTeX RDF
19	Sang Bong Yoo, In Han Kim	Application of Active Real-Time Objects and Rules in Semantic Web.	DNIS	2003	DBLP DOI BibTeX RDF
19	Jorge Cruz 0001, Pedro Barahona	Constraint Satisfaction Differential Problems.	CP	2003	DBLP DOI BibTeX RDF
19	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	On a Tabling Engine That Can Exploit Or-Parallelism.	ICLP	2001	DBLP DOI BibTeX RDF	Tabling, Or-Parallelism, Parallel Logic Programming
19	Paolo Torroni, Francesca Toni	Extending a Logic Based One-to-One Negotiation Framework to One-to-Many Negotiation.	ESAW	2001	DBLP DOI BibTeX RDF
19	Pavel Smrz, Ales Horák	Probabilistic Head-Driven Chart Parsing of Czech Sentences.	TSD	2000	DBLP DOI BibTeX RDF
19	Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott	Independence in Dynamically Scheduled Logic Languages.	ALP	1996	DBLP DOI BibTeX RDF
19	Steven Dawson, C. R. Ramakrishnan 0001, David Scott Warren	Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study.	PLDI	1996	DBLP DOI BibTeX RDF
19	François Jacquenet, Irène Foucherot	A new logical view of knowledge manipulation with PROLOG.	ANZIIS	1996	DBLP DOI BibTeX RDF
19	Gene Fuh, Jyh-Herng Chow, Nelson Mendonça Mattos, Brian T. Tran	Supporting procedural constructs in existing SQL compilers.	CASCON	1996	DBLP BibTeX RDF	SQL
19	Inderpal Singh Mumick, Kenneth A. Ross	Noodle: A Language for Declarative Querying in an Object-Oriented Database.	DOOD	1993	DBLP DOI BibTeX RDF
19	Michel Dorochevsky, Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron	ElipSys - A Parallel Programming System based on Logic.	LPAR	1992	DBLP DOI BibTeX RDF
19	Jeffrey D. Ullman	A Comparison between Deductive and Object-Oriented Database Systems.	DOOD	1991	DBLP DOI BibTeX RDF
19	Jirí Zlatuska	Modelling Inheritance in a Strongly Typed Functional Model.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF