Aquarium: Cassiopea and Alewife Languages

07/31/2019
by   David A. Holland, et al.
0

This technical report describes two of the domain specific languages used in the Aquarium kernel code synthesis project. It presents the language cores in terms of abstract syntax. Cassiopea is a machine description language for describing the semantics of processor instruction sets. Alewife is a specification language that can be used to write machine independent specifications for assembly-level instruction blocks. An Alewife specification can be used to verify and synthesize code for any machine described in Cassiopea, given a machine-specific translation for abstractions used in the specification. This article does not include an introduction to either the Aquarium system or the use of the languages. In addition to this version of the article being a draft, the Aquarium project and the languages are work in progress. This article cannot currently be considered either final or complete.

READ FULL TEXT
research
07/31/2019

Aquarium Technical Report Preprint

In this technical report, we present the core calculi for two of the dom...
research
04/15/2022

Towards Porting Operating Systems with Program Synthesis

The end of Moore's Law has ushered in a diversity of hardware not seen i...
research
05/02/2022

PSI Draft Specification

This document presents the draft specification for delivering machine le...
research
02/13/2018

Extending the DEVS Formalism with Initialization Information

DEVS is a popular formalism to model system behaviour using a discrete-e...
research
03/06/2023

Using Spoofax to Support Online Code Navigation

Spoofax is a language workbench. A Spoofax language specification genera...
research
01/25/2023

Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA^+

The main aim of this report is to provide an introductory tutorial on th...
research
09/15/2017

Tortoise: Interactive System Configuration Repair

System configuration languages provide powerful abstractions that simpli...

Please sign up or login with your details

Forgot password? Click here to reset