Search results for "metavariables"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Makoto Hamana	Free S-Monoids: A Higher-Order Syntax with Metavariables.	APLAS	2004	DBLP DOI BibTeX RDF
58	Amy P. Felty, Douglas J. Howe	Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables.	CADE	1994	DBLP DOI BibTeX RDF
44	Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren	A lightweight approach to datatype-generic rewriting.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	term rewriting, datatype-generic programming
36	Bernd R. Schuh	Logical Primes, Metavariables and Satisfiability	CoRR	2009	DBLP BibTeX RDF
36	Moussa Demba, Khaled Bsaïes	Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence.	JFPLC	2002	DBLP BibTeX RDF
36	Raymond G. Nickson, Lindsay J. Groves	Metavariables and Conditional Refinements in the Refinement Calculus.	Refine	1994	DBLP DOI BibTeX RDF
36	Tim Clement	Using Metavariables in Natural Deduction Proofs.	Refine	1992	DBLP DOI BibTeX RDF
36	Claudio Sacerdoti Coen, Stefano Zacchiroli	Spurious Disambiguation Errors and How to Get Rid of Them.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	metavariables, user interaction, Ambiguity, semantic analysis
22	Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi	Calculi of meta-variables.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	meta-variable, context, ?-calculus, logical framework
22	Julien Forest, Delia Kesner	Expression Reduction Systems with Patterns.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Expression reduction systems, Higher-order rewriting, Pattern matching
22	Jason Reed 0001	Extending Higher-Order Unification to Support Proof Irrelevance.	TPHOLs	2003	DBLP DOI BibTeX RDF
22	Janna Khegai, Bengt Nordström, Aarne Ranta	Multilingual Syntax Editing in GF.	CICLing	2003	DBLP DOI BibTeX RDF
22	Thomas Hallgren, Aarne Ranta	An Extensible Proof Text Editor.	LPAR	2000	DBLP DOI BibTeX RDF
22	Henning Christiansen 0001	Open Theories and Abduction for Context and Accommodation.	CONTEXT	1999	DBLP DOI BibTeX RDF
22	Andreas Hamfelt, Jørgen Fischer Nilsson	Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes.	LOPSTR	1998	DBLP DOI BibTeX RDF	logic program schemata, logical combinators, synthesis by composition and specialization of schemas, inductive synthesis, metalogic program environment
22	Amy P. Felty, Douglas J. Howe	Generalization and Reuse of Tactic Proofs.	LPAR	1994	DBLP DOI BibTeX RDF
22	Paul Tarau	Program Transformations and WAM-Support for the Compilation of Definite Metaprograms.	RCLP	1991	DBLP DOI BibTeX RDF