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.