Search results for "meta-language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
68	Cliff B. Jones	The META-Language: A Reference Manual.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
62	Dines Bjørner	Programming in the META-Language: A Tutorial.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
62	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
59	Wolfgang Henhapl, Cliff B. Jones	A Formal Definition of Algol 60 as Described in the 1975 Modified Report.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
50	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
46	D. Kinnaes, Karel De Vlaminck	A Debugger for a Meta-IV-like Meta-Language.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
45	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
44	Haiming Chen, Yunmei Dong	Yet another meta-language for programming language processing.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	programming language processing, context-free language, recursive function, meta-language
40	Dines Bjørner, Cliff B. Jones (eds.)	The Vienna Development Method: The Meta-Language	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
40	Peter Lucas	On the Formalization of Programming Languages: Early History and Main Approaches.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
40	Dines Bjørner	Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
40	Cliff B. Jones	Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
39	Pierre Lim, David N. Morley	Implementing a Meta-Logical Scheme.	PLILP	1990	DBLP DOI BibTeX RDF
34	Jurgen J. Vinju	Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs.	RISE	2005	DBLP DOI BibTeX RDF
31	John Hatcliff, Olivier Danvy	A Generic Account of Continuation-Passing Styles.	POPL	1994	DBLP DOI BibTeX RDF
31	Mark I. Halpern	Programming Languages: Toward a general processor for programming languages.	Commun. ACM	1968	DBLP DOI BibTeX RDF	compiler writing system, general processor, general translator, macro instruction processor, meta compiler, meta language processor, meta language translator, meta processor, programming language processor, programming language translator, compiler-compiler, translator writing system
31	Giuseppe Castagna	A Meta-Language for Typed Object-Oriented Languages.	FSTTCS	1993	DBLP DOI BibTeX RDF
28	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
28	Eric Van Wyk	Meta Languages in Algebraic Compilers.	AMAST	2000	DBLP DOI BibTeX RDF
25	Martin Bravenboer, Rob Vermaas, Jurgen J. Vinju, Eelco Visser	Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax.	GPCE	2005	DBLP DOI BibTeX RDF
25	Hanne Riis Nielson, Flemming Nielson	Pragmatic Aspects of Two-Level Denotational Meta-Languages.	ESOP	1986	DBLP DOI BibTeX RDF
23	WoonKiong Tan	A semantic model of a small typed functional language using Object-Z.	APSEC	2000	DBLP DOI BibTeX RDF	typed functional language, Object-Z notation, object-oriented procedural languages, programming languages, specification languages, specification languages, object-oriented languages, abstract data types, object-oriented methods, functional languages, denotational semantics, semantic model, programming language semantics, meta-language
22	Achuth Sankar S. Nair, Vinod S. S. Chandra	A MetaL for C and Pascal.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	data structure, C, Pascal, lex, yacc
22	Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey	A computational approach to reflective meta-reasoning about languages with bindings.	MERLIN	2005	DBLP DOI BibTeX RDF	MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax
21	Alberto Verdejo	Building Tools for LOTOS Symbolic Semantics in Maude.	FORTE	2002	DBLP DOI BibTeX RDF	Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language
21	Till Schümmer, Jan O. Borchers, John C. Thomas, Uwe Zdun	Human-computer-human interaction patterns: workshop on the human role in HCI patterns.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	pattern language meta language (PLML), collaborative systems, pattern languages, HCI patterns
21	Mikael Pettersson, Peter Fritzson	DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications.	ICCL	1992	DBLP DOI BibTeX RDF
20	Mehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer	Programming agent deliberation: an approach illustrated using the 3APL language.	AAMAS	2003	DBLP DOI BibTeX RDF	agent deliberation, planning, agent programming
19	Bernd Fischer 0002, Eelco Visser	Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract).	LOPSTR	2003	DBLP DOI BibTeX RDF
19	Wafa Khorshid	Generating environments for programming-in-the-large.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
18	Fayez R. El-Far, Mohamad A. Eid, Mauricio Orozco Trujillo, Abdulmotaleb El-Saddik	Haptic Applications Meta-Language.	DS-RT	2006	DBLP DOI BibTeX RDF
18	Maurice Hendrix, Alexandra I. Cristea	Reuse Patterns in Adaptation Languages: Creating a Meta-level for the LAG Adaptation Language.	AH	2008	DBLP DOI BibTeX RDF	AHA!, Adaptation Engine, Adaptive Hypermedia, LAG
18	Houria Mihoubi, Ana Simonet, Michel Simonet	An Ontology Driven Approach to Ontology Translation.	DEXA	2000	DBLP DOI BibTeX RDF
18	Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini	Logic Programming within a Functional Framework.	PLILP	1990	DBLP DOI BibTeX RDF
16	Raif Serkan Albayrak, Ahmet K. Süerdem	Towards a New Approach in Social Simulations: Meta-language.	MABS	2008	DBLP DOI BibTeX RDF	semiotic relations, meaning generation, culture, language, emergence, Social simulation, reflexivity, intentionality
16	Jonathan Lee Brown	Code Collage: A Visual Meta-Language for Knowledge Structure Discovery.	VL/HCC	2006	DBLP DOI BibTeX RDF
16	Simon Crowle, Linda Hole	ISML: An Interface Specification Meta-language.	DSV-IS	2003	DBLP DOI BibTeX RDF
16	M. L. Brei	Needed: A Meta-Language for Evaluating the Expressiveness of EDIF, IGES, VHDL and Other Representation Mechanisms.	DAC	1987	DBLP DOI BibTeX RDF
16	Alberto Momigliano, Jeff Polakow	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.	MERLIN	2003	DBLP DOI BibTeX RDF	continuation machines, ordered linear logic, logical frameworks, higher order abstract syntax
16	Chiyan Chen, Hongwei Xi	Implementing typeful program transformations.	PEPM	2003	DBLP DOI BibTeX RDF	DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style
16	Ian Nunn, Dwight Deugo	Automated assembly of software components based on XML-coded instructions.	SAC	2002	DBLP DOI BibTeX RDF	XML, software architecture, component, software components, architecture definition language
16	José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski	LUPS - A Language for Updating Logic Programs.	LPNMR	1999	DBLP DOI BibTeX RDF
15	Raphael Zender, Enrico Dressler, Ulrike Lucke, Djamshid Tavangarian	Meta-Service Organization for a Pervasive University.	PerCom	2008	DBLP DOI BibTeX RDF	SOA Interoperability, Pervasive University, Community, Ensemble, Meta language
15	José Luis Risco-Martín, Saurabh Mittal, M. A. López-Peña, Jesús Manuel de la Cruz	A W3C XML schema for DEVS scenarios.	SpringSim (2)	2007	DBLP BibTeX RDF	DEVS (Discrete EVent System Specification), XML (eXtensible Markup Language), meta-model, XML-Schema, meta-language
15	Portnykh Vladimir, Kim Deok-Ho	Task oriented non-linear method for interactive hypervideo media editing systems.	ACM Multimedia	2002	DBLP DOI BibTeX RDF	hypervideo editing systems, optimization, meta-language
15	Nathan N. Vuong, Geoffrey S. Smith, Yi Deng 0001	Managing security policies in a distributed environment using eXtensible markup language (XML).	SAC	2001	DBLP DOI BibTeX RDF	managing security policies, Java, XML, XML, RBAC, meta-language, distributed authorization
15	Michael Verhaart, John Jamieson, Kinshuk	Collecting, Organizing, and Managing Non-contextualised Data by Using MVML to Develop a Human-Computer Interface.	APCHI	2004	DBLP DOI BibTeX RDF
15	Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson	Formal Semantics Based Translator Generation and Tool Development in Practice.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
14	Damian Frölich, L. Thomas van Binsbergen	iCoLa: A Compositional Meta-language with Support for Incremental Language Development.	SLE	2022	DBLP DOI BibTeX RDF
14	Terje Gjøsæter	LCL - A Graphical Meta-Language for Specification of Language Constraints.	MODELSWARD	2015	DBLP DOI BibTeX RDF
14	Karthik Mahesh Varadarajan, Markus Vincze	Affordance and k-TR Augmented Alphabet based Neuro-Symbolic language - Af-kTRAANS - A Human-Robot Interaction meta-language.	MMAR	2015	DBLP DOI BibTeX RDF
14	Andreas Wolff, Peter Forbrig	Pattern Catalogs using the Pattern Language Meta Language.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
14	Amir Hossein Jadidinejad, Fariborz Mahmoudi	Cross-Language Information Retrieval Using Meta-language Index Construction and Structural Queries.	CLEF (1)	2009	DBLP DOI BibTeX RDF
14	Christophe Choquet, Sébastien Iksal	Usage tracking language: a meta language for modelling tracks in tel systems.	ICSOFT (2)	2006	DBLP BibTeX RDF
14	Antonio Brogi, Chiara Renso, Franco Turini	Amalgamating Language and Meta-language for Composing Logic Programs.	GULP-PRODE (2)	1994	DBLP BibTeX RDF
14	Gregory F. Johnson, Charles N. Fischer	A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors.	POPL	1985	DBLP DOI BibTeX RDF
13	Frank Guerin, Wamberto Weber Vasconcelos	Component-Based Standardisation of Agent Communication.	DALT	2007	DBLP DOI BibTeX RDF
13	Frank Guerin, Wamberto Weber Vasconcelos	A component-based approach to standardising agent communication.	AAMAS	2007	DBLP DOI BibTeX RDF	norms, institutions, artificial social systems, agent communication languages and protocols, conventions
13	Kevin Donnelly, Hongwei Xi	Combining higher-order abstract syntax with first-order abstract syntax in ATS.	MERLIN	2005	DBLP DOI BibTeX RDF	ATS/LF, theorem proving, dependent types, higher-order abstract syntax, ATS
13	Kris De Volder	Aspect-Oriented Logic Meta Programming.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
13	Adam Chlipala	A verified compiler for an impure functional language.	POPL	2010	DBLP DOI BibTeX RDF	compiler verification, interactive proof assistants
13	Marcos Viera, Alberto Pardo	A multi-stage language with intensional analysis.	GPCE	2006	DBLP DOI BibTeX RDF	intensional analysis, reflection, dynamics, multi-stage programming
13	David Delahaye	A Tactic Language for the System Coq.	LPAR	2000	DBLP DOI BibTeX RDF
12	Daniele Genito, Giangiacomo Gerla, Alessandro Vignes	Meta-logic programming for a synonymy logic.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Synonymy logic, Fuzzy logic, Logic programming, Translation
12	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	A UTP semantics for Circus.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Concurrency, Theorem proving, Relational model, Refinement calculus
12	Schahram Dustdar, Stephan Haslinger	Testing of Service-Oriented Architectures - A Practical Approach.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF	Web services, Service-Oriented Architecture, Automatic Testing
12	Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer	Semantics of Plan Revision in Intelligent Agents.	AMAST	2004	DBLP DOI BibTeX RDF
12	Wenming Wu, Yisheng Dong	Metamodeling-Based Semantic Web Languages.	EC-Web	2003	DBLP DOI BibTeX RDF
12	Leon Sterling, Alan Bundy	Meta-Level Inference and Program Verification.	CADE	1982	DBLP DOI BibTeX RDF	meta-level inference, logic programming, program verification
12	Shu Wang, Phillip C.-Y. Sheu	SCDL-NL as a Structured Annotation Language.	ICSC	2009	DBLP DOI BibTeX RDF
12	Brigitte Pientka	A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions.	POPL	2008	DBLP DOI BibTeX RDF	type system, logical frameworks
12	James Cheney	Compressing XML with Multiplexed Hierarchical PPM Models.	Data Compression Conference	2001	DBLP DOI BibTeX RDF
12	Per Kreuger	GCLA II - A Definitional Approach to Control.	ELP	1991	DBLP DOI BibTeX RDF
11	Riemer van Rozen	Cascade: A Meta-language for Change, Cause and Effect.	SLE	2023	DBLP DOI BibTeX RDF
11	Bruno Cuconato, Jefferson de Barros Santos, Edward Hermann Haeusler	A logical framework with a graph meta-language.	CoRR	2021	DBLP BibTeX RDF
11	Vanessa Tietz	Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software.	CoRR	2021	DBLP BibTeX RDF
11	Vanessa Tietz	Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software.	MoDELS (Companion)	2021	DBLP DOI BibTeX RDF
11	Nicola Mosca, Antonio Di Gregorio, Matieu Henry, Rashed Jalal, Palma Blonda	Object-Based Similarity Assessment Using Land Cover Meta-Language (LCML): Concept, Challenges, and Implementation.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2020	DBLP DOI BibTeX RDF
11	Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn	Isabelle/HOL as a Meta-Language for Teaching Logic.	ThEdu@IJCAR	2020	DBLP DOI BibTeX RDF
11	Steve Lhomme, Dave Rice, Moritz Bunkus	Extensible Binary Meta Language.	RFC	2020	DBLP DOI BibTeX RDF
11	Peter D. Mosses	Software meta-language engineering and CBS.	J. Comput. Lang.	2019	DBLP DOI BibTeX RDF
11	Samir Ouchani, Abdelaziz Khaled	A Meta Language for Cyber-Physical Systems and Threats: Application on Autonomous Vehicle.	AICCSA	2019	DBLP DOI BibTeX RDF
11	Nicholas Caporusso, Trent Helms, Peng Zhang	A Meta-Language Approach for Machine Learning.	AHFE (14)	2019	DBLP DOI BibTeX RDF
11	Pontus Johnson, Robert Lagerström, Mathias Ekstedt	A Meta Language for Threat Modeling and Attack Simulations.	ARES	2018	DBLP DOI BibTeX RDF
11	Michael Junk, Stefan Hölle	A Meta Language for Mathematical Reasoning.	CICM Workshops	2018	DBLP BibTeX RDF
11	Oleg Kiselyov	Effects Without Monads: Non-determinism - Back to the Meta Language.	ML/OCaml	2017	DBLP DOI BibTeX RDF
11	Thomas Degueule, Benoît Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel	Melange: a meta-language for modular and reusable development of DSLs.	SLE	2015	DBLP DOI BibTeX RDF
11	Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoît Combemale	Towards a meta-language for the concurrency concern in DSLs.	DATE	2015	DBLP BibTeX RDF
11	Robert Baird, Rose F. Gamble	A Security Meta-Language for SOAP Messaging.	Int. J. Next Gener. Comput.	2014	DBLP BibTeX RDF
11	Sonia Bergamaschi, Matteo Interlandi, Mario Longo, Laura Po, Maurizio Vincini	A Meta-language for MDX Queries in eLog Business Solution.	ICDE	2012	DBLP DOI BibTeX RDF
11	Mark Hills 0001, Paul Klint, Jurgen J. Vinju	Meta-language Support for Type-Safe Access to External Resources.	SLE	2012	DBLP DOI BibTeX RDF
11	Tansel Halic, Suvranu De	SML: SoFMIS Meta Language for Surgical Simulation.	MMVR	2011	DBLP DOI BibTeX RDF
11	Sabine Buckl, Markus Buschle, Pontus Johnson, Florian Matthes, Christian M. Schweda	A Meta-language for Enterprise Architecture Analysis.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
11	Robert Baird, Rose F. Gamble	Developing a Security Meta-Language Framework.	HICSS	2011	DBLP DOI BibTeX RDF
11	Michael Katelman	A meta-language for functional verification		2011	RDF
11	Sabine Buckl, Florian Matthes, Christian M. Schweda	A Meta-language for EA Information Modeling - State-of-the-Art and Requirements Elicitation.	BMMDS/EMMSAD	2010	DBLP DOI BibTeX RDF
11	Takashi Yamamiya, Yoshiki Ohshima	Tamacola - a meta language kit for the web: a report on creating a self-hosting lisp compiler on the Tamarin VM.	S3	2010	DBLP DOI BibTeX RDF
11	Matthew R. Lakin	An executable meta-language for inductive definitions with binders.		2010	RDF
11	Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens, Robert Hirschfeld, Theo D'Hondt	Application-Specific Models and Pointcuts Using a Logic Meta Language.	ISC	2006	DBLP DOI BibTeX RDF
11	Pedro Kröger	CsoundXML: a meta-language in XML for sound synthesis.	ISMIR	2004	DBLP BibTeX RDF