Skip to content

Kernel Documentation

karlklose edited this page Oct 11, 2017 · 5 revisions

Dart Kernel is an intermediate language for Dart programs, a compact binary object-file format supporting separate compilation and linking, and an infrastructure for program transformation. This page is an index of Kernel documentation.

Operational semantics

Binary format

Type System

Transformations and Linking

Debugging support