This repository was archived by the owner on Feb 1, 2020. It is now read-only.

Implementation Overview

Jump to bottom

Cosmin Radoi edited this page Dec 2, 2015 · 2 revisions

This page will eventually describe, at a high level, the structure of the K framework implementation. For now, this is a high-level diagram, with a particular focus on the front-end.