Search results for "declarative"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Rafael del Vado Vírseda	A higher-order logical framework for the algorithmic debugging and verification of declarative programs.	PPDP	2009	DBLP DOI BibTeX RDF	algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus
71	Peter Bunus, Peter Fritzson	A Debugging Scheme for Declarative Equation Based Modeling Languages.	PADL	2002	DBLP DOI BibTeX RDF	Declarative equation based language, graph decomposition techniques, static analysis, debugging, bipartite graphs, modeling languages, Modelica
65	Amit Chandel, Oktie Hassanzadeh, Nick Koudas, Mohammad Sadoghi, Divesh Srivastava	Benchmarking declarative approximate selection predicates.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	declarative data quality, performance, SQL, accuracy, data cleaning
65	Juan Antonio Navarro Pérez, Andrey Rybalchenko	Operational Semantics for Declarative Networking.	PADL	2009	DBLP DOI BibTeX RDF	distributed systems, programming language semantics, Declarative networking
60	Luiz Fernando Gomes Soares, Rogério Ferreira Rodrigues, Renato Cerqueira, Simone Diniz Junqueira Barbosa	Variable handling in time-based XML declarative languages.	SAC	2009	DBLP DOI BibTeX RDF	variable handling, middleware, digital TV, declarative languages, NCL
60	Bert O. de Brock	Declarative Specifications of Complex Transactions.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF	transaction design, database dynamics, declarative specifications of database behavior, (static and dynamic) integrity constraints, (allowable versus available) transitions, cascading deletes, adaptations, semantics, Transactions, transaction models
59	T. C. Nicholas Graham	Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction.	Declarative Programming	1991	DBLP DOI BibTeX RDF
59	John Darlington, Yike Guo, Helen Pull	A Design Space for Integrating Declarative Languages.	Declarative Programming	1991	DBLP DOI BibTeX RDF
54	Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo	Declarative Debugging of Membership Equational Logic Specifications.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	Maude, functional modules, membership equational logic, declarative debugging
54	Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan 0001, Timothy Roscoe, Ion Stoica	Declarative networking: language, execution and optimization.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	recursive queries, declarative networks
52	Changbin Liu, Ricardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, Yun Mao	Declarative Policy-based Adaptive MANET Routing.	ICNP	2009	DBLP DOI BibTeX RDF
50	Thomas Kunstmann, Martin Frisch, Robert Müller	A Declarative Programming Environment Based on Constraints.	VL	1995	DBLP DOI BibTeX RDF	declarative programming environment, commercial spreadsheets, declarative visual languages, simulation, software engineering, constraints, planning, planning, programming environments, visual programming, visual languages, digital simulation, data visualisation, constraint handling, spreadsheet programs
48	Luiz Fernando Gomes Soares, Marcelo Ferreira Moreno, Francisco Sant'Anna	Relating declarative hypermedia objects and imperative objects through the NCL glue language.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	declarative and imperative code content, glue language, intermedia synchronization, middleware, digital tv, ncl
48	Qing Cao, Tarek F. Abdelzaher, John A. Stankovic, Kamin Whitehouse, Liqian Luo	Declarative tracepoints: a programmable and application independent debugging system for wireless sensor networks.	SenSys	2008	DBLP DOI BibTeX RDF	declarative tracepoints, embedded debugging, wireless sensor networks
48	David Chu, Lucian Popa 0002, Arsalan Tavakoli, Joseph M. Hellerstein, Philip Alexander Levis, Scott Shenker, Ion Stoica	The design and implementation of a declarative sensor network system.	SenSys	2007	DBLP DOI BibTeX RDF	sensor networks, declarative programming
48	Fumiko Tanabe, Ken Mogi	Lability of Reactivated Human Declarative Memory.	ICONIP (1)	2006	DBLP DOI BibTeX RDF	reconsolidation, declarative memory, re-activation, consolidation, long-term memory
48	Tope Omitola	Declarative control of the future home environment.	SAC	2005	DBLP DOI BibTeX RDF	rule-based control, rules, declarative programming, rule-based programming
48	Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof	Declarative workflows to efficiently manage flexible and advanced business processes.	PPDP	2010	DBLP DOI BibTeX RDF	declarative workflow, executable specification language, temporal logic, business process management
48	Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky	Declarative Network Verification.	PADL	2009	DBLP DOI BibTeX RDF	network protocol verification, theorem proving, domain-specific languages, Declarative networking
48	Michael Codish, Samir Genaim, Peter J. Stuckey	A declarative encoding of telecommunications feature subscription in SAT.	PPDP	2009	DBLP DOI BibTeX RDF	sat solving, telecommunications feature subscription, declarative modelling
48	Laleh Mousavi Eshkevari, Venera Arnaoudova, Constantinos Constantinides	Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning.	PADL	2008	DBLP DOI BibTeX RDF	declarative reasoning, AspectJ programming language, static analysis, aspect-oriented programming, Program comprehension, dependency analysis
48	Bernard J. Pope, Lee Naish	Practical aspects of declarative debugging in Haskell 98.	PPDP	2003	DBLP DOI BibTeX RDF	input and output, printing values, declarative debugging, resource usage
48	Chris J. Hinde, Richard J. Reader, Kath Phelps	HIPPO - A Declarative Graphical Modelling System.	PADL	2000	DBLP DOI BibTeX RDF	model, interaction, integrate, software, declarative
48	Carl Schultz 0001, Mehul Bhatt	Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning.	AAAI Workshop: Declarative Learning Based Programming	2016	DBLP BibTeX RDF
48	Martin Mladenov, Danny Heinrich, Leonard Kleinhans, Felix Gonsior, Kristian Kersting	RELOOP: A Python-Embedded Declarative Language for Relational Optimization.	AAAI Workshop: Declarative Learning Based Programming	2016	DBLP BibTeX RDF
48	Tias Guns, Sergey Paramonov 0001, Benjamin Négrevergne	On Declarative Modeling of Structured Pattern Mining.	AAAI Workshop: Declarative Learning Based Programming	2016	DBLP BibTeX RDF
48	Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick	Compilation of Concurrent Declarative Languages.	ICLP Workshop: Integration of Declarative Paradigms	1994	DBLP BibTeX RDF
48	Grzegorz Czajkowski, Andrzej Uszok, Krzysztof Zielinski	Distributed Declarative Systems as Parts of Cooperating Software Environments.	ICLP Workshop: Integration of Declarative Paradigms	1994	DBLP BibTeX RDF
48	Georgios Grivas	Efficient Integration of Declarative Paradigms into Symbolic Computation Systems.	ICLP Workshop: Integration of Declarative Paradigms	1994	DBLP BibTeX RDF
48	Manuel M. T. Chakravarty, Hendrik C. R. Lock	The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms.	ICLP Workshop: Integration of Declarative Paradigms	1994	DBLP BibTeX RDF
48	John Darlington, Roland Dietrich (eds.)	Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991	Declarative Programming	1992	DBLP DOI BibTeX RDF
48	Ed Voermans	Pers as Types, Inductive Types and Types with Laws.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Sophia Drossopoulou, Ross Paterson, Susan Eisenbach	Parameterized Interfaces are Interfaces - AIAS.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Hendrik C. R. Lock	A Systematic Method for Designing Abstract Narrowing Machines.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Roland Olsson 0001	Some Algorithms for Fast and Complete Execution of Logic Programs.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Ross Paterson	A Tiny Functional Language with Logical Features.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Mark Korsloot, Evan Tick	Sequentializing Parallel Programs.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Erik Meijer 0001	More Advice on Proving a Compiler Correct: Improve a Correct Compiler.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Koen Langendoen, Willem G. Vree	Eight Queens Divided: an Experience in Parallel Functional Programming.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Konstantin Läufer, Martin Odersky	Type Classes are Signatures of Abstract Types.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Luís Monteiro, António Porto	Syntactic and Semantic Inheritance in Logic Programming.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Roland Dietrich	How to Use Guarded Functional Programming.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Marc-Michel Corsini, Kaninda Musumbu	Failure Analysis Based on Abstract Interpretation.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Andrew Roy Verden, Hugh Glaser	Intelligent Backtracking in And-Parallel Prolog.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Andreas Kågedal, Feliks Kluzniak	Enriching Prolog with S-Unification.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	P. H. Cheong, Laurent Fribourg	A Survey of the Implementations of Narrowing.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	John Darlington, Yike Guo, Helen Pull	Introducing Constraint Functional Logic Programming.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	David Parrott, Chris D. Clack	A Common Graphical Form.	Declarative Programming	1991	DBLP DOI BibTeX RDF
48	Wolfram Schulte, Wolfgang Grieskamp	Generating Efficient Portable Code for a Strict Applicative Language.	Declarative Programming	1991	DBLP DOI BibTeX RDF
46	Jordi Cabot	From Declarative to Imperative UML/OCL Operation Specifications.	ER	2007	DBLP DOI BibTeX RDF
46	Ian MacLarty, Zoltan Somogyi	Controlling Search Space Materialization in a Practical Declarative Debugger.	PADL	2006	DBLP DOI BibTeX RDF
46	David A. Schmidt	A Return to Elegance: The Reapplication of Declarative Notation to Software Design.	PADL	1999	DBLP DOI BibTeX RDF
44	Ramakrishna Gummadi, Nupur Kothari, Todd D. Millstein, Ramesh Govindan	Declarative failure recovery for sensor networks.	AOSD	2007	DBLP DOI BibTeX RDF	declarative failure recovery, declarative recovery, node-level programming, WSN, wireless sensor networks, checkpointing, recovery, failure, macroprogramming
44	Gary S. H. Tan, Yong Meng Teo	Experiences in simulating a declarative multiprocessor.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	declarative multiprocessor simulation, declarative programming languages, Flagship parallel reduction machine, packet-based graph reduction model, executional units, timing characteristics, event-driven timing scheme, tightly-coupled processor-store pairs, performance evaluation, performance evaluation, parallel architectures, virtual machines, timing, parallel machines, synchronisation, synchronisation, parallel languages, functional languages, functional languages, functional simulator, parallel computer architectures, MIMD architecture, delta network
42	Dieter Gawlick, Muralidhar Krishnaprasad, Zhen Hua Liu	Using the oracle database as a declarative RSS hub.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	XML, event, atom, XQuery, RSS, hub, declarative
42	Maja Pesic, Wil M. P. van der Aalst	A Declarative Approach for Flexible Business Processes Management.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF	declarative model specification, temporal logic, Workflow management, flexibility, dynamic workflow
42	Gianfranco Rossi, Elisabetta Poleo	Javaset: Declarative programming in Java with sets.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	Java, constraint programming, nondeterminism, declarative programming
42	Ghassan Kwaiter	A General Approach to Constraint Solving for Declarative Modeling Domain.	IV	1999	DBLP DOI BibTeX RDF	Hierarchical Constraints and Intervals Propagation, Constraint Satisfaction Problem, Declarative Modeling, Dynamical Constraints
42	Dominique De Vito, Olivier Michel	Effective SIMD Code Generation for the High-Level Declarative Data-Parallel Language 8 1/2.	EUROMICRO	1996	DBLP DOI BibTeX RDF	SIMD code generation, high-level declarative data-parallel language 8 1/2, common control expressions, delay copies, execution scheme, parallel architectures, data-parallelism, SIMD architectures
42	Pascual Julián Iranzo, Clemente Rubio-Manzano	A declarative semantics for Bousi~Prolog.	PPDP	2009	DBLP DOI BibTeX RDF	fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics
42	Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, Raghu Ramakrishnan 0001	Declarative routing: extensible routing with declarative queries.	SIGCOMM	2005	DBLP DOI BibTeX RDF	declarative queries, extensible routing, routing languages
40	Wenchao Zhou, Yun Mao, Boon Thau Loo, Martín Abadi	Unified Declarative Platform for Secure Netwoked Information Systems.	ICDE	2009	DBLP DOI BibTeX RDF
40	Stéphane Grumbach, Jialiang Lu, Wenwu Qu	Self-organization of Wireless Networks Through Declarative Local Communication.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
40	Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge	Plan patterns for declarative goals in AgentSpeak.	AAMAS	2006	DBLP DOI BibTeX RDF
40	Pierre-François Bonnefoi, Dimitri Plemenos, William Ruchaud	Declarative Modelling in Computer Graphics: Current Results and Future Issues.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
40	Rachid Echahed, Wendelin Serwe	Combining Mobile Processes and Declarative Programming.	Computational Logic	2000	DBLP DOI BibTeX RDF
40	Kerry L. Taylor, Paul Brebner, Michael Kearney, Dana Zhang, Kelly Lam, Vladimir Tosic	Towards Declarative Monitoring of Declarative Service Compositions.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
40	Michael Hanus	Putting declarative programming into the web: translating curry to javascript.	PPDP	2007	DBLP DOI BibTeX RDF	user interfaces, javascript, web programming, functional logic programming, curry
40	Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge	Programming Declarative Goals Using Plan Patterns.	DALT	2006	DBLP DOI BibTeX RDF
40	Markus Bohlin	A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints.	INAP/WLP	2004	DBLP DOI BibTeX RDF
37	Ioannis Panagopoulos, Christos Pavlatos, George K. Papakonstantinou	An Embedded Microprocessor for Intelligent Control.	J. Intell. Robotic Syst.	2005	DBLP DOI BibTeX RDF	embedded systems, logic programming, microprocessor, intelligent control, RISC, declarative programs
37	Peter Bollen	Fact-oriented declarative semantic enterprise modeling.	SAC	2010	DBLP DOI BibTeX RDF	conceptual modeling, process modeling, knowledge modeling, enterprise modeling, declarative modeling
37	Pascual Julián, Ginés Moreno, Jaime Penabad	On the Declarative Semantics of Multi-Adjoint Logic Programs.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Herbrand Model, Fuzzy Logic Programming, Declarative Semantics
37	Cyril Concolato, Jean Le Feuvre, Jean-Claude Dufourd	Declarative interfaces for dynamic widgets communications.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	scripting interface, widget, declarative languages, rich media, communication interface
37	Fons Kuijk, Rodrigo Laiola Guimarães, Pablo César, Dick C. A. Bulterman	Adding dynamic visual manipulations to declarative multimedia documents.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	media annotation, pan and zoom, animation, smil, photo sharing, declarative language, content enrichment
37	Georgios Bardis, Georgios Miaoulis, Dimitri Plemenos	8 User Profiling from Imbalanced Data in a Declarative Scene Modelling Environment.	Artificial Intelligence Techniques for Computer Graphics	2008	DBLP DOI BibTeX RDF	Machine Learning, Multi-criteria Decision Making, Declarative Modelling, Imbalanced Datasets
37	Alexander Böhm 0002, Erich Marth, Carl-Christian Kanne	The Demaq system: declarative development of distributed applications.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	demaq, language, xml, queues, messaging, declarative
37	Georgios Bardis, Georgios Miaoulis, Dimitri Plemenos	Design and Configuration of a Machine Learning Component for User Profiling in a Declarative Design Environment.	KES (1)	2006	DBLP DOI BibTeX RDF	Machine Learning, Decision Support, Image Synthesis, Declarative Modelling
37	Hilderick A. van der Meiden, Willem F. Bronsvoort	Solving topological constraints for declarative families of objects.	Symposium on Solid and Physical Modeling	2006	DBLP DOI BibTeX RDF	families of objects, parametric and feature-based modelling, satisfiability, declarative specification, topological constraints
37	Lunjin Lu	Use of correctness assertions in declarative diagnosis.	SAC	2005	DBLP DOI BibTeX RDF	correctness assertions, declarative diagnosis, logic programs
37	Ian MacLarty, Zoltan Somogyi, Mark Brown	Divide-and-query and subterm dependency tracking in the mercury declarative debugger.	AADEBUG	2005	DBLP DOI BibTeX RDF	algorithmic debugging, divide-and-query, program slicing, declarative debugging
37	Rafael Caballero 0001	A declarative debugger of incorrect answers for constraint functional-logic programs.	WCFLP	2005	DBLP DOI BibTeX RDF	functional-logic languages, declarative debugging
37	Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer	Semantics of declarative goals in agent programming.	AAMAS	2005	DBLP DOI BibTeX RDF	semantics, default logic, agent programming languages, declarative goals
37	Helle Markmann Andersen, Ulrik Pagh Schultz	Declarative specialization for object-oriented-program specialization.	PEPM	2004	DBLP DOI BibTeX RDF	declarative specialization, Java, partial evaluation
37	Massimo Marchi, Alessandra Mileo, Alessandro Provetti	Specification and Execution of Declarative Policies for Grid Service Selection.	ECOWS	2004	DBLP DOI BibTeX RDF	Declarative Policies, Customization, Grid Services, User preferences, Answer Set Programming
37	Vilas Wuwongse, Ekawit Nantajeewarawat	Declarative Programs with Implicit Implications.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	implicit implication, deductive object-oriented database, taxonomy, Declarative program, subsumption, fixpoint semantics, model-theoretic semantics
37	Tom Mens, Tom Tourwé	A Declarative Evolution Framework for Object-Oriented Design Patterns.	ICSM	2001	DBLP DOI BibTeX RDF	declarative reasoning, evolution conflict, design patterns, refactoring, software evolution, meta programming, software transformation
37	Mary F. Fernández, Daniela Florescu, Alon Y. Levy, Dan Suciu	Declarative Specification of Web Sites with Strudel.	VLDB J.	2000	DBLP DOI BibTeX RDF	Declarative query languages, Web-site management
36	David De Roure	Introducing the Declarative Dungeon.	PLILP	1997	DBLP DOI BibTeX RDF	EuLisp, Scheme, declarative languages, MUD
36	Pedro López-García 0001, John P. Gallagher, Roberto Giacobazzi (eds.)	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
36	Jan C. Dageförde, Herbert Kuchen	Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
36	Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido, Javier Sagredo	SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
36	María Alpuente, Alicia Villanueva	Automated Synthesis of Software Contracts with KindSpec.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
36	Enric Trillas	A Discourse on Guessing and Reasoning.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
36	María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo	The Role of Abstraction in Model Checking.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
36	María Alpuente, Demis Ballis, Santiago Escobar 0001, José Meseguer 0001, Julia Sapiña	Optimizing Maude Programs via Program Specialization.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
36	Germán Vidal	Reversible Debugging in Logic Programming.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
36	Alexandre Miguel Pinto, Luís Moniz Pereira	Modularization of Logic Programs.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
36	Elmer Salazar, Gopal Gupta 0001	Proof-Theoretic Foundations of Normal Logic Programs.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
36	Martin Wirsing, Lenz Belzner	Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF