6 research outputs found
The CIAO multiparadigm compiler and system: A progress report
Abstract is not available
The CIAO multi-dialect compiler and system: A demo and status report
Abstract is not availabl
The CIAO multi-dialect compiler and system: An experimentation workbench for future (C)LP systems
Abstract is not available
Towards a practical full mode inference system for CLP(H,N)
Book subtitle: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMINGstatus: publishe