Ciao

Ciao is a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1993-2018
0519932018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
We provide an overall description of the Ciao multiparadigm programming sy stem emphasizing some of the novel aspects and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Review
2005
Review
2005
The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at… (More)
  • table 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
Review
2003
Review
2003
The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at… (More)
  • table 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
2001
2001
This paper presents the design of a multiuser, large-scale 3-D layout system: Collaborative Immersive Architectural layout (CIAO… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2001
2001
The agent programming landscape has been revealed as a natural framework for developing "intelligence" in AL This can be seen… (More)
Is this relevant?
Review
2001
Review
2001
We discuss from a practical point of view a number of issues involved in writing distributed Internet and WWW applications using… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1999
1999
Separating programs into modules is a well-known technique which has proven very useful in program development and maintenance… (More)
  • figure 4
Is this relevant?
Review
1999
Review
1999
We present a tutorial overview of Ciaopp, the Ciao system preprocessor. Ciao is a public-domain, next-generation logic… (More)
Is this relevant?
1999
1999
Ciao Prolog incorporates a module system which allows sepárate compilation and sensible creation of standalone executables. We… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Programmers frequently have to retrieve and link information from various software documents to accomplish a maintenance task… (More)
Is this relevant?