AI Chat AI Image Generator AI Video Text to Speech

Meta-MeTTa: an operational semantics for MeTTa

05/26/2023
∙
by   Lucius Gregory Meredith, et al.
∙
0
∙

We present an operational semantics for the language MeTTa.

READ FULL TEXT

page 1

page 2

page 3

page 4

Related Research

research
∙ 03/24/2022

Lang-n-Send: Processes That Send Languages

We present Lang-n-Send, a pi-calculus that is equipped with language def...
0 Matteo Cimini, et al. ∙
research
∙ 05/15/2017

Operational Semantics of Process Monitors

CSPe is a specification language for runtime monitors that can directly ...
0 Jun Inoue, et al. ∙
research
∙ 03/16/2023

Full Abstraction for Free

Structured recursion schemes such as folds and unfolds have been widely ...
0 Marco Paviotti, et al. ∙
research
∙ 10/15/2020

Abstract Congruence Criteria for Weak Bisimilarity

We introduce three general compositionality criteria over operational se...
0 Stelios Tsampas, et al. ∙
research
∙ 05/14/2019

Enriched Lawvere Theories for Operational Semantics

Enriched Lawvere theories are a generalization of Lawvere theories that ...
0 John C. Baez, et al. ∙
research
∙ 08/03/2021

Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version)

Deductive verification techniques for C11 programs have advanced signifi...
0 Daniel Wright, et al. ∙
research
∙ 09/07/2021

An Executable Structural Operational Formal Semantics for Python

Python is a popular high-level general-purpose programming language also...
0 Maximilian A. Köhl, et al. ∙

Please sign up or login with your details

Forgot password? Click here to reset

Out of credits

Refill your membership to continue using DeepAI

Stripe
Paypal