Search results for "meta-programming"

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