Mercury swMATH ID: 8333 Software Authors: mercurylang.org Description: Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. Homepage: https://mercurylang.org/ Related Software: Haskell; ECCE; Curry; CiaoPP; Ciao; SICStus; DPPD; TOY; wamcc; PAKCS; BABEL; SWI-Prolog; XSB; Oz; Rust; GitHub; Prolog; YAP-Prolog; VeriFly; SeaHorn Cited in: 75 Documents all top 5 Cited by 119 Authors 9 Hermenegildo, Manuel V. 6 Bruynooghe, Maurice 6 Hanus, Michael 6 Schrijvers, Tom 5 Janssens, Gerda 5 Leuschel, Michael 5 Somogyi, Zoltan 4 Santos Costa, Vítor 4 Morales, Jose Francisco 4 Puebla, Germán 4 Stuckey, Peter James 4 Vanhoof, Wim 3 Albert, Elvira 3 Bueno, Francisco 3 Gallagher, John P. 3 Hill, Patricia M. 3 King, Andy 3 Mesnard, Fred 3 Phan, Quan 3 Schachte, Peter 3 Vidal, Germán 2 Cabeza, Daniel 2 Carro, Manuel 2 Degrave, François 2 Demoen, Bart 2 Ducassé, Mireille 2 Florido, Mário 2 Gómez-Zamalloa, Miguel 2 Henderson, Fergus 2 Jørgensen, Jesper 2 López-García, Pedro 2 Małuszyński, Jan 2 Mazur, Nancy 2 Payet, Étienne 2 Smaus, Jan-Georg 2 Wallace, Mark G. 2 Wielemaker, Jan 1 Abreu, Salvador 1 Alpuente, María 1 Andrews, James H. 1 Antoy, Sergio 1 Berghofer, Stefan 1 Bone, Paul 1 Brand, Sebastian 1 Bulwahn, Lukas 1 Casas, Amadeo 1 Chakravarty, Manuel M. T. 1 Ciatto, Giovanni 1 Colvin, Robert J. 1 Conway, Thomas Oliver 1 Craig, Stephen-John 1 Cussens, James 1 Dahl, Veronica 1 De Koninck, Leslie 1 De Schreye, Danny 1 Diaz, Daniel 1 Drabent, Włodzimierz 1 Elphick, Dan 1 Feydy, Thibaut 1 Flener, Pierre 1 Forget, Benoit 1 Gange, Graeme 1 García-Contreras, Isabel 1 Garcia de la Banda, Maria 1 Glück, Robert 1 Gnaedig, Isabelle 1 Gramlich, Bernhard 1 Gyimóthy, Tibor 1 Haftmann, Florian 1 Hayes, Ian J. 1 Henglein, Fritz 1 Howe, Jacob M. 1 Jahier, Erwan 1 Kaarsgaard, Robin 1 Kirchner, Hélène 1 Körner, Philipp 1 Lau, Kung-Kiu 1 Liern, Vicente 1 Liu, Jed 1 Lock, Hendrik C. R. 1 López, Pedro Bello 1 Lu, Lunjin 1 Lucas, Salvador 1 Marriott, Kim 1 Marshall, Daniel F. 1 Martens, Bern 1 Martínez-Rodríguez, Brian 1 Mathiesen, Mikkel Kragh 1 Møgelberg, Rasmus Ejlers 1 Myers, Andrew C. 1 Naish, Lee 1 Navas, Jorge A. 1 Nethercote, Nicholas 1 Neumerkel, Ulrich 1 Orchard, Dominic A. 1 Pettorossi, Alberto 1 Pietrzak, Paweł 1 Proietti, Maurizio 1 Puchinger, Jakob 1 Rafeh, Reza ...and 19 more Authors all top 5 Cited in 15 Serials 16 Theory and Practice of Logic Programming 5 The Journal of Logic Programming 3 Constraints 2 Theoretical Computer Science 1 Artificial Intelligence 1 Information Processing Letters 1 Journal of Computational Physics 1 Computer Languages 1 New Generation Computing 1 Formal Aspects of Computing 1 Machine Learning 1 Journal of Logic and Computation 1 Higher-Order and Symbolic Computation 1 The Journal of Functional and Logic Programming 1 Logical Methods in Computer Science all top 5 Cited in 9 Fields 73 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 2 Statistics (62-XX) 1 General and overarching topics; collections (00-XX) 1 Category theory; homological algebra (18-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year