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; SeaHorn; ECCE; SWI-Prolog; RAHFT; z3; YAP-Prolog; Why3; WhyML; VeriMAP; Eldarica; JayHorn; PPL; Coq; Smodels; DASWAM; B-Prolog Cited in: 57 Documents all top 5 Cited by 80 Authors 34 Hermenegildo, Manuel V. 15 López-García, Pedro 12 Puebla, Germán 9 Morales, Jose Francisco 8 Bueno, Francisco 7 Albert, Elvira 5 Gallagher, John P. 5 Klemen, Maximiliano 4 Carro, Manuel 4 Liqat, Umer 3 Arenas, Puri 3 Darmawan, Luthfi 3 García-Contreras, Isabel 3 Pettorossi, Alberto 3 Proietti, Maurizio 2 Bistarelli, Stefano 2 Cabeza, Daniel 2 Casas, Amadeo 2 De Angelis, Emanuele 2 Fioravanti, Fabio 2 Genaim, Samir 2 Kafle, Bishoksan 2 Santini, Francesco 2 Seidl, Helmut 2 Straccia, Umberto 2 Vogler, Ralf 1 Abreu, Salvador 1 Arias, Joaquin 1 Bagnara, Roberto 1 Banković, Zorana 1 Bobillo, Fernando 1 Casso, Ignacio 1 Ciatto, Giovanni 1 Correas, Jesús 1 Santos Costa, Vítor 1 Cousot, Patrick 1 Cousot, Radhia 1 Dahl, Veronica 1 De Schreye, Danny 1 Diaz, Daniel 1 Dovier, Agostino 1 Fiorentini, Camillo 1 Formisano, Andrea 1 Gaboardi, Marco 1 Garcia de la Banda, Maria 1 Garg, Deepak 1 Giacobazzi, Roberto 1 Gori, Roberta 1 Gras, Daniel Cabeza 1 Gupta, Gopal 1 Haemmerlé, Rémy 1 Hill, Patricia M. 1 Körner, Philipp 1 Leuschel, Michael 1 Lipton, James B. 1 Loyer, Yann 1 Lu, Lunjin 1 Marriott, Kim 1 Méndez-Lojo, Mario 1 Montanari, Ugo G. 1 Muñoz-Hernández, Susana 1 Navas, Jorge A. 1 Nieva, Susana 1 Ochoa, Claudio 1 Ornaghi, Mario 1 Pontelli, Enrico 1 Qu, Weihao 1 Renault, Sophie 1 Rocha, Ricardo 1 Rossi, Francesca 1 Sanchez-Ordaz, Miguel A. 1 Schulze Frielinghaus, Stefan 1 Serebrenik, Alexander 1 Stuckey, Peter James 1 Stulova, Nataliia 1 Taylor, Hamish 1 Wielemaker, Jan 1 Xirogiannis, George 1 Zaffanella, Enea 1 Zanardini, Damiano all top 5 Cited in 11 Serials 13 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 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 56 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 Numerical analysis (65-XX) Citations by Year