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: ECCE; Haskell; DPPD; SICStus; CiaoPP; Ciao; TOY; Curry; PAKCS; BABEL; wamcc; Oz; ML; DART; CUTE; SWI-Prolog; Java PathFinder; QuickCheck; ObjectCurry; G12 Cited in: 70 Publications all top 5 Cited by 106 Authors 7 Hermenegildo, Manuel V. 6 Bruynooghe, Maurice 6 Hanus, Michael 6 Schrijvers, Tom 5 Janssens, Gerda 5 Somogyi, Zoltan 4 Leuschel, Michael 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 Santos Costa, Vítor 2 Degrave, François 2 Demoen, Bart 2 Ducassé, Mireille 2 Gómez-Zamalloa, Miguel 2 Henderson, Fergus 2 Jørgensen, Jesper 2 Małuszyński, Jan 2 Mazur, Nancy 2 Morales, Jose Francisco 2 Payet, Étienne 2 Smaus, Jan-Georg 2 Wallace, Mark G. 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 Colvin, Robert J. 1 Conway, Thomas Oliver 1 Craig, Stephen-John 1 Cussens, James 1 De Koninck, Leslie 1 De Schreye, Danny 1 Drabent, Włodzimierz 1 Elphick, Dan 1 Feydy, Thibaut 1 Flener, Pierre 1 Florido, Mário 1 Forget, Benoit 1 Gange, Graeme 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 Howe, Jacob M. 1 Jahier, Erwan 1 Kirchner, Hélène 1 Lau, Kung-Kiu 1 Liern, Vicente 1 Liu, Jed 1 Lock, Hendrik C. R. 1 López-García, Pedro 1 López, Pedro Bello 1 Lu, Lunjin 1 Lucas, Salvador 1 Marriott, Kim 1 Martens, Bern 1 Martínez-Rodríguez, Brian 1 Møgelberg, Rasmus Ejlers 1 Myers, Andrew C. 1 Naish, Lee 1 Navas, Jorge A. 1 Nethercote, Nicholas 1 Neumerkel, Ulrich 1 Pettorossi, Alberto 1 Pietrzak, Paweł 1 Proietti, Maurizio 1 Puchinger, Jakob 1 Rafeh, Reza 1 Renault, Sophie 1 Romano, Paul K. 1 Ross, Peter 1 Ruggieri, Salvatore 1 Siegel, Andrew R. 1 Smith, Kord S. 1 Søndergaard, Harald 1 Sørensen, Morten Heine B. 1 Spoto, Fausto 1 Staton, Sam 1 Strooper, Paul A. 1 Szilágyi, Gyöngyi ...and 6 more Authors all top 5 Cited in 16 Serials 14 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 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 8 Fields 68 Computer science (68-XX) 2 Statistics (62-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year