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

  • Authors:

  • Manuel V. Hermenegildo;Francisco Bueno;Manuel Carro;Pedro López;José F. Morales;German Puebla

  • Affiliations:

  • IMDEA Institute for Software Development Technology, Universidad Politécnica de Madrid, University of New Mexico, Universidad Complutense de Madrid,;IMDEA Institute for Software Development Technology, Universidad Politécnica de Madrid, University of New Mexico, Universidad Complutense de Madrid,;IMDEA Institute for Software Development Technology, Universidad Politécnica de Madrid, University of New Mexico, Universidad Complutense de Madrid,;IMDEA Institute for Software Development Technology, Universidad Politécnica de Madrid, University of New Mexico, Universidad Complutense de Madrid,;IMDEA Institute for Software Development Technology, Universidad Politécnica de Madrid, University of New Mexico, Universidad Complutense de Madrid,;IMDEA Institute for Software Development Technology, Universidad Politécnica de Madrid, University of New Mexico, Universidad Complutense de Madrid,

  • Venue:
  • Concurrency, Graphs and Models
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levels of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system.