Search results for "metalanguages"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Jeremy G. Siek	General purpose languages should be metalanguages.	PEPM	2010	DBLP DOI BibTeX RDF	domain-specific embedded languages, reflection, metaprogramming, multi-stage programming
101	Todd L. Veldhuizen	Parsimony principles for software components and metalanguages.	GPCE	2007	DBLP DOI BibTeX RDF
46	Lois W. Harper, Harry S. Delugach	Using Conceptual Graphs to Capture Semantics of Agent Communication.	ICCS	2003	DBLP DOI BibTeX RDF
32	Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama	From reversible programming languages to reversible metalanguages.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
32	Jean-Marc Jézéquel, Benoît Combemale, Olivier Barais, Martin Monperrus, François Fouquet	Mashup of metalanguages and its implementation in the Kermeta language workbench.	Softw. Syst. Model.	2015	DBLP DOI BibTeX RDF
32	Miklós Kálmán	Validating Documents of Web-based Metalanguages Using Semantic Rules		2014	RDF
32	B. J. Arnoldus, M. G. J. van den Brand, Alexander Serebrenik	Less is more: unparser-completeness of metalanguages for template engines.	GPCE	2011	DBLP DOI BibTeX RDF
32	Andreas Abel 0001, Christian Urban (eds.)	Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008	LFMTP@LICS	2009	DBLP BibTeX RDF
32	Aaron Stump	Proof Checking Technology for Satisfiability Modulo Theories.	LFMTP@LICS	2008	DBLP DOI BibTeX RDF
32	Jana Dunfield, Brigitte Pientka	Case Analysis of Higher-Order Data.	LFMTP@LICS	2008	DBLP DOI BibTeX RDF
32	Andrew Gacek, Dale Miller 0001, Gopalan Nadathur	Reasoning in Abella about Structural Operational Semantics Specifications.	LFMTP@LICS	2008	DBLP DOI BibTeX RDF
32	James Cheney	A Simple Nominal Type Theory.	LFMTP@LICS	2008	DBLP DOI BibTeX RDF
32	Karl Crary	Explicit Contexts in LF (Extended Abstract).	LFMTP@LICS	2008	DBLP DOI BibTeX RDF
32	Daniel Leivant	Inductive Completeness of Logics of Programs.	LFMTP@LICS	2008	DBLP DOI BibTeX RDF
32	Alwen Tiu	On the Role of Names in Reasoning about lambda-tree Syntax Specifications.	LFMTP@LICS	2008	DBLP DOI BibTeX RDF
32	James Chapman 0001	Type Theory Should Eat Itself.	LFMTP@LICS	2008	DBLP DOI BibTeX RDF
32	Adam Poswolsky, Carsten Schürmann	System Description: Delphin - A Functional Programming Language for Deductive Systems.	LFMTP@LICS	2008	DBLP DOI BibTeX RDF
32	David Baelde	On the Expressivity of Minimal Generic Quantification.	LFMTP@LICS	2008	DBLP DOI BibTeX RDF
32	Andreas Abel 0001, Christian Urban	Preface.	LFMTP@LICS	2008	DBLP DOI BibTeX RDF
32	Todd L. Veldhuizen	Parsimony Principles for Software Components and Metalanguages	CoRR	2007	DBLP BibTeX RDF
32	Gérard P. Huet	Special issue on 'Logical frameworks and metalanguages'.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
32	David A. Basin, Amy P. Felty	Current Trends in Logical Frameworks and Metalanguages.	J. Autom. Reason.	2001	DBLP DOI BibTeX RDF
32	David DeVidi, Graham Solomon	Tarski on "essentially richer" metalanguages.	J. Philos. Log.	1999	DBLP DOI BibTeX RDF
32	David DeVidi, Graham Solomon	Tolerance and metalanguages in Carnap'sLogical Syntax of Language.	Synth.	1995	DBLP DOI BibTeX RDF
32	Barbara S. Isa, R. James Evey, Bernard W. McVey, Alan S. Neal	An Empirical Comparison of Two Metalanguages.	Int. J. Man Mach. Stud.	1985	DBLP DOI BibTeX RDF
31	Todd L. Veldhuizen	Tradeoffs in metaprogramming.	PEPM	2006	DBLP DOI BibTeX RDF	program generators, metaprogramming, metalanguages
31	Marino Miculan, Ivan Scagnetto	A framework for typed HOAS and semantics.	PPDP	2003	DBLP DOI BibTeX RDF	categorical metamodels, metalanguages for syntax and semantics of languages, presheaf categories, typed abstract syntax with variable binding, initial algebra semantics
31	Gopalan Nadathur, Xiaochu Qi	Explicit substitutions in the reduction of lambda terms.	PPDP	2003	DBLP DOI BibTeX RDF	beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages
23	Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa	Ott: effective tool support for the working semanticist.	ICFP	2007	DBLP DOI BibTeX RDF
23	Eugenio Moggi, Sonia Fagorzi	A Monadic Multi-stage Metalanguage.	FoSSaCS	2003	DBLP DOI BibTeX RDF
23	Nick Benton, John Hughes 0001, Eugenio Moggi	Monads and Effects.	APPSEM	2000	DBLP DOI BibTeX RDF
23	Piero A. Bonatti, Sarit Kraus, José Salinas, V. S. Subrahmanian	Data-Security in Heterogeneous Agent Systems.	CIA	1998	DBLP DOI BibTeX RDF
23	Andrzej Blikle	Three-Valued Predicates for Software Specification and Validation.	VDM Europe	1988	DBLP DOI BibTeX RDF
23	Jürgen Albert, Lutz M. Wegner	Languages with Homomorphic Replacements.	ICALP	1980	DBLP DOI BibTeX RDF