K-code

The language recognized by the K-machine, a virtual machine with an incremental constraint solver and a constraint-based data store. Used to implement Kaleidoscope.

"Implementing Constraint Imperative Programming Languages: The Kaleidoscope'93 Virtual Machine", G. Lopez et al, SIGPLAN Notices 29(10):259-271 (Oct 1994).