Skip to search formSkip to main contentSkip to account menu

Ciao

Known as: Ciao (disambiguation) 
Ciao is a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles… 
Wikipedia (opens in a new tab)

Related topics

Related topics

19 relations
Bootstrapping (compilers)Comparison of Prolog implementationsConcurrency (computer science)Constraint logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Periodic signals from the Circinus region: two new cataclysmic variables and the ultraluminous X-ray source candidate GC X-1
The examination of two 2010 Chandra ACIS exposures of the Circinus galaxy resulted in the discovery of two pulsators: CXO J141430… 
2015
2015
Closer view of the IGR J11014-6103 outflows
IGR J11014-6103 (also known as the Lighthouse Nebula) is composed of a bow-shock pulsar wind nebula (PWN) and large-scale X-ray… 
2012
2012
Study of LINER sources with broad Hα emission - Spectral energy distribution and multiwavelength correlations
(Abridged) We attempt to infer the accretion mechanism and radiative processes giving rise to the SEDs of a well-defined… 
Review
2011
Review
2011
An overview of Ciao and its design philosophy
Abstract We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and… 
2011
2011
THE WIDEST-SEPARATION SUBSTELLAR COMPANION CANDIDATE TO A BINARY T TAURI STAR
The results of near-infrared imaging and spectroscopy of a substellar companion (SR12 C), with a possible planetary mass, of a… 
2011
2011
Unresolved and diffuse components of X-ray emission and X-ray-to-K-band luminosity ratios in nearby early-type and late-type galaxies
We explore the nature of unresolved X-ray emission in a broad sample of galaxies of all morphological types based on archival… 
Highly Cited
2001
Highly Cited
2001
Union schemas as a basis for a C++ extractor
An extractor is a program which processes source code and outputs facts about the code in a software exchange format (SEF). An… 
Highly Cited
1999
Highly Cited
1999
Contexts for evaluating educational software
1999
1999
Concurrency control in CIAO
This paper is concerned with the concurrency control for collaborative virtual environments. In particular, we describe how… 
Review
1999
Review
1999
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor
We present a tutorial overview of Ciaopp, the Ciao system preprocessor. Ciao is a public-domain, next-generation logic… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)