OBJ3 swMATH ID: 5370 Software Authors: J. Goguen, T. Winkler, J. Meseguer, K. Futatsigi and J. Jouannaud; (kiniry) Description: OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems. Homepage: http://rd.springer.com/chapter/10.1007/978-1-4757-6541-0_1 Programming Languages: Lisp, Other Keywords: education; Scientific/Engineering; Mathematics; Software Development; Quality Assurance Related Software: Maude; CafeOBJ; CASL; ELAN; Haskell; AProVE; MU-TERM; MTT; Stratego; Tyrolean; ITP; ML; LARCH; 2OBJ; Isabelle; Hets; UNITY; PVS; Nuprl; ATERM Cited in: 137 Publications all top 5 Cited by 144 Authors 32 Meseguer Guaita, José 19 Lucas, Salvador 15 Roşu, Grigore 12 Durán, Francisco 11 Diaconescu, Răzvan 7 Escobar, Santiago 7 Goguen, Joseph Amadee 6 Eker, Steven 5 Alpuente, María 5 Futatsugi, Kokichi 5 Martí-Oliet, Narciso 5 Ogata, Kazuhiro 5 Rabe, Florian 4 Clavel, Manuel 4 Gutiérrez, Raúl 4 Lincoln, Patrick D. 4 Şerbănuţă, Traian Florin 3 Malcolm, Grant 3 Marché, Claude 3 Mossakowski, Till 3 Sampaio, Augusto C. A. 3 Sannella, Donald T. 3 Tarlecki, Andrzej 2 Alarcón, Beatriz 2 Johnsen, Einar Broch 2 Jouannaud, Jean-Pierre 2 Kirchner, Hélène 2 Mosses, Peter D. 2 Ojeda, Pedro 2 Owe, Olaf 2 Skeirik, Stephen 2 Smith, Douglas R. 2 Stavridou, Victoria 2 Talcott, Carolyn L. 2 Ţuţu, Ionuţ 2 Urbain, Xavier 2 Visser, Eelco 1 Alcalde, Juan 1 Antimirov, Valentin M. 1 Apetrei, Adriana 1 Arenas, Aurelio 1 Astesiano, Egidio 1 Barbosa, Luís Soares 1 Benaissa, Zine-el-Abidine 1 Bertolissi, Clara 1 Bidoit, Michel 1 Bjørk, Joakim 1 Bjørner, Dines 1 Bouhoula, Adel 1 Bowen, Jonathan P. 1 Brainer, Alexandre H. F. 1 Burstall, Rod M. 1 Caleiro, Carlos 1 Campos, Marcilia A. 1 Carvalho Júnior, Antonio 1 Cerioli, Maura 1 Chen, Feng 1 Chomicki, Jan 1 Cook, Steve 1 Cornélio, Márcio 1 Daudier, Dorian 1 Denker, Grit 1 Dong, JinSong 1 Dufourd, Jean-François 1 Ehrich, Hans-Dieter 1 Espert, Javier 1 Fernández, Maribel 1 Fischer, Bernd 1 Gaĭnă, Daniel 1 Gheorghies, Ovidiu 1 Giesl, Jürgen 1 Giunchiglia, Fausto 1 Gramlich, Bernhard 1 Grätzer, George 1 Hamana, Makoto 1 Harman, N. A. 1 Haughton, Howard 1 Haxthausen, Anne Elisabeth 1 He, Jifeng 1 Hinchey, Michael G. 1 Hoare, C. A. R. Tony 1 Indermark, Klaus 1 Jónsson, Bjarni 1 Kamperman, J. F. Th. 1 Kemp, Tom 1 Kleppe, Anneke 1 Kohlhase, Michael 1 Krieg-Brückner, Bernd 1 Krogdahl, Stein 1 Kyas, Marcel 1 Lampe, William A. 1 Lano, Kevin 1 Lehmann, Thomas Martin 1 Lin, Kai 1 Liu, Yang 1 Loeckx, Jacques 1 Lowry, Michael R. 1 Lucanu, Dorel 1 Lysne, Olav 1 Madeira, Alexandre ...and 44 more Authors all top 5 Cited in 27 Serials 24 Theoretical Computer Science 7 Information and Computation 6 Formal Aspects of Computing 5 Acta Informatica 5 Journal of Logical and Algebraic Methods in Programming 4 The Journal of Logic and Algebraic Programming 3 Journal of Symbolic Computation 3 MSCS. Mathematical Structures in Computer Science 3 Journal of Functional Programming 2 Information Processing Letters 2 Science of Computer Programming 2 Journal of Automated Reasoning 1 Journal of the Association for Computing Machinery 1 Journal of Computer and System Sciences 1 Cybernetics and Systems 1 CAD. Computer-Aided Design 1 Formal Methods in System Design 1 Annals of Mathematics and Artificial Intelligence 1 Reliable Computing 1 Higher-Order and Symbolic Computation 1 ACM Transactions on Computational Logic 1 Cambridge International Series on Parallel Computation 1 Graduate Texts in Computer Science 1 The Kluwer International Series in Engineering and Computer Science 1 AMAST Series in Computing 1 Logical Methods in Computer Science 1 Studies in Universal Logic all top 5 Cited in 9 Fields 131 Computer science (68-XX) 33 Mathematical logic and foundations (03-XX) 6 Category theory; homological algebra (18-XX) 4 General algebraic systems (08-XX) 2 General and overarching topics; collections (00-XX) 2 Numerical analysis (65-XX) 1 History and biography (01-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year