Meta-MeTTa: an operational semantics for MeTTa
Logic in Computer Science
2023-05-30 v1
Abstract
We present an operational semantics for the language MeTTa.
Cite
@article{arxiv.2305.17218,
title = {Meta-MeTTa: an operational semantics for MeTTa},
author = {Lucius Gregory Meredith and Ben Goertzel and Jonathan Warrell and Adam Vandervorst},
journal= {arXiv preprint arXiv:2305.17218},
year = {2023}
}
Related papers
View all related →
Programming Languages · Computer Science
Operational methods in semantics
Roberto M. Amadio
2025-10-15
Logic in Computer Science · Computer Science
Operational Semantics of Games
Yong Wang
2019-09-04
Software Engineering · Computer Science
A Note on Semantics (with an Emphasis on UML)
Bernhard Rumpe
2014-09-25
Number Theory · Mathematics
The functional equation for $\zeta$
Keith Ball
2022-01-19
Logic in Computer Science · Computer Science
An extensible formal semantics for UML activity diagrams
Zamira Daw, Rance Cleaveland
2016-04-11
Programming Languages · Computer Science
Towards a Study of Meta-Predicate Semantics
Paulo Moura
2010-09-21
Logic · Mathematics
Semantic interpolation
Dov Gabbay, Karl Schlechta
2009-07-22
Computation and Language · Computer Science
MetaMT,a MetaLearning Method Leveraging Multiple Domain Data for Low Resource Machine Translation
Rumeng Li, Xun Wang, Hong Yu
2024-02-23
Logic in Computer Science · Computer Science
On MITL and alternating timed automata over infinite words
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts
2014-06-18
Programming Languages · Computer Science
A Modular Structural Operational Semantics for Delimited Continuations
Neil Sculthorpe, Paolo Torrini, Peter D. Mosses
2016-06-22
Functional Analysis · Mathematics
Functional Version for Furuta Parametric Relative Operator Entropy
Mustapha Raïssouli, Shigeru Furuichi
2018-03-30
cmp-lg · Computer Science
Semantic-based Transfer
Michael Dorna, Martin C. Emele
2008-02-03
Programming Languages · Computer Science
Formalisation of the lambda aleph Runtime
Neal Glew, Tim Sweeney, Leaf Petersen
2013-07-22
Programming Languages · Computer Science
An Executable Structural Operational Formal Semantics for Python
Maximilian A. Köhl
2021-09-08
Functional Analysis · Mathematics
On characterizations of $\mathcal{MT}(\lambda)$-functions
Wei-Shih Du
2015-06-11
Software Engineering · Computer Science
Towards a Semantics of Activity Diagrams with Semantic Variation Points
Hans Grönninger, Dirk Reiß, Bernhard Rumpe
2014-09-09
Logic in Computer Science · Computer Science
Three Semantics for Modular Systems
Shahab Tasharrofi, Eugenia Ternovska
2014-05-07
Software Engineering · Computer Science
Revisiting Semantics of Interactions for Trace Validity Analysis
Erwan Mahe, Christophe Gaston, Pascale Le Gall
2020-05-08
Logic in Computer Science · Computer Science
Universal Semantics for the Stochastic Lambda-Calculus
Pedro Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden +1
2021-05-18
Programming Languages · Computer Science
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Georgian-Vlad Saioc, Hans Hüttel
2022-09-21
Programming Languages · Computer Science
Operational Semantics with Hierarchical Abstract Syntax Graphs
Dan R. Ghica
2021-02-05
General Mathematics · Mathematics
Some applications of the Beta function
Donal F. Connon
2008-04-22
Computation and Language · Computer Science
Exploring Metaphorical Senses and Word Representations for Identifying Metonyms
Wei Zhang, Judith Gelernter
2015-08-20
Computation and Language · Computer Science
Interpreting Verbal Metaphors by Paraphrasing
Rui Mao, Chenghua Lin, Frank Guerin
2021-04-09
Formal Languages and Automata Theory · Computer Science
Some Issues on the Theory of the Mimic-Computing-Oriented Automata
Weijun Zhu
2018-01-30