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 |
PLILP |
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. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Christopher Dutchyn |
Specializing continuations a model for dynamic join points. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Henning Christiansen 0001 |
On the Implementation of Global Abduction. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Michael Hanus |
A generic analysis environment for declarative programs. |
WCFLP |
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. |
CASC |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Davide Ancona, Eugenio Moggi |
Program Generation and Components. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama |
Quiescence Detection in a Distributed KLIC Implementation. |
Euro-Par |
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. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
6 | Eva Magnusson, Torbjörn Ekman 0001, Görel Hedin |
Demand-driven evaluation of collection attributes. |
Autom. Softw. Eng. |
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. |
Intelligent Tutoring Systems |
2006 |
DBLP DOI BibTeX RDF |
|
6 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Statically Safe Program Generation with SafeGen. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Erich L. Kaltofen, Dmitriy Morozov, George Yuhasz |
Generic matrix multiplication and memory management in linBox. |
ISSAC |
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. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
6 | João M. B. Cavalcanti, David Robertson |
Web Site Synthesis Based on Computational Logic. |
Knowl. Inf. Syst. |
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. |
IFL |
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. |
Domain-Specific Program Generation |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Tom Tourwé, Tom Mens |
Identifying Refactoring Opportunities Using Logic Meta Programmin. |
CSMR |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Genoveva Vargas-Solar, Christine Collet |
ADEES: An Adaptable and Extensible Event Based Infrastructure. |
DEXA |
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. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Guizhen Yang, Michael Kifer |
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Jean-Daniel Nicolet |
Generic Visitor Framework Computing Statistical Estimators. |
GCSE |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Nicolas Beldiceanu, Mats Carlsson |
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Kostas Kontogiannis, Richard Gregory 0002 |
Customizable Service Integration in Web-Enabled Environments. |
EDO |
2000 |
DBLP DOI BibTeX RDF |
|
6 | Daniel Cabeza Gras, Manuel V. Hermenegildo |
A New Module System for Prolog. |
Computational Logic |
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. |
TOOLS (31) |
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] |