Search results for "declarative"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Thom W. Frühwirth	Constraint handling rules: the story so far.	PPDP	2006	DBLP DOI BibTeX RDF	concurrency, applications, program analysis, constraint programming, constraint solving, executable specification, computational logic, rule-based programming
23	Rajeev Gupta, Manish Bhide	A Generic XACML Based Declarative Authorization Scheme for Java.	ESORICS	2005	DBLP DOI BibTeX RDF
23	Saumya K. Debray	Code Compression.	PADL	2005	DBLP DOI BibTeX RDF
23	Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta 0001, Miao Liu	Optimization with mode-directed preferences.	PPDP	2005	DBLP DOI BibTeX RDF	preference logic programming, tabled prolog, mode
23	Sheila A. McIlraith	Invited talk: towards declarative programming for web services.	PEPM	2004	DBLP DOI BibTeX RDF	ontologies, web services, semantic web, OWL, web service composition, automated reasoning
23	Paola Inverardi, Fabio Mancinelli, Monica Nesi	A declarative framework for adaptable applications in heterogeneous environments.	SAC	2004	DBLP DOI BibTeX RDF
23	Sheila A. McIlraith	Towards Declarative Programming for Web Services.	SAS	2004	DBLP DOI BibTeX RDF
23	Vincent Jolivet, Dimitri Plemenos, Patrick Poulingeas	Declarative Specification of Ambiance in VRML Landscapes.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
23	Stefan Probst, Josef Küng	The Need for Declarative Security Mechanisms.	EUROMICRO	2004	DBLP DOI BibTeX RDF
23	Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni	Declarative Agent Control.	CLIMA	2004	DBLP DOI BibTeX RDF
23	Jonathan H. Pickering, Patrick Olivier	Declarative Camera Planning: Roles and Requirements.	Smart Graphics	2003	DBLP DOI BibTeX RDF
23	Tim Todman, Wayne Luk	Combining Imperative and Declarative Hardware Descriptions.	HICSS	2003	DBLP DOI BibTeX RDF
23	Dean Herington, P. David Stotts	DeCo: A Declarative Coordination Framework for Scientific Model Federations.	ASE	2003	DBLP DOI BibTeX RDF
23	Oleg Kiselyov, Shriram Krishnamurthi	SXSLT: Manipulation Language for XML.	PADL	2003	DBLP DOI BibTeX RDF	SXML, XML, Scheme, XSLT, tree traversal
23	Gérard P. Huet	Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics.	PADL	2003	DBLP DOI BibTeX RDF
23	François Bry, Sebastian Schaffert	Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification.	ICLP	2002	DBLP DOI BibTeX RDF
23	Paulo S. C. Alencar, Donald D. Cowan, Douglas W. Mulholland, Toacy Cavalcante de Oliveira	Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents.	SELMAS	2002	DBLP DOI BibTeX RDF	Web-based user interfaces, e-commerce, monitoring, distributed databases, business process, Software agents, data management, software design, events, events, e-business, data consistency
23	Vincent Jolivet, Dimitri Plemenos, Patrick Poulingeas	Inverse Direct Lighting with a Monte Carlo Method and Declarative Modelling.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
23	Göran Falkman	The Use of a Uniform Declarative Model in 3D Visualisation for Case-Based Reasoning.	ECCBR	2002	DBLP DOI BibTeX RDF
23	Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer	A High-Level Generic Interface to External Programming Languages for ECLiPSe.	PADL	2002	DBLP DOI BibTeX RDF	Logic Programming, implementation, application development, language interfaces
23	Bharat Jayaraman, Pallavi Tambay	Modeling Engineering Structures with Constrained Objects.	PADL	2002	DBLP DOI BibTeX RDF
23	Oleg Kiselyov	A Better XML Parser through Functional Programming.	PADL	2002	DBLP DOI BibTeX RDF	tree fold, Haskell, Scheme, traversal, XML parsing
23	Olivier Le Roux, Véronique Gaildrat, René Caubet	Using Constraint Propagation and Domain Reduction for the Generation Phase in Declarative Modeling.	IV	2001	DBLP DOI BibTeX RDF
23	Samuel A. Rebelsky, Peter B. Henderson, Amruth N. Kumar, Frederick N. Springsteel	Why I do declare!: declarative programming in the undergraduate curriculum.	SIGCSE	2001	DBLP DOI BibTeX RDF
23	Bahram Parvin, Gerald Fontenay, John R. Taylor, Daniel E. Callahan	Declarative Flow Control for Distributed Instrumentation.	CCGRID	2001	DBLP DOI BibTeX RDF
23	Hendrik Decker	Soundcheck for SQL.	PADL	2001	DBLP DOI BibTeX RDF
23	Antony Courtney	Frappé: Functional Reactive Programming in Java.	PADL	2001	DBLP DOI BibTeX RDF
23	Shinichi Komatsu, Tadashi Ohta	Active Networks Architecture Using Declarative Language.	IWAN	2000	DBLP DOI BibTeX RDF
23	Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer	Agent Programming with Declarative Goals.	ATAL	2000	DBLP DOI BibTeX RDF
23	Vincent Zammit	On the Implementation of an Extensible Declarative Proof Language.	TPHOLs	1999	DBLP DOI BibTeX RDF
23	Luis Talavera, Javier Béjar	Integrating Declarative Knowledge in Hierarchical Clustering Tasks.	IDA	1999	DBLP DOI BibTeX RDF
23	Camil Demetrescu, Irene Finocchi	Smooth Animation of Algorithms in a Declarative Framework.	VL	1999	DBLP DOI BibTeX RDF	smooth animation, Algorithm animation, logic languages
23	Babu Siddabathuni, Suzanne W. Dietrich, Susan Darling Urban	An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language.	PADL	1999	DBLP DOI BibTeX RDF
23	David Jeffery, Tyson Dowd, Zoltan Somogyi	MCORBA: A CORBA Binding for Mercury.	PADL	1999	DBLP DOI BibTeX RDF
23	Axel van Lamsweerde, Laurent Willemet	Inferring Declarative Requirements Specifications from Operational Scenarios.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Scenario-based requirements elicitation, inductive inference of specifications, specification refinement and analysis, goal-oriented requirements engineering, lightweight formal methods
23	Sergio Flesca, Sergio Greco	Declarative Semantics for Active Rules.	DEXA	1998	DBLP DOI BibTeX RDF
23	Harold Boley	A Relational-Functional Integration for Declarative Programming.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
23	Elena Trichina	Derivation of Explicitly Parallel Code from Declarative Program by Transformations.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
23	Vilas Wuwongse, Ekawit Nantajeewarawat	Declarative Program Theory with Implicit Information.	PRICAI	1996	DBLP DOI BibTeX RDF
23	Karl Stroetmann 0001, Thomas Glaß	A Declarative Semantics for the Prolog Cut Operator.	ELP	1996	DBLP DOI BibTeX RDF
23	Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai	Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping.	ECOOP	1994	DBLP DOI BibTeX RDF	semantic specifications, Object-oriented, logic programming, type systems, inheritance, polymorphism, subtyping, unification, deduction
23	Michael L. Heytens, Cristiano Sacchi	A Declarative, Object-Oriented Interface to a Solid Modeler.	SSD	1993	DBLP DOI BibTeX RDF
23	Inderpal Singh Mumick, Kenneth A. Ross	Noodle: A Language for Declarative Querying in an Object-Oriented Database.	DOOD	1993	DBLP DOI BibTeX RDF
23	Lubomir Bic, John M. A. Roy, Mark Nagel	Declarative Programming for Conventional MIMD Multiprocessors.	PARLE	1992	DBLP DOI BibTeX RDF
23	Francesco Russo, Mirko Sancassani	A Declarative Debugging Environment for DATALOG.	RCLP	1991	DBLP DOI BibTeX RDF
23	Jan Paredaens, Peter Peelman, Letizia Tanca	G-Log: A Declarative Graphical Query Language.	DOOD	1991	DBLP DOI BibTeX RDF
23	K.-F. Wong, U. C. Baron, Hans Benker, Sylvie Bescos, A. B. Cheese, François J. N. Cosquer, Sergio A. Delgado-Rannauro, Michel Dorochevsky, P. Heuze, M. Ibanez-Espiga, Jacques Noyé, Maurizio Paci, M. J. Ratcliffe, M. J. Reeve, Kees Schuerman, Alan P. Sexton, André Véron, Jiyang Xu	The European Declarative System (EDS) as a platform for parallel logic programming.	SPDP	1990	DBLP DOI BibTeX RDF
23	Fabio Tardivo, Enrico Pontelli	Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs.	PADL	2022	DBLP DOI BibTeX RDF
23	James Smith, Xiangyu Guo, Ajay Bansal	A Predicate Construct for Declarative Programming in Imperative Languages.	PPDP	2022	DBLP DOI BibTeX RDF
23	Kevin J. Purnell, Rolf Schwitter	Declarative Smart Contract Testing by Domain Experts.	RuleML+RR (Companion)	2022	DBLP BibTeX RDF
23	Matthieu Viry	A declarative approach based on Semantic Web technologies to specify and generate adaptive geovisualisations. (Une approche déclarative basée sur les technologies du Web sémantique pour spécifier et générer des géovisualisations adaptatives).		2021	RDF
23	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón	Declarative Debugging of XML Queries.	PADL	2021	DBLP DOI BibTeX RDF
23	Michael Hanus	Lightweight Declarative Server-Side Web Programming.	PADL	2021	DBLP DOI BibTeX RDF
23	Luigi Bellomarini, Giuseppe Galano, Markus Nissl, Emanuel Sallinger	Rule-based Blockchain Knowledge Graphs: Declarative AI for Solving Industrial Blockchain Challenges.	RuleML+RR (Supplement)	2021	DBLP BibTeX RDF
23	Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel (eds.)	Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers	DECLARE	2020	DBLP DOI BibTeX RDF
23	Mohamed-Bachir Belaid	Fouille de données déclarative basée sur la programmation par contraintes. (Declarative Itemset Mining Based on Constraint Programming).		2020	RDF
23	Dimitrios Vytiniotis	Declarative abstractions for tensor program partitioning.	PPDP	2020	DBLP DOI BibTeX RDF
23	Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz	Continuous Verification of Machine Learning: a Declarative Programming Approach.	PPDP	2020	DBLP DOI BibTeX RDF
23	Egor V. Kostylev	Declarative Data Analysis Using Limit Datalog Programs.	Reasoning Web	2020	DBLP DOI BibTeX RDF
23	Michael Hanus	Improving Residuation in Declarative Programs.	PADL	2019	DBLP DOI BibTeX RDF
23	Vít Sefl	Performance Analysis of Zippers.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Tomi Janhunen, Michael Sioutis	Allen's Interval Algebra Makes the Difference.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Christoph Wernhard	Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke	Towards Constraint Logic Programming over Strings for Test Data Generation.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Sven Löffler, Ke Liu 0006, Petra Hofstedt	The Regularization of Small Sub-Constraint Satisfaction Problems.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Armin Wolf	Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Wolfgang Jeltsch	A Process Calculus for Formally Verifying Blockchain Consensus Protocols.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby	ICurry.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Jan C. Dageförde, Finn Teegen	Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Michael Hanus, Finn Teegen	Adding Data to Curry.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Daniel Weidner, Martin Atzmueller, Dietmar Seipel	Finding Maximal Non-redundant Association Rules in Tennis Data.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Agostino Dovier, Andrea Formisano 0001, Flavio Vella	GPU-Based Parallelism for ASP-Solving.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Baltasar Trancón y Widemann, Markus Lepper 0001	Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Janis Voigtländer	Free Theorems Simply, via Dinaturality.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Ke Liu 0006, Sven Löffler, Petra Hofstedt	Exploring Properties of Icosoku by Constraint Satisfaction Approach.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Paulo Quaresma, Vítor Beires Nogueira, Kashyap Raiyani, Roy Khristopher Bayot, Teresa Gonçalves 0001	From Textual Information Sources to Linked Data in the Agatha Project.	DECLARE	2019	DBLP DOI BibTeX RDF
23	Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.)	Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers	DECLARE	2018	DBLP DOI BibTeX RDF
23	Gordon Stewart 0001, Samuel Merten, Logan Leland	Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell.	PADL	2018	DBLP DOI BibTeX RDF
23	Stephan Adelsberger, Anton Setzer, Eric Walkingshaw	Declarative GUIs: Simple, Consistent, and Verified.	PPDP	2018	DBLP DOI BibTeX RDF
23	Michael Hanus	Verifying Fail-Free Declarative Programs.	PPDP	2018	DBLP DOI BibTeX RDF
23	Manel Charfi	Declarative approach for long-term sensor data storage. (Approche déclarative pour le stockage à long terme de données capteurs).		2017	RDF
23	Tuan Anh Pham 0002	OntoApp : une approche déclarative pour la simulation du fonctionnement d'un logiciel dès une étape précoce du cycle de vie de développement. (OntoApp : a declarative approach for software reuse and simulation in early stage of software development life cycle).		2017	RDF
23	Felix S. Klock II	A Declarative DSL for Customizing ASCII Art.	PADL	2017	DBLP DOI BibTeX RDF
23	Joost Vennekens	Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System.	PADL	2017	DBLP DOI BibTeX RDF
23	Henrik Nilsson, Guerric Chupin	Funky Grooves: Declarative Programming of Full-Fledged Musical Applications.	PADL	2017	DBLP DOI BibTeX RDF
23	Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz	The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters.	DECLARE	2017	DBLP DOI BibTeX RDF
23	Lorenz Leutgeb, Antonius Weinzierl	Techniques for Efficient Lazy-Grounding ASP Solving.	DECLARE	2017	DBLP DOI BibTeX RDF
23	Philipp Körner, Sebastian Krings	plspec - A Specification Language for Prolog Data.	DECLARE	2017	DBLP DOI BibTeX RDF
23	Armin Wolf	The Proportional Constraint and Its Pruning.	DECLARE	2017	DBLP DOI BibTeX RDF
23	Thom W. Frühwirth	Implementation of Logical Retraction in Constraint Handling Rules with Justifications.	DECLARE	2017	DBLP DOI BibTeX RDF
23	Min Fang, Hans Tompits	An Approach for Representing Answer Sets in Natural Language.	DECLARE	2017	DBLP DOI BibTeX RDF
23	Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan	Run-Time Analysis of Temporal Constrained Objects.	DECLARE	2017	DBLP DOI BibTeX RDF
23	Jan Rasmus Tikovsky	Concolic Testing of Functional Logic Programs.	DECLARE	2017	DBLP DOI BibTeX RDF
23	Ke Liu 0006, Sven Löffler, Petra Hofstedt	Hypertree Decomposition: The First Step Towards Parallel Constraint Solving.	DECLARE	2017	DBLP DOI BibTeX RDF
23	Pedro Roque, Vasco Pedro	Constraint Solving on Hybrid Systems.	DECLARE	2017	DBLP DOI BibTeX RDF
23	Jan C. Dageförde, Herbert Kuchen	An Operational Semantics for Constraint-Logic Imperative Programming.	DECLARE	2017	DBLP DOI BibTeX RDF
23	Adel Ferdjoukh	Une approche déclarative pour la génération de modèles. (A Declarative Approach for Model Generation).		2016	RDF
23	Maayan Merhav, Avi Karni, Asaf Gilboa	Not all declarative memories are created equal: Fast Mapping as a direct route to cortical declarative representations.	NeuroImage	2015	DBLP DOI BibTeX RDF
23	Chen Chen 0019, Lay Kuan Loh, Limin Jia 0001, Wenchao Zhou, Boon Thau Loo	Automated verification of safety properties of declarative networking programs.	PPDP	2015	DBLP DOI BibTeX RDF
23	Mauricio Cano, Camilo Rueda, Hugo A. López 0001, Jorge A. Pérez 0001	Declarative interpretations of session-based concurrency.	PPDP	2015	DBLP DOI BibTeX RDF