Lambda the Ultimate

inactiveTopic CML2
started 11/9/2001; 2:50:52 AM - last post 11/9/2001; 2:50:52 AM
Ehud Lamm - CML2  blueArrow
11/9/2001; 2:50:52 AM (reads: 1495, responses: 0)
CML2 is a configuration system, centered around a domain-specific minilanguage, that I originally wrote to replace the code that currently handles build-option selection for Linux kernels (that is, when you type `make config', `make menuconfig' or `make xconfig'). However, it is designed to be more generally useful for addressing complex configuration problems.

CML2 is a little language (actually, a domain specific language!), and is based on ideas from constraint satisfaction.

The language design is articulated in a paper that also talks about the experience of implementing CML2 in Python.

Posted to Logic/Declerative by Ehud Lamm on 11/9/01; 2:52:51 AM