Ciao swMATH ID: 12088 Software Authors: Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G. Description: The Ciao System. Ciao is a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles. Its main design objectives are high expressive power, extensibility, safety, reliability, and efficient execution. Homepage: http://ciao-lang.org/ Related Software: CiaoPP; SICStus; Mercury; XSB; ECCE; z3; RAHFT; Why3; WhyML; VeriMAP; SeaHorn; SWI-Prolog; Prolog; HSF; YAP-Prolog; Coq; FPROLOG; FRIL; ACE; BoogiePL Cited in: 52 Documents all top 5 Cited by 67 Authors 29 Hermenegildo, Manuel V. 13 López-García, Pedro 12 Puebla, Germán 8 Bueno, Francisco 7 Albert, Elvira 6 Morales, Jose Francisco 4 Carro, Manuel 4 Klemen, Maximiliano 4 Liqat, Umer 3 Arenas, Puri 3 Darmawan, Luthfi 3 Gallagher, John P. 2 Bistarelli, Stefano 2 Cabeza, Daniel 2 Casas, Amadeo 2 García-Contreras, Isabel 2 Genaim, Samir 2 Pettorossi, Alberto 2 Proietti, Maurizio 2 Santini, Francesco 2 Seidl, Helmut 2 Straccia, Umberto 2 Vogler, Ralf 1 Arias, Joaquin 1 Bagnara, Roberto 1 Banković, Zorana 1 Bobillo, Fernando 1 Casso, Ignacio 1 Correas, Jesús 1 Cousot, Patrick 1 Cousot, Radhia 1 De Angelis, Emanuele 1 De Schreye, Danny 1 Fioravanti, Fabio 1 Fiorentini, Camillo 1 Gaboardi, Marco 1 Garcia de la Banda, Maria 1 Garg, Deepak 1 Giacobazzi, Roberto 1 Gori, Roberta 1 Gras, Daniel Cabeza 1 Haemmerlé, Rémy 1 Hill, Patricia M. 1 Kafle, Bishoksan 1 Lipton, James B. 1 Loyer, Yann 1 Lu, Lunjin 1 Marriott, Kim 1 Méndez-Lojo, Mario 1 Momigliano, Alberto 1 Montanari, Ugo G. 1 Muñoz-Hernández, Susana 1 Navas, Jorge A. 1 Nieva, Susana 1 Ochoa, Claudio 1 Ornaghi, Mario 1 Qu, Weihao 1 Renault, Sophie 1 Rossi, Francesca 1 Schulze Frielinghaus, Stefan 1 Serebrenik, Alexander 1 Stuckey, Peter James 1 Stulova, Nataliia 1 Taylor, Hamish 1 Xirogiannis, George 1 Zaffanella, Enea 1 Zanardini, Damiano all top 5 Cited in 11 Serials 9 Theory and Practice of Logic Programming 4 Theoretical Computer Science 4 New Generation Computing 2 Journal of Automated Reasoning 1 Science of Computer Programming 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Higher-Order and Symbolic Computation Cited in 3 Fields 51 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 Numerical analysis (65-XX) Citations by Year