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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 18-33, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
112 | I. V. Vel'bitskiy |
Metalanguage for formal definition of semantics of programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods of Algorithmic Language Implementation ![In: Methods of Algorithmic Language Implementation [Symposium, September 10-13, 1975, Novosibirsk, Russia, Proceedings], pp. 105-128, 1975, Springer, 3-540-08065-1. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
68 | Glynn Winskel |
A Linear Metalanguage for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 42-58, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
59 | Sharon C. Adler |
Delivering the word - integrating publications technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984, pp. 305, 1984, ACM, 0-89791-144-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 1-12, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Pierre Lévy |
Toward a Self-referential Collective Intelligence Some Philosophical Background of the IEML Research Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCI ![In: Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems, First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009. Proceedings, pp. 22-35, 2009, Springer, 978-3-642-04440-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2008 ACM Symposium on Document Engineering, Sao Paulo, Brazil, September 16-19, 2008, pp. 62-65, 2008, ACM, 978-1-60558-081-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(6), pp. 639-646, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 949-964, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 850-851, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 523-555, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Shin-ya Katsumata |
A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 87-102, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Eugenio Moggi, Sonia Fagorzi |
A Monadic Multi-stage Metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 358-374, 2003, Springer, 3-540-00897-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Ioannis T. Kassios, Monica M. C. Schraefel |
Noema: A Metalanguage for Scripting Versionable Hypertexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCW ![In: Distributed Communities on the Web, 4th International Workshop, DCW 2002, Sydney, Australia, April 3-5, 2002, Revised Papers, pp. 228-239, 2002, Springer, 3-540-00301-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Gopalan Nadathur |
The Metalanguage lambda-Prolog and Its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings, pp. 1-20, 2001, Springer, 3-540-41739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | David Turner, Glynn Winskel |
Nominal Domain Theory for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 546-560, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Julien Wintz, Pascal Schreck, Pascal Mathis |
A framework for geometric constraint satisfaction problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 974-978, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 9th International Conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006, Proceedings, pp. 245-252, 2006, Springer, 3-540-39090-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
event types, verbal predicates, metamodel |
29 | Sam Lindley, Ian Stark |
Reducibility and TT-Lifting for Computation Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 262-277, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
Imperative Object-Based Calculi in Co-inductive Type Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, pp. 59-77, 2003, Springer, 3-540-20101-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Alessandro Berarducci, Corrado Böhm |
General Recursion on Second Order Term Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, pp. 15-30, 2001, Springer, 3-540-42117-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | J. Michael Lake |
Prediction by Grammatical Match. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: Data Compression Conference, DCC 2000, Snowbird, Utah, USA, March 28-30, 2000., pp. 153-162, 2000, IEEE Computer Society, 0-7695-0592-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Derick Wood |
Standard Generalized Markup Language: Mathematical and Philosophical Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Science Today ![In: Computer Science Today: Recent Trends and Developments, pp. 344-365, 1995, Springer, 3-540-60105-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Gian-Luigi Ferrari 0002, Ugo Montanari |
The Observation Algebra of Spatial Pomsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 188-202, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 236-250, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Karen A. Lemone |
A multi-purpose language processing laboratory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1987, St. Louis, Missouri, USA, February 19-20, 1987, pp. 446-450, 1987, ACM, 978-0-89791-217-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
29 | Flemming Nielson |
Correctness of Code Generation from a Two-Level Meta-Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 30-40, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
29 | M. A. Nait Abdallah |
Icons and Local Definitions in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings, pp. 60-72, 1986, Springer, 3-540-16078-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Maria Raffai |
Model Oriented Enterprise Integration: Metamodel for Realizing the Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (2) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 2, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 807-816, 2007, Springer, 978-0-387-76311-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.14719, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 844-851, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Yue Niu, Robert Harper 0001 |
A Metalanguage for Cost-Aware Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-14, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Yue Niu, Robert Harper 0001 |
A metalanguage for cost-aware denotational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.12669, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAGA ![In: Simulation and Gaming for Social Impact: 53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers, pp. 66-79, 2022, Springer International Publishing, 978-3-031-37170-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Rea Golan |
Is there a neutral metalanguage? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(20-S), pp. 4831-4858, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Weimin Toh, Fei Victor Lim |
Using Video Games for Learning: Developing a Metalanguage for Digital Play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Cult. ![In: Games Cult. 16(5), pp. 583-610, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder |
A metalanguage for guarded iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 880, pp. 111-137, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | William L. Harrison, Chris Hathhorn, Gerard Allwein |
A Mechanized Semantic Metalanguage for High Level Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021, pp. 22:1-22:14, 2021, ACM, 978-1-4503-8689-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
24 | Andrea Vestrucci |
Metalanguage and Revelation: Rethinking Theology's Language and Relevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 13(4), pp. 551-575, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2019 - 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part I, pp. 693-706, 2019, Springer, 978-3-030-24288-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder |
A Metalanguage for Guarded Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.11256, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Andrey Mokhov, Georgy Lukyanov, Jakob Lechner |
Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.01738, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder |
A Metalanguage for Guarded Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, pp. 191-210, 2018, Springer, 978-3-030-02507-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M&N ![In: IEEE International Workshop on Measurement and Networking, M&N 2017, Naples, Italy, September 27-29, 2017, pp. 1-6, 2017, IEEE, 978-1-5090-5679-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Soma Dutta, Mihir K. Chakraborty |
The role of metalanguage in graded logical approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 298, pp. 238-250, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Vadim Zaytsev |
Understanding Metalanguage Integration by Renarrating a Technical Space Megamodel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEMOC@MoDELS ![In: Proceedings of the 2nd International Workshop on The Globalization of Modeling Languages co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, GEMOC@Models 2014, Valencia, - Spain, September 28, 2014., pp. 69-77, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Shomir Wilson |
Toward Automatic Processing of English Metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNLP ![In: Sixth International Joint Conference on Natural Language Processing, IJCNLP 2013, Nagoya, Japan, October 14-18, 2013, pp. 760-766, 2013, Asian Federation of Natural Language Processing / ACL, 978-4-9907348-0-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Soc. ![In: Inf. Soc. 28(2), pp. 133-134, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Walter W. Wilson, Yu Lei |
A Tiny Specification Metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012, pp. 486-490, 2012, Knowledge Systems Institute Graduate School, 1-891706-31-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
24 | Tara Athan |
Syntax Reuse: XSLT as a Metalanguage for Knowledge Representation Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings, pp. 289-301, 2012, Springer, 978-3-642-32688-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Shomir Wilson |
The Creation of a Corpus of English Metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: The 50th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference, July 8-14, 2012, Jeju Island, Korea - Volume 1: Long Papers, pp. 638-646, 2012, The Association for Computer Linguistics, 978-1-937284-24-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
24 | Christian Doczkal |
Strong Normalization of Moggis's Computational Metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2010, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Michael J. C. Gordon |
ML: metalanguage or object language? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010, pp. 1-2, 2010, ACM, 978-1-60558-794-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ExLing ![In: Third Workshop on Experimental Linguistics, ExLing 2010, Athens, Greece, August 25-27, 2010, pp. 97-100, 2010, ISCA. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Jorn Bettin, Tony Clark 0001 |
Advanced modelling made simple with the Gmodel metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDI@MoDELS ![In: Proceedings of the First International Workshop on Model-Driven Interoperability, MDI@MoDELS 2010, Oslo, Norway, October 3-5, 2010, pp. 79-88, 2010, ACM, 978-1-4503-0292-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 39(3), pp. 501-513, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009, pp. 57-63, 2009, ACM, 978-1-60558-529-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras |
Patterns for Maude Metalanguage Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008, pp. 121-138, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 34(2-3), pp. 66-82, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. GIS ![In: Trans. GIS 12(6), pp. 733-755, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Multim. ![In: IEEE Multim. 14(2), pp. 72-77, 2007. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Glottometrics ![In: Glottometrics 14, pp. 21-31, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Matthew R. Lakin, Andrew M. Pitts |
A Metalanguage for Structural Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, New York, USA, April 2-4. 2007., pp. 19-35, 2007, Intellect, 978-1-84150-196-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Carol B. Brandt, Doris Ash |
Metalanguage among Families in a Marine Science Museum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLS ![In: Making a Difference...: Proceedings of the 7th International Conference for the Learning Sciences, ICLS 2006, Bloomington, IN, USA, June 27 - July 1, 2006, 2006, International Society of the Learning Sciences. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Volker Schubert, Stefan W. Hamerich |
The dialog application metalanguage GDialogXML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2005 - Eurospeech, 9th European Conference on Speech Communication and Technology, Lisbon, Portugal, September 4-8, 2005, pp. 789-792, 2005, ISCA. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Boris Gorbis |
A Primitive Model Of Metalanguage For Universal Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLMTA ![In: Proceedings of The 2005 International Conference on Machine Learning, Models, Technologies and Applications, MLMTA 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 39-45, 2005, CSREA Press, 1-932415-73-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
24 | Tiago Stein D'Agostini, Antônio Augusto Fröhlich |
Bridging AOP to SMP: turning GCC into a metalanguage preprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1563-1564, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
aspects, metaprogramming |
24 | H. Delebecque |
HDSML: A Lightweigth Authoring Metalanguage with Objectoriented Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWI ![In: Proceedings of the IADIS International Conference WWW/Internet 2003, ICWI 2003, Algarve, Portugal, November 5-8, 2003, pp. 1261-1262, 2003, IADIS, 972-98947-1-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
24 | Gopalan Nadathur |
The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: 9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002, pp. 35-48, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Folkert de Vriend, Peter-Arno Coppen, W. Haeseryn |
Using Grammatical Description as a Metalanguage Resource. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Third International Conference on Language Resources and Evaluation, LREC 2002, May 29-31, 2002, Las Palmas, Canary Islands, Spain, 2002, European Language Resources Association. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Ryszard S. Michalski, Kenneth A. Kaufman |
Building Knowledge Scouts Using KGL Metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 41(4), pp. 433-447, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Andrew M. Pitts, Murdoch Gabbay |
A Metalanguage for Programming with Bound Names Modulo Renaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings, pp. 230-255, 2000, Springer, 3-540-67727-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: 1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998, pp. 147-160, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Guy McCusker |
Games and full abstraction for a functional metalanguage with recursive types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
24 | Egidio Astesiano, Gianna Reggio |
A Metalanguage for the Formal Requirement Specification of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 110-128, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | John D. Evans, Robert R. Kessler |
DPOS: A Metalanguage and Programming Environment for Parallel Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 5(1-2), pp. 105-123, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
24 | Karl B. Zerangue, Joseph E. Urban |
The use of a software specification metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, Kansas City, MO, USA, March 1-3, 1992, pp. 896-903, 1992, ACM, 0-89791-502-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Karl B. Zerangue, Joseph E. Urban |
A metalanguage based on a theory of specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Sixteenth Annual International Computer Software and Applications Conference, COMPSAC 1992, Proceedings, Chicago, IL, USA, 21-25 September, 1992, pp. 218-223, 1992, IEEE, 0-8186-3000-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Carolyn K. Duby, Scott Meyers, Steven P. Reiss |
CCEL: A Metalanguage for C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C++ Conference ![In: Proceedings of the C++ Conference. Portland, OR, USA, August 1992, pp. 99-116, 1992, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
24 | J. Allan Yang, Young-il Choo |
Parallel-Program Transformation Using A Metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Williamsburg, Virginia, USA, April 21-24, 1991, pp. 11-20, 1991, ACM, 0-89791-390-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Pierre Savéant, Philippe Codognet |
A Metalanguage for Representation and Control in Assumption-based Problem Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'90, Proceedings of the Second International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 21-23, 1990, pp. 159-164, 1990, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
24 | Craig Smith |
A Conversion Specification Metalanguage for applications of the Standard Generalized Markup Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1990 |
RDF |
|
24 | Lingzi Jin, Hong Zhu 0002 |
A metalanguage to express human guidance for program transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAI ![In: IEEE International Workshop on Tools for Artificial Intelligence: Architectures, Languages and Algorithms, TAI 1989, Fairfax, VA, USA, October 23-25, 1989, pp. 717-722, 1989, IEEE Computer Society, 0-8186-1984-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Andrzej Blikle |
MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1987 |
DOI RDF |
|
24 | Barrett R. Bryant, Balanjaninath Edupuganty, Lee S. Hull |
Two-Level Grammar as an Implementable Metalanguage for Axiomatic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 11(3/4), pp. 173-191, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Alan E. Wittbecker |
Genesis of a TeX-based markup metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: SIGUCCS '86 Proceedings of the 14th annual ACM SIGUCCS conference on User services: setting the direction, Montreal, Canada, 1986, pp. 31-33, 1986, ACM, 0-89791-208-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Enrico Motta, Maria Simi, Giuseppe Attardi |
Metalanguage and Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Knowledge Base Management (Xania) ![In: Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence, Book resulting from the Xania Workshop 1985, pp. 57-72, 1985, Springer, 978-3-540-18987-9. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
24 | Giuseppe Attardi, Maria Simi |
Metalanguage and Reasoning Across Viewpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Advances in Artificial Intelligence, Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September 5-7, 1984., pp. 413-422, 1984, North-Holland, 0-444-87611-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
24 | Roger S. Scowen |
A standard syntactic metalanguage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 17(3), pp. 68-73, 1982. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGART Newsl. ![In: SIGART Newsl. 79, pp. 43-44, 1982. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: Proceedings of the 9th International Conference on Computational Linguistics, COLING '82, Prague, Czechoslovakia, July 5-10, 1982, pp. 183-190, 1982, ACADEMIA, Publishing House of the Czechoslovak Academy of Sciences. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
24 | Kurt Konolige |
A Metalanguage Representation of Relational Databases for Deductive Question-Answering Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 7th International Joint Conference on Artificial Intelligence, IJCAI '81, Vancouver, BC, Canada, August 24-28, 1981, pp. 496-503, 1981, William Kaufmann. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
24 | Frank G. Pagan |
ALGOL 68 as a Metalanguage for Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 22(1), pp. 63-66, 1979. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978, pp. 119-130, 1978, ACM Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Robert C. Heterick, John A. Gerth, Nathan Huebner |
A metalanguage for interactive simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 9th conference on Winter simulation, WSC 1977, Gaithersburg, MD, USA, December 5-7, 1977, pp. 558-567, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 6, pp. 109-131, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
24 | Harold B. Pepinsky |
A metalanguage for systematic research on human communication via natural language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 25(1), pp. 59-69, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
24 | Jerry R. Hobbs |
A Metalanguage for Expressing Grammatical Restrictions in Nodal Spans Parsing of Natural-Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1974 |
RDF |
|