Results
Found 326 publication records. Showing 326 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | John Hatcliff |
Mechanically Verifying the Correctness of an Offline Partial Evaluator ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, pp. 279-298, 1995, Springer, 3-540-60359-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
8 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla |
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 124-139, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Christopher Dutchyn |
Specializing continuations a model for dynamic join points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007, pp. 45-57, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Henning Christiansen 0001 |
On the Implementation of Global Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers, pp. 226-245, 2006, Springer, 978-3-540-69618-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Michael Hanus |
A generic analysis environment for declarative 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. 43-48, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
program analysis, programming environments, functional logic programming |
8 | David G. Richardson, Werner Krandick |
Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 330-343, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Davide Ancona, Eugenio Moggi |
Program Generation and Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures, pp. 222-250, 2004, Springer, 3-540-29131-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama |
Quiescence Detection in a Distributed KLIC Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings, pp. 539-551, 1995, Springer, 3-540-60247-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
quiescence detection, distributed implementation, weighted reference counting, termination detection, concurrent logic programming |
8 | Alain Hui-Bon-Hoa |
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 326-340, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
6 | Eva Magnusson, Torbjörn Ekman 0001, Görel Hedin |
Demand-driven evaluation of collection attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 16(2), pp. 291-322, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Collection attributes, Circular attributes, Fixed-point computations, Attribute grammars, Source code analysis |
6 | Eric Wang, Yong Se Kim |
A Teaching Strategies Engine Using Translation from SWRL to Jess. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006, Proceedings, pp. 51-60, 2006, Springer, 3-540-35159-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Statically Safe Program Generation with SafeGen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings, pp. 309-326, 2005, Springer, 3-540-29138-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Erich L. Kaltofen, Dmitriy Morozov, George Yuhasz |
Generic matrix multiplication and memory management in linBox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pp. 216-223, 2005, ACM, 1-59593-095-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
C++ allocator, exact linear algebra, garbage collection, memory management, system integration, C++ templates, black box matrix |
6 | Bruno Buchberger |
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 236-250, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | João M. B. Cavalcanti, David Robertson |
Web Site Synthesis Based on Computational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 5(3), pp. 263-287, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Web site application, Computational logic, Automated synthesis |
6 | André T. H. Pang, Manuel M. T. Chakravarty |
Interfacing Haskell with Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 20-35, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Kevin Hammond, Greg Michaelson |
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain-Specific Program Generation ![In: Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers, pp. 127-142, 2003, Springer, 3-540-22119-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Tom Tourwé, Tom Mens |
Identifying Refactoring Opportunities Using Logic Meta Programmin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 26-28 March 2003, Benevento, Italy, Proceedings, pp. 91-100, 2003, IEEE Computer Society, 0-7695-1902-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Genoveva Vargas-Solar, Christine Collet |
ADEES: An Adaptable and Extensible Event Based Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 13th International Conference, DEXA 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings, pp. 423-432, 2002, Springer, 3-540-44126-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Ryuzo Hasegawa, Hiroshi Fujita 0002, Miyuki Koshimura, Yasuyuki Shirai |
A Model Generation Based Theorem Prover MGTP for First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic: Logic Programming and Beyond ![In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp. 178-213, 2002, Springer, 3-540-43960-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Guizhen Yang, Michael Kifer |
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings, pp. 1013-1032, 2002, Springer, 3-540-00106-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Jean-Daniel Nicolet |
Generic Visitor Framework Computing Statistical Estimators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCSE ![In: Generative and Component-Based Software Engineering, Third International Conference, GCSE 2001, Erfurt, Germany, September 9-13, 2001, Proceedings, pp. 92-105, 2001, Springer, 3-540-42546-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Nicolas Beldiceanu, Mats Carlsson |
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 59-73, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Kostas Kontogiannis, Richard Gregory 0002 |
Customizable Service Integration in Web-Enabled Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDO ![In: Engineering Distributed Objects, Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000, Revised Papers, pp. 235-252, 2000, Springer, 3-540-41792-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
6 | Daniel Cabeza Gras, Manuel V. Hermenegildo |
A New Module System for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 131-148, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation |
6 | Thomas Genssler, Welf Löwe |
Correct Composition of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 296-305, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Aspect Separation, Components, Efficiency, Compatibility, Connectors |
Displaying result #301 - #326 of 326 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4] |