Search results for "declarative"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Birger Andersson, Maria Bergholtz, Ananda Edirisuriya, Tharaka Ilayperuma, Paul Johannesson	A Declarative Foundation of Process Models.	CAiSE	2005	DBLP DOI BibTeX RDF
17	Halina Kwasnicka, Mariusz Paradowski	Melanocytic Lesion Images Segmentation Enforcing by Spatial Relations Based Declarative Knowledge.	ISDA	2005	DBLP DOI BibTeX RDF
17	H. Iván Piza, Fabiel Zúñiga, Félix F. Ramos 0001	Using a Declarative Language to Describe the Interactions in Virtual Scenes.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
17	Le Thi Thu Thuy, Doan Dai Duong	Query Decomposition Using the XML Declarative Description Language.	ICCSA (2)	2005	DBLP DOI BibTeX RDF
17	Pierangelo Dell'Acqua, Luís Moniz Pereira	Preference Revision Via Declarative Debugging.	EPIA	2005	DBLP DOI BibTeX RDF
17	Massimo Marchi, Alessandra Mileo, Alessandro Provetti	Declarative Policies for Web Service Selection.	POLICY	2005	DBLP DOI BibTeX RDF
17	Bruria Haberman, Zahava Scherz	Evolving Boxes as Flexible Tools for Teaching High-School Students Declarative and Procedural Aspects of Logic Programming.	ISSEP	2005	DBLP DOI BibTeX RDF
17	Robert Steele, William Gardner, Tharam S. Dillon, Abdelkarim Erradi	XML-Based Declarative Access Control.	SOFSEM	2005	DBLP DOI BibTeX RDF
17	Sergio Antoy, Michael Hanus	Declarative Programming with Function Patterns.	LOPSTR	2005	DBLP DOI BibTeX RDF
17	Michael Hanus	A generic analysis environment for declarative programs.	WCFLP	2005	DBLP DOI BibTeX RDF	program analysis, programming environments, functional logic programming
17	Daniel R. Brooks, Esra Erdem 0001, James W. Minett, Donald Ringe	Character-Based Cladistics and Answer Set Programming.	PADL	2005	DBLP DOI BibTeX RDF
17	Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	PPDP	2005	DBLP DOI BibTeX RDF
17	Jonathan Gelati, Antonino Rotolo, Giovanni Sartor, Guido Governatori	Normative autonomy and normative co-ordination: Declarative power, representation, and mandate.	Artif. Intell. Law	2004	DBLP DOI BibTeX RDF	institutionalized power, normative co-ordination, multi-agent systems
17	Marco Brambilla 0001, Stefano Ceri, Sara Comai, Marco Dario, Piero Fraternali, Ioana Manolescu	Declarative Specification of Web Applications exploiting Web Services and Workflows. (PDF / PS)	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
17	Fabien Delorme, Nicolas Delestre, Jean-Pierre Pécuchet	Using Concept Maps for Enhancing Adaptation Processes in Declarative Knowledge Learning.	AH	2004	DBLP DOI BibTeX RDF
17	Robert J. Walker, Kevin Viggers	Implementing protocols via declarative event patterns.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	comprehensibility/maintainability, context-sensitive join points, event patterns, aspect-oriented programming, traceability, parsing, instrumentation, context-free grammars
17	Rafael Caballero 0001, Mario Rodríguez-Artalejo	DDT: a Declarative Debugging Tool for Functional-Logic Languages.	FLOPS	2004	DBLP DOI BibTeX RDF
17	Marco Cadoli, Toni Mancini	Exploiting Functional Dependencies in Declarative Problem Specifications.	JELIA	2004	DBLP DOI BibTeX RDF
17	Bernard J. Pope	Declarative Debugging with Buddha.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
17	Soledad González, Ginés Moreno	Improved Tupling for Optimizing Multi-paradigm Declarative Programs.	IBERAMIA	2004	DBLP DOI BibTeX RDF
17	Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe	Theories of Intentions in the Framework of Situation Calculus.	DALT	2004	DBLP DOI BibTeX RDF
17	Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni	On Modelling Multi-agent Systems Declaratively.	DALT	2004	DBLP DOI BibTeX RDF
17	L. Robert Pokorny, C. R. Ramakrishnan 0001	Modeling and Verification of Distributed Autonomous Agents Using Logic Programming.	DALT	2004	DBLP DOI BibTeX RDF
17	Tibor Bosse, Catholijn M. Jonker, Jan Treur	Representational Content and the Reciprocal Interplay of Agent and Environment.	DALT	2004	DBLP DOI BibTeX RDF
17	Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello	Event choice datalog: a logic programming language for reasoning in multiple dimensions.	PPDP	2004	DBLP DOI BibTeX RDF	knowledge representation, logic programming
17	Sergio Flesca, Sergio Greco, Ester Zumpano	Active integrity constraints.	PPDP	2004	DBLP DOI BibTeX RDF	logic programming, integrity constraints, inconsistent database
17	Tom Mens, Roel Wuyts, Kris De Volder, Kim Mens	Declarative Meta Programming to Support Software Development: Workshop Report.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF
17	Isabelle Attali, Denis Caromel, Arnaud Contes	Hierarchical and Declarative Security for Grid Applications.	HiPC	2003	DBLP DOI BibTeX RDF
17	Frej Drejhammar, Christian Schulte 0001, Per Brand, Seif Haridi	Flow Java: Declarative Concurrency for Java.	ICLP	2003	DBLP DOI BibTeX RDF
17	Ilya Shlyakhter, Robert Seater, Daniel Jackson 0001, Manu Sridharan, Mana Taghdiri	Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.	ASE	2003	DBLP DOI BibTeX RDF
17	Keith Duddy, Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel	Model Transformation: A declarative, reusable patterns approach.	EDOC	2003	DBLP DOI BibTeX RDF
17	Shriram Krishnamurthi	The CONTINUE Server (or, How I Administered PADL 2002 and 2003).	PADL	2003	DBLP DOI BibTeX RDF
17	Prahladavaradan Sampath	Multi-agent Reactive Systems.	PADL	2003	DBLP DOI BibTeX RDF
17	Ninghui Li, John C. Mitchell	DATALOG with Constraints: A Foundation for Trust Management Languages.	PADL	2003	DBLP DOI BibTeX RDF
17	Pierangelo Dell'Acqua, Luís Moniz Pereira	A Logical Framework for Modelling eMAS.	PADL	2003	DBLP DOI BibTeX RDF
17	Ana Paula Tomás, José Paulo Leal	A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises.	PADL	2003	DBLP DOI BibTeX RDF
17	Henrik Nilsson, John Peterson, Paul Hudak	Functional Hybrid Modeling.	PADL	2003	DBLP DOI BibTeX RDF
17	António Porto	An Integrated Information System Powered by Prolog.	PADL	2003	DBLP DOI BibTeX RDF
17	Rachid Echahed, Frédéric Prost, Wendelin Serwe	Statically assuring secrecy for dynamic concurrent processes.	PPDP	2003	DBLP DOI BibTeX RDF	abstract interpretation, safety, noninterference
17	Mengchi Liu, Tok Wang Ling	Towards Declarative XML Querying.	WISE	2002	DBLP DOI BibTeX RDF
17	Paolo Manghi, Fabio Simeoni, David Lievens, Richard Connor 0001	Hybrid applications over XML: integrating the procedural and declarative approaches.	WIDM	2002	DBLP DOI BibTeX RDF	XML high-level bindings, XML programming, advanced web applications, XML querying, web data integration
17	Marcos André Gonçalves, Edward A. Fox	5SL: a language for declarative specification and generation of digital libraries.	JCDL	2002	DBLP DOI BibTeX RDF	5SL, models, generators, languages, design tools, 5S
17	Gregory Karvounarakis, Sofia Alexaki, Vassilis Christophides, Dimitris Plexousakis, Michel Scholl	RQL: a declarative query language for RDF.	WWW	2002	DBLP DOI BibTeX RDF
17	Paolo Mascellani, Dino Pedreschi	The Declarative Side of Magic.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
17	Johan Fabry	Supporting Development of Enterprise JavaBeans through Declarative Meta Programming.	OOIS	2002	DBLP DOI BibTeX RDF
17	Isabel F. Cruz, Afsheen Rajendran, William Sunna, Nancy Wiegand	Handling semantic heterogeneities using declarative agreements.	ACM-GIS	2002	DBLP DOI BibTeX RDF	GIS interoperability, user interfaces for GIS, ontology
17	André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder	Implementing Declarative Parallel Bottom-Avoiding Choice.	SBAC-PAD	2002	DBLP DOI BibTeX RDF
17	Peter Bunus, Peter Fritzson	Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages.	SCAM	2002	DBLP DOI BibTeX RDF
17	Ginés Moreno	Automatic Optimization of Multi-paradigm Declarative Programs.	IBERAMIA	2002	DBLP DOI BibTeX RDF
17	Germán Vidal	Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation.	LOPSTR	2002	DBLP DOI BibTeX RDF
17	Rong Yang, Steve Gregory	Exploiting Efficient Control and Data Structures in Logic Programs.	PADL	2002	DBLP DOI BibTeX RDF	logic programming, constraints satisfaction, sequence comparison
17	Zhanyong Wan, Walid Taha, Paul Hudak	Event-Driven FRP.	PADL	2002	DBLP DOI BibTeX RDF
17	Alexander V. Shafarenko	Coercion as homomorphism: type inference in a system with subtyping and overloading.	PPDP	2002	DBLP DOI BibTeX RDF	type inference, subtyping, overloading, data-parallel programming, array processing
17	Janos Sztipanovits, Gabor Karsai	Generative programming for embedded systems.	PPDP	2002	DBLP DOI BibTeX RDF
17	Izzet Pembeci, Henrik Nilsson, Gregory D. Hager	Functional reactive robotics: an exercise in principled integration of domain-specific languages.	PPDP	2002	DBLP DOI BibTeX RDF	robotics, functional programming, domain-specific languages, vision
17	Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof	Automated negotiation from declarative contract descriptions.	Agents	2001	DBLP DOI BibTeX RDF
17	Elvira Albert, Michael Hanus, Germán Vidal	A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.	FLOPS	2001	DBLP DOI BibTeX RDF
17	Rafael Caballero 0001, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF
17	Elvira Albert, Germán Vidal	Symbolic Profiling for Multi-paradigm Declarative Languages.	LOPSTR	2001	DBLP DOI BibTeX RDF
17	Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson 0003, Matthew Barry	An A-Prolog Decision Support System for the Space Shuttle.	PADL	2001	DBLP DOI BibTeX RDF	logic programming, planning, answer set programming
17	Michael Hanus	High-Level Server Side Web Scripting in Curry.	PADL	2001	DBLP DOI BibTeX RDF
17	Jeff Gray 0001, Stephen R. Schach	Constraint animation using an object-oriented declarative language.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
17	Sergey Melnik 0001	Declarative Mediation in Distributed Systems.	ER	2000	DBLP DOI BibTeX RDF
17	Meurig Sage	FranTk - a declarative GUI language for Haskell.	ICFP	2000	DBLP DOI BibTeX RDF	graphical user interfaces, Haskell, Haskell, functional reactive programming
17	Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini	MuTACLP: A Language for Declarative GIS Analysis.	Computational Logic	2000	DBLP DOI BibTeX RDF	gis analysis, meta-programming, spatio-temporal reasoning
17	Mutsumi Nakamura, Chitta Baral	Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases.	Computational Logic	2000	DBLP DOI BibTeX RDF
17	Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel	A Declarative Approach for Designing and Developing Adaptive Components.	ASE	2000	DBLP DOI BibTeX RDF
17	Paulo Pinheiro da Silva	User Interface Declarative Models and Development Environments: A Survey.	DSV-IS	2000	DBLP DOI BibTeX RDF
17	Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke	Transformation-by-Example for XML.	PADL	2000	DBLP DOI BibTeX RDF
17	Michael Hanus	A Functional Logic Programming Approach to Graphical User Interfaces.	PADL	2000	DBLP DOI BibTeX RDF
17	Timothy J. Hickey	CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.	PADL	2000	DBLP DOI BibTeX RDF
17	John Peterson, Valery Trifonov, Andrei Serjantov	Parallel Functional Reactive Programming.	PADL	2000	DBLP DOI BibTeX RDF
17	Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza	A Hybrid Approach for Solving Large Scale Crew Scheduling Problems.	PADL	2000	DBLP DOI BibTeX RDF
17	Yannis Velegrakis, Vassilis Christophides, Panos Constantopoulos	Declarative Specification of Z39.50 Wrappers Using Description Logics.	ECDL	1999	DBLP DOI BibTeX RDF
17	Ekawit Nantajeewarawat, Vilas Wuwongse	An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance.	ASIAN	1999	DBLP DOI BibTeX RDF
17	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	TOY: A Multiparadigm Declarative System.	RTA	1999	DBLP DOI BibTeX RDF
17	Chihab Hanachi, Nabil Hameurlain, Christophe Sibertin-Blanc	Mobile Agents Behaviours: From Declarative Specifications to Implementation.	CIA	1999	DBLP DOI BibTeX RDF
17	Mary F. Fernandez, Dan Suciu, Igor Tatarinov	Declarative specification of data-intensive Web sites.	DSL	1999	DBLP DOI BibTeX RDF
17	Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini	Multi-agent Systems Development as a Software Engineering Enterprise.	PADL	1999	DBLP DOI BibTeX RDF
17	Arvind K. Bansal, Peer Bork	Applying Logic Programming to Derive Novel Functional Information of Genomes.	PADL	1999	DBLP DOI BibTeX RDF
17	James Lipton, Robert McGrail	Encapsulating Data in Logic Programming via Categorial Constraints.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
17	John Hannan	Program Analysis in Lambda-Prolog.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
17	Norbert Eisinger, Tim Geisler, Sven Panne	Logic Implemented Functionally.	PLILP	1997	DBLP DOI BibTeX RDF	functional programming, disjunctive logic programming, model generation, programming course
17	Michael Hanus	Teaching Functional and Logic Programming with a Single Computational Model.	PLILP	1997	DBLP DOI BibTeX RDF	Keyword Functional logic languages, integration of paradigms, lazy evaluation, residuation, narrowing
17	Olivier Michel	A Straightforward Translation of D0L Systems in the Declarative Data-Parallel Language 8½.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
17	James Lipton, Stacy E. Finkelstein, Peter J. Freyd	A New Framework for Declarative Programming: Categorial Perspectives.	ELP	1996	DBLP DOI BibTeX RDF
17	Weidong Chen	Declarative Updates of Relational Databases.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	update algebra, update calculus, expressive power, database updates, database languages
17	Wayne Luk	A declarative approach to incremental custom computing.	FCCM	1995	DBLP DOI BibTeX RDF
17	Lunjin Lu	A Generic Declarative Diagnoser for Normal Logic Programs.	LPAR	1994	DBLP DOI BibTeX RDF
17	Jürgen Ebert, Angelika Franzke	A Declarative Approach to Graph Based Modeling.	WG	1994	DBLP DOI BibTeX RDF
17	Wayne Luk, Teddy Wu	Towards a declarative framework for hardware-software codesign.	CODES	1994	DBLP DOI BibTeX RDF
17	Anthony Papantonakis, Peter J. H. King	Gql, a Declarative Graphical Query Language Based on the Functional Data Model.	Advanced Visual Interfaces	1994	DBLP DOI BibTeX RDF
17	Jan A. Plaza	Fully Declarative Logic Programming.	PLILP	1992	DBLP DOI BibTeX RDF
17	Marco A. Casanova, Andrea S. Hemerly, António L. Furtado 0001	A Declarative Conceptual Modelling Language: Description and Example Applications.	CAiSE	1992	DBLP DOI BibTeX RDF
17	Pierre Deransart	Proofs of Declarative Properties of Logic Programs.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
17	Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten	Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses.	MFCS	1989	DBLP DOI BibTeX RDF
17	James Geller	Order Dependence of Declarative Knowledge Representation.	SNePS	1989	DBLP DOI BibTeX RDF
17	Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory	Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
17	Jeffrey J. P. Tsai, Thomas J. Weigert, Mikio Aoyama	A declarative approach to software requirement specification languages.	ICCL	1988	DBLP DOI BibTeX RDF
17	Keith L. Clark, Ian T. Foster	A Declarative Environment for Concurrent Logic Programming.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF