An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

This publication has 50 references indexed in Scilit:

• Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism
  2007
• RPython
  2007
• A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
  2006
• Multivariant Non-failure Analysis via Standard Abstract Interpretation
  Lecture Notes in Computer Science, 2004
• Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library
  Theory and Practice of Logic Programming, 2001
• A New Module System for Prolog
  2000
• Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming
  ACM Transactions on Programming Languages and Systems, 1999
• Partial order and contextual net semantics for atomic and locally atomic CC programs
  Science of Computer Programming, 1998
• From eventual to atomic and locally atomic CC programs: A concurrent semantics
  Lecture Notes in Computer Science, 1994
• Soft typing
  1991