Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,229,792 papers from all fields of science
Search
Sign In
Create Free Account
Ciao
Known as:
Ciao (disambiguation)
Ciao is a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
19 relations
Bootstrapping (compilers)
Comparison of Prolog implementations
Concurrency (computer science)
Constraint logic programming
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Coinductive Proofs over Streams as CHR Confluence Proofs
Rémy Haemmerlé
2012
Corpus ID: 17262422
Coinduction is an important theoretical tool for defining and reasoning about unbounded data structures (such as streams…
Expand
2009
2009
NMR and Solvent Effect Study on the Active Site of Oxidized Azurin
K. Shahanipour
,
T. Salari
,
Fatemeh Mollaamin
,
M. Monajjemi
2009
Corpus ID: 55305389
The complexive abilities of 5,11,17-tddert-butyl-23 amino-25.26,27,28-tet3propoxy-calix[4]arere and 5,1127-tri-amino-23…
Expand
2008
2008
Calculating likely Parallelism within Dependant Conjunctions for Logic Programs
P. Bone
2008
Corpus ID: 14149303
The rate at which computers are becoming faster at sequential execution has dropped significantly. Instead parallel processing…
Expand
2007
2007
Uniting the Quiescent and Burst Emission Spectra of Magnetar Candidates
Y. Nakagawa
,
A. Yoshida
,
K. Yamaoka
,
N. Shibazaki
2007
Corpus ID: 7525113
Spectral studies of quiescent emission and short bursts of magnetar candidates using XMM-Newton, Chandra and Swift data are…
Expand
2007
2007
Implementation of Suspension-Based Tabling in Prolog using External Primitives
Ricardo Rocha
,
Cláudio Silva
,
Ricardo Lopes
2007
Corpus ID: 164216218
We present the design, implementation and evaluation of a suspension-based tabling mechanism that supports tabled evaluation by…
Expand
Review
2006
Review
2006
Why Ciao? An overview of the ciao system's design philosophy
M. Hermenegildo
2006
Corpus ID: 697413
Our intention in this note is not to provide a listing of the many features of the Ciao system: this can be found in part for…
Expand
Review
2004
Review
2004
Evaluating e-learning Courses for Continuing Professional Development Using the Conversational Model: A Review of UNIGIS
Charles Buckley and Karl Donert
2004
Corpus ID: 16084084
UNIGIS is a distance learning course designed specifically for students working in the area of geographical information and is…
Expand
2000
2000
Chandra Interactive Analysis of Observations (CIAO)
A. Dobrzycki
2000
Corpus ID: 116139338
The Chandra (formerly AXAF) telescope, launched on July 23, 1999, provides X-rays data with unprecedented spatial and spectral…
Expand
1998
1998
Coronagraph Imager with Adaptive Optics ( CIAO ) for the Subaru 8m Telescope
M. Tamura
,
H. Suto
,
+9 authors
Y. Oasa
1998
Corpus ID: 54828227
CIAO is a stellar Coronagraph Imager with Adaptive Optics for use on the Subaru 8.2-m telescope, whose aim is to obtain…
Expand
1993
1993
Commande adaptative supervisee : aspects methodologiques et ciao
Samuel Siqueira Bueno
1993
Corpus ID: 169839412
Ce memoire de these porte sur deux sujets complementaires. L'un est l'etablissement d'une methodologie pour la synthese…
Expand