KernelCORE computer language


Kernel/CORE is a notation for describing computer systems. It is both a programming language, which can be compiled into a highly optimized machine code, and a specification language which can be used for modeling and verification purposes.

Main features unique to the Kernel/CORE notation are:

The Kernel/CORE notation can be used to describe pure combinatorial functions as well as an interactive system, melting together the behavioral and the functional aspects of programming.

  1. History and motivation
  2. Introductory Example
  3. Syntax and Semantics
  4. How does it work
  5. Downloads