K-code. 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 Kaleidoscope93 Virtual Machine", G. Lopez et al, SIGPLAN
Notices 29(10):259-271 (Oct 1994).
Comments, Experience, Additions
Next Language: K5