Search results for "metalanguage"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
118	Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski	Kleene Monads: Handling Iteration in a Framework of Generic Effects.	CALCO	2009	DBLP DOI BibTeX RDF
112	I. V. Vel'bitskiy	Metalanguage for formal definition of semantics of programming languages.	Methods of Algorithmic Language Implementation	1975	DBLP DOI BibTeX RDF
68	Glynn Winskel	A Linear Metalanguage for Concurrency.	AMAST	1998	DBLP DOI BibTeX RDF
59	Sharon C. Adler	Delivering the word - integrating publications technologies.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
44	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
43	Pierre Lévy	Toward a Self-referential Collective Intelligence Some Philosophical Background of the IEML Research Program.	ICCCI	2009	DBLP DOI BibTeX RDF	IEML, semantic interoperability, collective intelligence, philosophy, semantic space, Web of data, semantic tagging, metalanguage
43	Andruid Kerne, Phoebe O. Toups Dugas, Blake Dworaczyk, Madhur Khandelwal	A concise XML binding framework facilitates practical object-oriented document engineering.	ACM Symposium on Document Engineering	2008	DBLP DOI BibTeX RDF	binding framework, Java, XML, object-oriented programming, translation, metalanguage
43	Soklei Leong, Stephen M. Jodis, Kevin J. Sullivan, Oliver Jiang, Paul A. D. de Maine	A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	transportable programming language, bifunctional compiler, hypothetical parent, rule modifier, table generator, conversion rule description language, tabular forms, program compilers, high-level-language, high level languages, metalanguage, program translation, code conversion
43	F. Keith Hanna, Neil Daeche, Mark Longley	Specification and Verification Using Dependent Types.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	VERITAS/sup +/, iterative structures, functional metalanguage, computational implementation, modeling, modelling, formal specification, theorem proving, theorem proving, iterative methods, dependent types, numerals, specification logic
39	Ville T. Oikarinen	Extracting a domain specific language from an example: a bottom-up method using the ngrease metalanguage.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	code generation, refactoring, method, DSL, metaprogramming
39	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	User Interfaces and Metalanguage Applications.	All About Maude	2007	DBLP DOI BibTeX RDF
39	Shin-ya Katsumata	A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage.	CSL	2005	DBLP DOI BibTeX RDF
39	Eugenio Moggi, Sonia Fagorzi	A Monadic Multi-stage Metalanguage.	FoSSaCS	2003	DBLP DOI BibTeX RDF
39	Ioannis T. Kassios, Monica M. C. Schraefel	Noema: A Metalanguage for Scripting Versionable Hypertexts.	DCW	2002	DBLP DOI BibTeX RDF
39	Gopalan Nadathur	The Metalanguage lambda-Prolog and Its Implementation.	FLOPS	2001	DBLP DOI BibTeX RDF
29	David Turner, Glynn Winskel	Nominal Domain Theory for Concurrency.	CSL	2009	DBLP DOI BibTeX RDF
29	Julien Wintz, Pascal Schreck, Pascal Mathis	A framework for geometric constraint satisfaction problem.	SAC	2006	DBLP DOI BibTeX RDF	geometric constraint systems description, geometric universe, software engineering, algebraic specification
29	Milena Slavcheva	Semantic Representation of Events: Building a Semantic Primes Component.	TSD	2006	DBLP DOI BibTeX RDF	event types, verbal predicates, metamodel
29	Sam Lindley, Ian Stark	Reducibility and TT-Lifting for Computation Types.	TLCA	2005	DBLP DOI BibTeX RDF
29	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan	Imperative Object-Based Calculi in Co-inductive Type Theories.	LPAR	2003	DBLP DOI BibTeX RDF
29	Alessandro Berarducci, Corrado Böhm	General Recursion on Second Order Term Algebras.	RTA	2001	DBLP DOI BibTeX RDF
29	J. Michael Lake	Prediction by Grammatical Match.	Data Compression Conference	2000	DBLP DOI BibTeX RDF
29	Derick Wood	Standard Generalized Markup Language: Mathematical and Philosophical Issues.	Computer Science Today	1995	DBLP DOI BibTeX RDF
29	Gian-Luigi Ferrari 0002, Ugo Montanari	The Observation Algebra of Spatial Pomsets.	CONCUR	1991	DBLP DOI BibTeX RDF
29	David J. Pym, Lincoln A. Wallen	Investigations into Proof-Search in a System of First-Order Dependent Function Types.	CADE	1990	DBLP DOI BibTeX RDF
29	Karen A. Lemone	A multi-purpose language processing laboratory.	SIGCSE	1987	DBLP DOI BibTeX RDF
29	Flemming Nielson	Correctness of Code Generation from a Two-Level Meta-Language.	ESOP	1986	DBLP DOI BibTeX RDF
29	M. A. Nait Abdallah	Icons and Local Definitions in Logic Programming.	STACS	1986	DBLP DOI BibTeX RDF
28	Maria Raffai	Model Oriented Enterprise Integration: Metamodel for Realizing the Integration.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Inter-organizational cooperation, Modeling/mapping, Model transformation, metamodel, Enterprise integration, Metalanguage
24	Michael Kranzlein, Nathan Schneider 0001, Kevin Tobia	CuRIAM: Corpus re Interpretation and Metalanguage in U.S. Supreme Court Opinions.	CoRR	2023	DBLP DOI BibTeX RDF
24	Prawaal Sharma, Navneet Goyal, Poonam Goyal	Multimodal Semantographic Metalanguage (MSM): A novel methodology for digital enablement of semi-literates.	SAC	2023	DBLP DOI BibTeX RDF
24	Yue Niu, Robert Harper 0001	A Metalanguage for Cost-Aware Denotational Semantics.	LICS	2023	DBLP DOI BibTeX RDF
24	Yue Niu, Robert Harper 0001	A metalanguage for cost-aware denotational semantics.	CoRR	2022	DBLP DOI BibTeX RDF
24	Heng Zhang, Vivian Hsueh Hua Chen	Design Consideration of an Educational Video Game Through the Lens of the Metalanguage.	ISAGA	2022	DBLP DOI BibTeX RDF
24	Rea Golan	Is there a neutral metalanguage?	Synth.	2021	DBLP DOI BibTeX RDF
24	Weimin Toh, Fei Victor Lim	Using Video Games for Learning: Developing a Metalanguage for Digital Play.	Games Cult.	2021	DBLP DOI BibTeX RDF
24	Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder	A metalanguage for guarded iteration.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
24	William L. Harrison, Chris Hathhorn, Gerard Allwein	A Mechanized Semantic Metalanguage for High Level Synthesis.	PPDP	2021	DBLP DOI BibTeX RDF
24	Antoine Gréa	Méta-langage endomorphe et planification abstraite pour la reconnaissance des intentions en temps réel. (Endomorphic metalanguage and abstract planning for real-time intent recognition).		2020	RDF
24	Cyrille Ahmed Midingoyi	Semantic and modular representation of crop models using a declarative metalanguage. (Représentation sémantique et modulaire des modèles de culture à l'aide d'un métalangage déclaratif).		2020	RDF
24	Andrea Vestrucci	Metalanguage and Revelation: Rethinking Theology's Language and Relevance.	Logica Universalis	2019	DBLP DOI BibTeX RDF
24	Gaziza Yelibayeva, Assel S. Mukanova, Altynbek Sharipbay, Altanbek Zulkhazhav, Banu Zh. Yergesh, Gulmira Bekmanova	Metalanguage and Knowledgebase for Kazakh Morphology.	ICCSA (1)	2019	DBLP DOI BibTeX RDF
24	Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder	A Metalanguage for Guarded Iteration.	CoRR	2018	DBLP BibTeX RDF
24	Andrey Mokhov, Georgy Lukyanov, Jakob Lechner	Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers.	CoRR	2018	DBLP BibTeX RDF
24	Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder	A Metalanguage for Guarded Iteration.	ICTAC	2018	DBLP DOI BibTeX RDF
24	Gian Paolo Donnarumma, Sergio Guardato, Claudio Martino, Giovanni Iannaccone	GAMbUSIA - a general purpose metalanguage for instruments with serial interface.	M&N	2017	DBLP DOI BibTeX RDF
24	Soma Dutta, Mihir K. Chakraborty	The role of metalanguage in graded logical approaches.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
24	Vadim Zaytsev	Understanding Metalanguage Integration by Renarrating a Technical Space Megamodel.	GEMOC@MoDELS	2014	DBLP BibTeX RDF
24	Shomir Wilson	Toward Automatic Processing of English Metalanguage.	IJCNLP	2013	DBLP BibTeX RDF
24	Konstantina Georganta	A Review of "The Metalanguage of Translation"edited by Yves Gambier and Luc van Doorslaer. Amsterdam: John Benjamins, 2009, 192 pp. $128.00 hardcover. ISBN 978-90-272-2250-3 (hardcover).	Inf. Soc.	2012	DBLP DOI BibTeX RDF
24	Walter W. Wilson, Yu Lei	A Tiny Specification Metalanguage.	SEKE	2012	DBLP BibTeX RDF
24	Tara Athan	Syntax Reuse: XSLT as a Metalanguage for Knowledge Representation Languages.	RuleML	2012	DBLP DOI BibTeX RDF
24	Shomir Wilson	The Creation of a Corpus of English Metalanguage.	ACL (1)	2012	DBLP BibTeX RDF
24	Christian Doczkal	Strong Normalization of Moggis's Computational Metalanguage.	Arch. Formal Proofs	2010	DBLP BibTeX RDF
24	Michael J. C. Gordon	ML: metalanguage or object language?	ICFP	2010	DBLP DOI BibTeX RDF
24	Evelina Leivada, Paraskevi Mavroudi, Anna Epistithiou	Metalanguage or bidialectism? acquisition of clitic placement by Hellenic Greeks, Greek Cypriots and binationals in the diglossic context of Cyprus.	ExLing	2010	DBLP BibTeX RDF
24	Jorn Bettin, Tony Clark 0001	Advanced modelling made simple with the Gmodel metalanguage.	MDI@MoDELS	2010	DBLP DOI BibTeX RDF
24	Benjamin H. Y. Koo, Willard L. Simmons, Edward F. Crawley	Algebra of Systems: A Metalanguage for Model Synthesis and Evaluation.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
24	Christian Doczkal, Jan Schwinghammer	Formalizing a strong normalization proof for Moggi's computational metalanguage: a case study in Isabelle/HOL-nominal.	LFMTP	2009	DBLP DOI BibTeX RDF
24	Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras	Patterns for Maude Metalanguage Applications.	WRLA	2008	DBLP DOI BibTeX RDF
24	Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens, Robert Hirschfeld, Theo D'Hondt	Application-specific models and pointcuts using a logic metalanguage.	Comput. Lang. Syst. Struct.	2008	DBLP DOI BibTeX RDF
24	Kristin Stock	Determining Semantic Similarity of Behaviour Using Natural Semantic Metalanguage to Match User Objectives to Available Web Services.	Trans. GIS	2008	DBLP DOI BibTeX RDF
24	Joseph Thomas-Kerr, Ian S. Burnett, Christian H. Ritz, Davy De Schrijver, Rik Van de Walle, Sylvain Devillers	Is That a Fish in Your Ear? A Universal Metalanguage for Multimedia.	IEEE Multim.	2007	DBLP DOI BibTeX RDF
24	Sergey Andreev 0002	Some properties of a metalinguistic verbal system (in the metalanguage of the Macmillan English Dictionary's defining vocabulary).	Glottometrics	2007	DBLP BibTeX RDF
24	Matthew R. Lakin, Andrew M. Pitts	A Metalanguage for Structural Operational Semantics.	Trends in Functional Programming	2007	DBLP BibTeX RDF
24	Carol B. Brandt, Doris Ash	Metalanguage among Families in a Marine Science Museum.	ICLS	2006	DBLP BibTeX RDF
24	Volker Schubert, Stefan W. Hamerich	The dialog application metalanguage GDialogXML.	INTERSPEECH	2005	DBLP DOI BibTeX RDF
24	Boris Gorbis	A Primitive Model Of Metalanguage For Universal Grammar.	MLMTA	2005	DBLP BibTeX RDF
24	Tiago Stein D'Agostini, Antônio Augusto Fröhlich	Bridging AOP to SMP: turning GCC into a metalanguage preprocessor.	SAC	2005	DBLP DOI BibTeX RDF	aspects, metaprogramming
24	H. Delebecque	HDSML: A Lightweigth Authoring Metalanguage with Objectoriented Features.	ICWI	2003	DBLP BibTeX RDF
24	Gopalan Nadathur	The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations.	WoLLIC	2002	DBLP DOI BibTeX RDF
24	Folkert de Vriend, Peter-Arno Coppen, W. Haeseryn	Using Grammatical Description as a Metalanguage Resource.	LREC	2002	DBLP BibTeX RDF
24	Ryszard S. Michalski, Kenneth A. Kaufman	Building Knowledge Scouts Using KGL Metalanguage.	Fundam. Informaticae	2000	DBLP DOI BibTeX RDF
24	Andrew M. Pitts, Murdoch Gabbay	A Metalanguage for Programming with Bound Names Modulo Renaming.	MPC	2000	DBLP DOI BibTeX RDF
24	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada	Maude as a metalanguage.	WRLA	1998	DBLP DOI BibTeX RDF
24	Guy McCusker	Games and full abstraction for a functional metalanguage with recursive types.		1998	RDF
24	Egidio Astesiano, Gianna Reggio	A Metalanguage for the Formal Requirement Specification of Reactive Systems.	FME	1993	DBLP DOI BibTeX RDF
24	John D. Evans, Robert R. Kessler	DPOS: A Metalanguage and Programming Environment for Parallel Processing.	LISP Symb. Comput.	1992	DBLP BibTeX RDF
24	Karl B. Zerangue, Joseph E. Urban	The use of a software specification metalanguage.	SAC	1992	DBLP DOI BibTeX RDF
24	Karl B. Zerangue, Joseph E. Urban	A metalanguage based on a theory of specification.	COMPSAC	1992	DBLP DOI BibTeX RDF
24	Carolyn K. Duby, Scott Meyers, Steven P. Reiss	CCEL: A Metalanguage for C++.	C++ Conference	1992	DBLP BibTeX RDF
24	J. Allan Yang, Young-il Choo	Parallel-Program Transformation Using A Metalanguage.	PPoPP	1991	DBLP DOI BibTeX RDF
24	Pierre Savéant, Philippe Codognet	A Metalanguage for Representation and Control in Assumption-based Problem Solvers.	SEKE	1990	DBLP BibTeX RDF
24	Craig Smith	A Conversion Specification Metalanguage for applications of the Standard Generalized Markup Language.		1990	RDF
24	Lingzi Jin, Hong Zhu 0002	A metalanguage to express human guidance for program transformation.	TAI	1989	DBLP DOI BibTeX RDF
24	Andrzej Blikle	MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics		1987	DOI RDF
24	Barrett R. Bryant, Balanjaninath Edupuganty, Lee S. Hull	Two-Level Grammar as an Implementable Metalanguage for Axiomatic Semantics.	Comput. Lang.	1986	DBLP DOI BibTeX RDF
24	Alan E. Wittbecker	Genesis of a TeX-based markup metalanguage.	SIGUCCS	1986	DBLP DOI BibTeX RDF
24	Enrico Motta, Maria Simi, Giuseppe Attardi	Metalanguage and Databases.	Foundations of Knowledge Base Management (Xania)	1985	DBLP BibTeX RDF
24	Giuseppe Attardi, Maria Simi	Metalanguage and Reasoning Across Viewpoints.	ECAI	1984	DBLP BibTeX RDF
24	Roger S. Scowen	A standard syntactic metalanguage.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
24	Gian Piero Zarri, Jacqueline Léon, Monique Ornato, Joanna Pomian	Conversion of a French surface expression into its semantic representation according to the RESEDA metalanguage centre: National de la Recherche Scientifique, Paris, France.	SIGART Newsl.	1982	DBLP DOI BibTeX RDF
24	Jacqueline Léon, Daniel Memmi, Monique Ornato, Joanna Pomian, Gian Piero Zarri	Conversion Of A French Surface Expression Into Its Semantic Representation According To The Reseda Metalanguage.	COLING	1982	DBLP BibTeX RDF
24	Kurt Konolige	A Metalanguage Representation of Relational Databases for Deductive Question-Answering Systems.	IJCAI	1981	DBLP BibTeX RDF
24	Frank G. Pagan	ALGOL 68 as a Metalanguage for Denotational Semantics.	Comput. J.	1979	DBLP DOI BibTeX RDF
24	Michael J. C. Gordon, Robin Milner, F. Lockwood Morris, Malcolm C. Newey, Christopher P. Wadsworth	A Metalanguage for Interactive Proof in LCF.	POPL	1978	DBLP DOI BibTeX RDF
24	Robert C. Heterick, John A. Gerth, Nathan Huebner	A metalanguage for interactive simulation.	WSC	1977	DBLP BibTeX RDF
24	E. R. Anderson 0001, Frank C. Belz, Edward K. Blum	SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages.	Acta Informatica	1976	DBLP DOI BibTeX RDF
24	Harold B. Pepinsky	A metalanguage for systematic research on human communication via natural language.	J. Am. Soc. Inf. Sci.	1974	DBLP DOI BibTeX RDF
24	Jerry R. Hobbs	A Metalanguage for Expressing Grammatical Restrictions in Nodal Spans Parsing of Natural-Language.		1974	RDF