The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

@inproceedings{Hermenegildo1996TheCM,
  title={The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems},
  author={Manuel V. Hermenegildo and Francisco Bueno and Daniel Cabeza and Manuel Carro and Maria Garcia de la Banda and Pedro L{\'o}pez-Garc{\'i}a and Germ{\'a}n Puebla},
  booktitle={APPIA-GULP-PRODE},
  year={1996}
}
In [HtCg93, HtCg94] we discussed several methodological aspeets regarding the design and efficieney of a class of future logic programming systems. In particular, we proposed a somewhat novel view of concurrent logic programming systems, based on a particular definition of parallelism. We argued that, under this view, a large number of the actual systems and models can be explained (and implemented) through the application of only a few basic principies. They include determinism, non-failure… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
55 Extracted Citations
2 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 55 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-2 of 2 references

U

  • Technologies, NL Utrecht, September
  • Utrecht / T.U. Madrid.
  • 1995

Similar Papers

Loading similar papers…