|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3893 occurrences of 1736 keywords
|
|
|
Results
Found 6459 publication records. Showing 6459 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 49-60, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 280-298, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 353-364, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 76-90, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1821-1828, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
variable handling, middleware, digital TV, declarative languages, NCL |
60 | Bert O. de Brock |
Declarative Specifications of Complex Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO - Selected Papers ![In: Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers, pp. 150-166, 1999, Springer, 3-540-67201-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 83-100, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
59 | John Darlington, Yike Guo, Helen Pull |
A Design Space for Integrating Declarative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 3-19, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 174-193, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 27-29, 2006, pp. 97-108, 2006, ACM, 1-59593-256-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Proceedings of the 17th annual IEEE International Conference on Network Protocols, 2009. ICNP 2009, Princeton, NJ, USA, 13-16 October 2009, pp. 354-363, 2009, IEEE Computer Society, 978-1-4244-4634-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Thomas Kunstmann, Martin Frisch, Robert Müller |
A Declarative Programming Environment Based on Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 120-121, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2009 ACM Symposium on Document Engineering, Munich, Germany, September 16-18, 2009, pp. 222-230, 2009, ACM, 978-1-60558-575-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, SenSys 2008, Raleigh, NC, USA, November 5-7, 2008, pp. 85-98, 2008, ACM, 978-1-59593-990-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, SenSys 2007, Sydney, NSW, Australia, November 6-9, 2007, pp. 175-188, 2007, ACM, 978-1-59593-763-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, declarative programming |
48 | Fumiko Tanabe, Ken Mogi |
Lability of Reactivated Human Declarative Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part I, pp. 147-154, 2006, Springer, 3-540-46479-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
reconsolidation, declarative memory, re-activation, consolidation, long-term memory |
48 | Tope Omitola |
Declarative control of the future home environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1626-1627, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 209-218, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 61-75, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 255-266, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 35-52, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 230-240, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings, pp. 154-168, 2000, Springer, 3-540-66992-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Workshop: Declarative Learning Based Programming ![In: Declarative Learning Based Programming, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016., 2016, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
48 | Martin Mladenov, Danny Heinrich, Leonard Kleinhans, Felix Gonsior, Kristian Kersting |
RELOOP: A Python-Embedded Declarative Language for Relational Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Workshop: Declarative Learning Based Programming ![In: Declarative Learning Based Programming, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016., 2016, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
48 | Tias Guns, Sergey Paramonov 0001, Benjamin Négrevergne |
On Declarative Modeling of Structured Pattern Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Workshop: Declarative Learning Based Programming ![In: Declarative Learning Based Programming, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016., 2016, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
48 | Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick |
Compilation of Concurrent Declarative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Integration of Declarative Paradigms ![In: Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994, pp. 120-134, 1994, Max-Planck-Institut für Informatik, Saarbrücken, Germany. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
48 | Grzegorz Czajkowski, Andrzej Uszok, Krzysztof Zielinski |
Distributed Declarative Systems as Parts of Cooperating Software Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Integration of Declarative Paradigms ![In: Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994, pp. 135-, 1994, Max-Planck-Institut für Informatik, Saarbrücken, Germany. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
48 | Georgios Grivas |
Efficient Integration of Declarative Paradigms into Symbolic Computation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Integration of Declarative Paradigms ![In: Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994, pp. 94-105, 1994, Max-Planck-Institut für Informatik, Saarbrücken, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Integration of Declarative Paradigms ![In: Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994, pp. 61-75, 1994, Max-Planck-Institut für Informatik, Saarbrücken, Germany. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![Springer, 3-540-19735-4 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
48 | Ed Voermans |
Pers as Types, Inductive Types and Types with Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 274-291, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Sophia Drossopoulou, Ross Paterson, Susan Eisenbach |
Parameterized Interfaces are Interfaces - AIAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 133-147, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Hendrik C. R. Lock |
A Systematic Method for Designing Abstract Narrowing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 188-203, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Roland Olsson 0001 |
Some Algorithms for Fast and Complete Execution of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 204-223, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Ross Paterson |
A Tiny Functional Language with Logical Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 66-79, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Mark Korsloot, Evan Tick |
Sequentializing Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 310-324, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Erik Meijer 0001 |
More Advice on Proving a Compiler Correct: Improve a Correct Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 255-273, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Koen Langendoen, Willem G. Vree |
Eight Queens Divided: an Experience in Parallel Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 101-115, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Konstantin Läufer, Martin Odersky |
Type Classes are Signatures of Abstract Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 148-162, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Luís Monteiro, António Porto |
Syntactic and Semantic Inheritance in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 163-173, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Roland Dietrich |
How to Use Guarded Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 35-50, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Marc-Michel Corsini, Kaninda Musumbu |
Failure Analysis Based on Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 295-309, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Andrew Roy Verden, Hugh Glaser |
Intelligent Backtracking in And-Parallel Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 116-130, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Andreas Kågedal, Feliks Kluzniak |
Enriching Prolog with S-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 51-65, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | P. H. Cheong, Laurent Fribourg |
A Survey of the Implementations of Narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 177-187, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | John Darlington, Yike Guo, Helen Pull |
Introducing Constraint Functional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 20-34, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | David Parrott, Chris D. Clack |
A Common Graphical Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 224-238, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Wolfram Schulte, Wolfgang Grieskamp |
Generating Efficient Portable Code for a Strict Applicative Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Declarative Programming ![In: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, pp. 239-252, 1991, Springer, 3-540-19735-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
46 | Jordi Cabot |
From Declarative to Imperative UML/OCL Operation Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2007, 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings, pp. 198-213, 2007, Springer, 978-3-540-75562-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Ian MacLarty, Zoltan Somogyi |
Controlling Search Space Materialization in a Practical Declarative Debugger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings, pp. 31-44, 2006, Springer, 3-540-30947-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | David A. Schmidt |
A Return to Elegance: The Reapplication of Declarative Notation to Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings, pp. 360-364, 1999, Springer, 3-540-65527-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Ramakrishna Gummadi, Nupur Kothari, Todd D. Millstein, Ramesh Govindan |
Declarative failure recovery for sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 173-184, 2007, ACM, 1-59593-615-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 95-104, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 27-29, 2006, pp. 722, 2006, ACM, 1-59593-256-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings, pp. 169-180, 2006, Springer, 3-540-38444-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the First Conference on Computing Frontiers, 2004, Ischia, Italy, April 14-16, 2004, pp. 2-11, 2004, ACM, 1-58113-741-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Java, constraint programming, nondeterminism, declarative programming |
42 | Ghassan Kwaiter |
A General Approach to Constraint Solving for Declarative Modeling Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 1999, London, England, UK, July 14-16, 1999, pp. 424-433, 1999, IEEE Computer Society, 0-7695-0210-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 114-119, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 149-160, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2005 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Philadelphia, Pennsylvania, USA, August 22-26, 2005, pp. 289-300, 2005, ACM, 1-59593-009-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, pp. 150-161, 2009, IEEE Computer Society, 978-0-7695-3545-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Stéphane Grumbach, Jialiang Lu, Wenwu Qu |
Self-organization of Wireless Networks Through Declarative Local Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, pp. 497-506, 2007, Springer, 978-3-540-76887-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge |
Plan patterns for declarative goals in AgentSpeak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 1291-1293, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Pierre-François Bonnefoi, Dimitri Plemenos, William Ruchaud |
Declarative Modelling in Computer Graphics: Current Results and Future Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV, pp. 80-89, 2004, Springer, 3-540-22129-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Rachid Echahed, Wendelin Serwe |
Combining Mobile Processes and Declarative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 300-314, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 23rd International Conference on Data Engineering Workshops, ICDE 2007, 15-20 April 2007, Istanbul, Turkey, pp. 315-322, 2007, IEEE Computer Society, 978-1-4244-0831-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Michael Hanus |
Putting declarative programming into the web: translating curry to javascript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland, pp. 155-166, 2007, ACM, 978-1-59593-769-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers, pp. 123-140, 2006, Springer, 3-540-68959-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Markus Bohlin |
A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 166-184, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Ioannis Panagopoulos, Christos Pavlatos, George K. Papakonstantinou |
An Embedded Microprocessor for Intelligent Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 42(2), pp. 179-211, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
embedded systems, logic programming, microprocessor, intelligent control, RISC, declarative programs |
37 | Peter Bollen |
Fact-oriented declarative semantic enterprise modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 167-168, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 253-260, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2009 ACM Symposium on Document Engineering, Munich, Germany, September 16-18, 2009, pp. 241-244, 2009, ACM, 978-1-60558-575-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2009 ACM Symposium on Document Engineering, Munich, Germany, September 16-18, 2009, pp. 149-152, 2009, ACM, 978-1-60558-575-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence Techniques for Computer Graphics ![In: Artificial Intelligence Techniques for Computer Graphics, pp. 123-140, 2008, Springer, 978-3-540-85127-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008, pp. 1311-1314, 2008, ACM, 978-1-60558-102-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part I, pp. 425-434, 2006, Springer, 3-540-46535-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the ACM Symposium on Solid and Physical Modeling 2006, Cardiff University, Wales, UK, June 6-8, 2006, pp. 63-71, 2006, ACM, 1-59593-358-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1404-1408, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 59-68, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![In: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, pp. 8-13, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 133-140, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, pp. 27-38, 2004, ACM, 1-58113-835-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOWS ![In: Web Services, European Conference, ECOWS 2004, Erfurt, Germany, September 27-30, 2004, Proceedings, pp. 102-115, 2004, Springer, 3-540-23202-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(4), pp. 836-849, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 570-579, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 9(1), pp. 38-55, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Declarative query languages, Web-site management |
36 | David De Roure |
Introducing the Declarative Dungeon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, pp. 407-417, 1997, Springer, 3-540-63398-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![Springer, 978-3-031-31475-9 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Jan C. Dageförde, Herbert Kuchen |
Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 97-112, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 188-205, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | María Alpuente, Alicia Villanueva |
Automated Synthesis of Software Contracts with KindSpec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 51-71, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Enric Trillas |
A Discourse on Guessing and Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 253-265, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo |
The Role of Abstraction in Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 151-169, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 21-50, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Germán Vidal |
Reversible Debugging in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 266-280, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Alexandre Miguel Pinto, Luís Moniz Pereira |
Modularization of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 222-232, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Elmer Salazar, Gopal Gupta 0001 |
Proof-Theoretic Foundations of Normal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 233-252, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Martin Wirsing, Lenz Belzner |
Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 281-306, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 6459 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|