Search results for "meta-languages"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
64	Liping Mu, Terje Gjøsæter, Andreas Prinz 0001, Merete Skjelten Tveit	Specification of modelling languages in a flexible meta-model architecture.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	meta-model architecture, MDA
45	Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel	Weaving Executability into Object-Oriented Meta-languages.	MoDELS	2005	DBLP DOI BibTeX RDF
41	Stéphane Ducasse, Tudor Gîrba	Using Smalltalk as a Reflective Executable Meta-language.	MoDELS	2006	DBLP DOI BibTeX RDF	meta behavior description, reflective language, Smalltalk
34	Stéphane Ducasse, Tudor Gîrba, Adrian Kuhn, Lukas Renggli	Meta-environment and executable meta-language using smalltalk: an experience report.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Meta behavior description, Reflective language, Executable modeling language, Smalltalk
34	Hanne Riis Nielson, Flemming Nielson	Pragmatic Aspects of Two-Level Denotational Meta-Languages.	ESOP	1986	DBLP DOI BibTeX RDF
33	Wade Holst	Meta: a universal meta-language for augmenting and unifying language families, featuring meta(oopl) for object-oriented programming languages.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	language interoperability, object-oriented, language design, meta-programming, meta-languages
29	Eric Van Wyk	Meta Languages in Algebraic Compilers.	AMAST	2000	DBLP DOI BibTeX RDF
27	Eelco Visser	Meta-programming with Concrete Object Syntax.	GPCE	2002	DBLP DOI BibTeX RDF
25	Carsten Schürmann	Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.	FLOPS	2004	DBLP DOI BibTeX RDF
20	Peter D. Mosses	Engineering meta-languages for specifying software languages (keynote).	SLE	2017	DBLP DOI BibTeX RDF
20	Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds 0001, Michael Fisher 0001	Languages, Meta-languages and METATEM, A Discussion Paper.	Log. J. IGPL	1996	DBLP DOI BibTeX RDF
19	Henning Christiansen 0001	Adaptable Grammars for Non-Context-Free Languages.	IWANN (1)	2009	DBLP DOI BibTeX RDF
17	Raymond Flood, Bob Lockhart	Teaching programming collaboratively.	ITiCSE	2005	DBLP DOI BibTeX RDF	classroom dialogue, teaching programming concepts, collaborative learning, problem-based learning, meta-languages
17	Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis	The OsMoSys approach to multi-formalism modeling of systems.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Multi-formalism modeling, Object orientation, Compositionality, Meta-languages
17	Judith Levenson, Frank Helwig	The META compiler.	Commun. ACM	1961	DBLP DOI BibTeX RDF	compilers, programming languages, meta languages
16	Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	A semantic framework for metamodel-based languages.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Semantic (meta-)hooking, Weaving behaviour, Formal methods, Metamodelling, Model driven engineering, Abstract state machines, Model-based development, Language semantics
13	Peter D. Mosses	Online Name-Based Navigation for Software Meta-languages.	CoRR	2023	DBLP DOI BibTeX RDF
13	Alberto Ciaffaglione, Carlos Olarte (eds.)	Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023.	LFMTP@FSCD	2023	DBLP DOI BibTeX RDF
13	Peter D. Mosses	Online Name-Based Navigation for Software Meta-languages.	SLE	2023	DBLP DOI BibTeX RDF
13	Antoine Gaulin, Brigitte Pientka	Contextual Refinement Types.	LFMTP@FSCD	2023	DBLP DOI BibTeX RDF
13	James T. Oswald, Brandon Rozek	Parallel Verification of Natural Deduction Proof Graphs.	LFMTP@FSCD	2023	DBLP DOI BibTeX RDF
13	Félix Castro	An Interpretation of E-HAw inside HAw.	LFMTP@FSCD	2023	DBLP DOI BibTeX RDF
13	Johanna Schwartzentruber, Brigitte Pientka	Semi-Automation of Meta-Theoretic Proofs in Beluga.	LFMTP@FSCD	2023	DBLP DOI BibTeX RDF
13	Claudio Sacerdoti Coen, Alwen Tiu (eds.)	Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020, Paris, France, 29th June 2020.	LFMTP	2021	DBLP DOI BibTeX RDF
13	Elaine Pimentel, Enrico Tassi (eds.)	Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021.	LFMTP	2021	DBLP DOI BibTeX RDF
13	Giselle Reis	Facilitating Meta-Theory Reasoning (Invited Paper).	LFMTP	2021	DBLP DOI BibTeX RDF
13	Matthieu Sozeau	Touring the MetaCoq Project (Invited Paper).	LFMTP	2021	DBLP DOI BibTeX RDF
13	Johannes Schoisswohl, Laura Kovács	Automating Induction by Reflection.	LFMTP	2021	DBLP DOI BibTeX RDF
13	Gilles Dowek	Interacting Safely with an Unsafe Environment.	LFMTP	2021	DBLP DOI BibTeX RDF
13	Laila El-Beheiry, Giselle Reis, Ammar Karkour	SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts.	LFMTP	2021	DBLP DOI BibTeX RDF
13	Mary Southern, Gopalan Nadathur	Adelfa: A System for Reasoning about LF Specifications.	LFMTP	2021	DBLP DOI BibTeX RDF
13	Qinxiang Cao, Xiwei Wu	Countability of Inductive Types Formalized in the Object-Logic Level.	LFMTP	2021	DBLP DOI BibTeX RDF
13	Florian Rabe 0001, Navid Roux	Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style.	LFMTP	2021	DBLP DOI BibTeX RDF
13	Dennis Müller 0001, Florian Rabe 0001, Colin Rothgang, Michael Kohlhase	Representing Structural Language Features in Formal Meta-languages.	CICM	2020	DBLP DOI BibTeX RDF
13	Arve Gengelbach, Johannes Åman Pohjola, Tjark Weber	Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading.	LFMTP	2020	DBLP DOI BibTeX RDF
13	Petros Papapanagiotou, Jacques D. Fleuriot	Object-Level Reasoning with Logics Encoded in HOL Light.	LFMTP	2020	DBLP DOI BibTeX RDF
13	Bruno Barras, Valentin Maestracci	Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory.	LFMTP	2020	DBLP DOI BibTeX RDF
13	Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger	Deductive Systems and Coherence for Skew Prounital Closed Categories.	LFMTP	2020	DBLP DOI BibTeX RDF
13	Dale Miller 0001, Ivan Scagnetto (eds.)	Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019.	LFMTP@LICS	2019	DBLP DOI BibTeX RDF
13	Michael Kohlhase, Jan Frederik Schaefer	GF + MMT = GLF - From Language to Semantics through LF.	LFMTP@LICS	2019	DBLP DOI BibTeX RDF
13	Aaron Stump	A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille.	LFMTP@LICS	2019	DBLP DOI BibTeX RDF
13	Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa	A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning.	LFMTP@LICS	2019	DBLP DOI BibTeX RDF
13	Dennis Müller 0001, Florian Rabe 0001	Rapid Prototyping Formal Systems in MMT: 5 Case Studies.	LFMTP@LICS	2019	DBLP DOI BibTeX RDF
13	Iliano Cervesato, Kaustuv Chaudhuri	Preface - Special Issue on Logical Frameworks and Meta-Languages 2015.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Frédéric Blanqui, Giselle Reis (eds.)	Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018.	LFMTP@FSCD	2018	DBLP DOI BibTeX RDF
13	Rainer Koschke, Urs-Bjorn Schmidt, Bernhard J. Berger	[Engineering Paper] Built-in Clone Detection in Meta Languages.	SCAM	2018	DBLP DOI BibTeX RDF
13	François Thiré	Sharing a Library between Proof Assistants: Reaching out to the HOL Family.	LFMTP@FSCD	2018	DBLP DOI BibTeX RDF
13	Ernesto Copello, Nora Szasz, Álvaro Tasistro	Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders.	LFMTP@FSCD	2018	DBLP DOI BibTeX RDF
13	Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou (Favonia), Robert Harper 0001, Jonathan Sterling	The RedPRL Proof Assistant (Invited Paper).	LFMTP@FSCD	2018	DBLP DOI BibTeX RDF
13	Rodolphe Lepigre, Christophe Raffalli	Abstract Representation of Binders in OCaml using the Bindlib Library.	LFMTP@FSCD	2018	DBLP DOI BibTeX RDF
13	Martín Copes, Nora Szasz, Álvaro Tasistro	Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution.	LFMTP@FSCD	2018	DBLP DOI BibTeX RDF
13	Alexander Lier, Kai Selgrad, Marc Stamminger	DIY Meta Languages with Common Lisp.	ELS	2017	DBLP BibTeX RDF
13	Gabriël Konat, Sebastian Erdweg, Eelco Visser	Bootstrapping domain-specific meta-languages in language workbenches.	GPCE	2016	DBLP DOI BibTeX RDF
13	Gilles Dowek, Daniel R. Licata, Sandra Alves (eds.)	Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016	LFMTP	2016	DBLP DOI BibTeX RDF
13	Cvetan Dunchev, Claudio Sacerdoti Coen, Enrico Tassi	Implementing HOL in an Higher Order Logic Programming Language.	LFMTP	2016	DBLP DOI BibTeX RDF
13	Raphaël Cauderlier	A Rewrite System for Proof Constructivization.	LFMTP	2016	DBLP DOI BibTeX RDF
13	Joachim Breitner	The Incredible Proof Machine (Invited Talk).	LFMTP	2016	DBLP DOI BibTeX RDF
13	Rohan Jacob-Rao, Andrew Cave, Brigitte Pientka	Mechanizing Proofs about Mendler-style Recursion.	LFMTP	2016	DBLP DOI BibTeX RDF
13	Chelsea Battell, Amy P. Felty	The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid.	LFMTP	2016	DBLP DOI BibTeX RDF
13	Iliano Cervesato, Kaustuv Chaudhuri (eds.)	Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015.	LFMTP	2015	DBLP DOI BibTeX RDF
13	Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto	Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks.	LFMTP	2015	DBLP DOI BibTeX RDF
13	Andrew Cave, Brigitte Pientka	A Case Study on Logical Relations using Contextual Types.	LFMTP	2015	DBLP DOI BibTeX RDF
13	Roly Perera, James Cheney	Proof-relevant pi-calculus.	LFMTP	2015	DBLP DOI BibTeX RDF
13	Nicolas Guenot, Daniel Gustafsson	Sequent Calculus and Equational Programming.	LFMTP	2015	DBLP DOI BibTeX RDF
13	Ronan Saillard	Rewriting Modulo βin the λΠ-Calculus Modulo.	LFMTP	2015	DBLP DOI BibTeX RDF
13	Amy P. Felty, Alberto Momigliano, Brigitte Pientka	An Open Challenge Problem Repository for Systems Supporting Binders.	LFMTP	2015	DBLP DOI BibTeX RDF
13	Amy P. Felty, Brigitte Pientka (eds.)	Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014	LFMTP	2014	DBLP DOI BibTeX RDF
13	Iliano Cervesato	Proof-Theoretic Foundations of Indexing in Logic Programming.	LFMTP	2014	DBLP DOI BibTeX RDF
13	Gopalan Nadathur	A Framework for the Verified Transformation of Functional Programs.	LFMTP	2014	DBLP DOI BibTeX RDF
13	Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann 0001	Hybrid Extensions in a Logical Framework.	LFMTP	2014	DBLP DOI BibTeX RDF
13	Jesper Bengtson	Session Types Meet Separation Logic.	LFMTP	2014	DBLP DOI BibTeX RDF
13	Olivier Savary Bélanger, Kaustuv Chaudhuri	Automatically Deriving Schematic Theorems for Dynamic Contexts.	LFMTP	2014	DBLP DOI BibTeX RDF
13	Abhishek Anand, Vincent Rahli	A Generic Approach to Proofs about Substitution.	LFMTP	2014	DBLP DOI BibTeX RDF
13	Alberto Ciaffaglione, Ivan Scagnetto	Internal Adequacy of Bookkeeping in Coq.	LFMTP	2014	DBLP DOI BibTeX RDF
13	Thorsten Altenkirch, Nuo Li, Ondrej Rypacek	Some constructions on ω-groupoids.	LFMTP	2014	DBLP DOI BibTeX RDF
13	Edwin C. Brady	Idris: Implementing a Dependently Typed Programming Language.	LFMTP	2014	DBLP DOI BibTeX RDF
13	Jean-Marc Jézéquel, Benoît Combemale, Olivier Barais, Martin Monperrus, François Fouquet	Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench.	CoRR	2013	DBLP BibTeX RDF
13	Alberto Momigliano, Brigitte Pientka, Randy Pollack (eds.)	Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013	LFMTP	2013	DBLP DOI BibTeX RDF
13	Ulrik Terp Rasmussen, Andrzej Filinski	Structural logical relations with case analysis and equality reasoning.	LFMTP	2013	DBLP DOI BibTeX RDF
13	Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi	A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus.	LFMTP	2013	DBLP DOI BibTeX RDF
13	Andrew Cave, Brigitte Pientka	First-class substitutions in contextual type theory.	LFMTP	2013	DBLP DOI BibTeX RDF
13	Dale Miller 0001	Foundational proof certificates: making proof universal and permanent.	LFMTP	2013	DBLP DOI BibTeX RDF
13	Furio Honsell	25 years of formal proof cultures: some problems, some philosophy, bright future.	LFMTP	2013	DBLP DOI BibTeX RDF
13	Yuting Wang 0001, Gopalan Nadathur	Towards extracting explicit proofs from totality checking in twelf.	LFMTP	2013	DBLP DOI BibTeX RDF
13	Floris van Doorn, Herman Geuvers, Freek Wiedijk	Explicit convertibility proofs in pure type systems.	LFMTP	2013	DBLP DOI BibTeX RDF
13	Herman Geuvers, Gopalan Nadathur (eds.)	Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011.	LFMTP	2011	DBLP DOI BibTeX RDF
13	Ranald Clouston	Nominal Logic with Equations Only	LFMTP	2011	DBLP DOI BibTeX RDF
13	Andreas Abel 0001, Nicolai Kraus	A Lambda Term Representation Inspired by Linear Ordered Logic	LFMTP	2011	DBLP DOI BibTeX RDF
13	Murdoch James Gabbay, Dominic P. Mulligan	Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets	LFMTP	2011	DBLP DOI BibTeX RDF
13	Maxime Beauquier, Carsten Schürmann	A Bigraph Relational Model	LFMTP	2011	DBLP DOI BibTeX RDF
13	Alan J. Martin, Amy P. Felty	An Improved Implementation and Abstract Interface for Hybrid	LFMTP	2011	DBLP DOI BibTeX RDF
13	Mathieu Boespflug, Brigitte Pientka	Multi-level Contextual Type Theory	LFMTP	2011	DBLP DOI BibTeX RDF
13	Karl Crary, Marino Miculan (eds.)	Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010.	LFMTP	2010	DBLP DOI BibTeX RDF
13	David Broman	Meta-Languages and Semantics for Equation-Based Modeling and Simulation.		2010	RDF
13	Daniel R. Licata, Robert Harper 0001	A Monadic Formalization of ML5	LFMTP	2010	DBLP DOI BibTeX RDF
13	Maribel Fernández, Murdoch James Gabbay	Closed nominal rewriting and efficiently computable nominal algebra equality	LFMTP	2010	DBLP DOI BibTeX RDF
13	Anders Schack-Nielsen, Carsten Schürmann	Pattern Unification for the Lambda Calculus with Linear and Affine Types	LFMTP	2010	DBLP DOI BibTeX RDF
13	Herman Geuvers, Robbert Krebbers, James McKinna, Freek Wiedijk	Pure Type Systems without Explicit Contexts	LFMTP	2010	DBLP DOI BibTeX RDF
13	John Tang Boyland	Generating Bijections between HOAS and the Natural Numbers	LFMTP	2010	DBLP DOI BibTeX RDF
13	Florian Rabe 0001	Representing Isabelle in LF	LFMTP	2010	DBLP DOI BibTeX RDF