Artículo

Pombo, C.G.L.; Frias, M.F. "Fork algebras as a sufficiently rich universal institution" (2006) 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006. 4019 LNCS:235-247
La versión final de este artículo es de uso interno. El editor solo permite incluir en el repositorio el artículo en su versión post-print. Por favor, si usted la posee enviela a
Consulte la política de Acceso Abierto del editor

Abstract:

Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, several prepositional monomodal logics, prepositional and first-order dynamic logic, and prepositional and first-order linear temporal logic in the theory of fork algebras. In this paper we formalize these interpretability results as institution representations from the institution of the corresponding logics to that of fork algebra. We also advocate for the institution of fork algebras as a sufficiently rich universal institution into which institutions meaningful in software development can be represented. © Springer-Verlag Berlin Heidelberg 2006.

Registro:

Documento: Artículo
Título:Fork algebras as a sufficiently rich universal institution
Autor:Pombo, C.G.L.; Frias, M.F.
Ciudad:Kuressaare
Filiación:Department of Computer Science, FCEyN, Ciudad Universitaria, Pabelló I, Buenos Aires (1428), Argentina
CONICET, Argentina
Palabras clave:Artificial intelligence; Computational complexity; Computer science; Formal logic; Software engineering; Computational logics; Fork algebras; Monomodal logics; Algebra
Año:2006
Volumen:4019 LNCS
Página de inicio:235
Página de fin:247
Título revista:11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006
Título revista abreviado:Lect. Notes Comput. Sci.
ISSN:03029743
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v4019LNCS_n_p235_Pombo

Referencias:

  • Booch, G., Rumbaugh, J., Jacobson, I., (1998) The Unified Modeling Language User Guide, , Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA
  • Frias, M.F., Fork algebras in algebra, logic and computer science (2002) Advances in Logic, 2. , World Scientific Publishing Co., Singapore
  • Frias, M.F., Orlowska, E., Equational reasoning in non-classical logics (1998) Journal of Applied Non-classical Logics, 8, pp. 27-66
  • Frias, M.F., Baum, G.A., Maibaum, T.S.E., Interpretability of first-order dynamic logic in a relational calculus (2002) Lecture Notes in Computer Science, 2561, pp. 66-80. , de Swart, H., ed.: Proceedings of the 6th. Conference on Relational Methods in Computer Science (ReIMiCS) - TARSKI. Oisterwijk, The Netherlands, Springer-Verlag
  • Frias, M.F., Lopez Pombo, C.G., Time is on my side (2003) Proceedings of the 7th. Conference on Relational Methods in Computer Science (RelMiCS) - 2nd. International Workshop on Applications of Kleene Algebra, pp. 105-111. , Berghammer, R., Möller, B., eds.: Malente, Germany
  • Frias, M.F., Lopez Pombo, C.G., Interpretability of first-order linear temporal logics in fork algebras (2006) Journal of Logic and Algebraic Programming, 66, pp. 161-184
  • Goguen, J.A., Burstall, R.M., Introducing institutions (1984) Lecture Notes in Computer Science, 184, pp. 221-256. , Clarke, E.M., Kozen, D., eds.: Proceedings of the Carnegie Mellon Workshop on Logic of Programs. Springer-Verlag
  • Meseguer, J., General logics (1989) Proceedings of the Logic Colloquium '87, 129, pp. 275-329. , Ebbinghaus, H.D., Fernandez-Prida, J., Garrido, M., Lascar, D., Artalejo, M.R., eds.: Granada, Spain, North Holland
  • Tarlecki, A., Moving between logical systems (1996) Lecture Notes in Computer Science, 1130, pp. 478-502. , Haveraaen, M., Owe, O., Dahl, O.J., eds,: Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification. Springer-Verlag
  • Frias, M.F., Gamarra, R., Steren, G., Bourg, L., A strategy for efficient verification of relational specification, based in monotonicity analysis (2005) Proceedings of the 20th. IEEE/ACM International Conference on Automated Software Engineering, pp. 305-308. , Redmiles, D.F., Ellman, T., Zisman, A., eds.: Long Beach, California, USA, Association for the Computer Machinery and IEEE Computer Society, ACM Press
  • Lopez Pombo, C.G., Owre, S., Shankar, N., A semantic embedding of the Ag dynamic logic in PVS (2002) Technical Report, SRI-CSL-02-04. , Computer Science Laboratory, SRI International
  • Tarski, A., On the calculus of relations (1941) Journal of Symbolic Logic, 6, pp. 73-89
  • Maddux, R.D., Finitary algebraic logic (1989) Zeitschrift fur Mathematisch Logik und Grundlagen der Mathematik, 35, pp. 321-332
  • Burris, S., Sankappanavar, H.P., (1981) A Course in Universal Algebra. Graduate Texts in Mathematics, , Springer-Verlag, Berlin, Germany
  • Fiadeiro, J.L., Sernadas, A., Structuring theories on consequence (1987) Lecture Notes in Computer Science, pp. 44-72. , Tarlecki, A., Sannella, D., eds.: Selected papers from the 5th Workshop on Specification of Abstract Data Types. Gullane, Scotland, Springer-Verlag
  • Fiadeiro, J.L., (2005) Categories for Software Engineering, , Springer-Verlag
  • Fiadeiro, J.L., On the emergence of properties in component-based systems (1996) Lecture Notes in Computer Science, 1101. , Wirsing, M., Nivat, M., eds.: Proceedings of the 1996 Algebraic Methodology and Software Technology - AMAST 96. Munich, Germany, Springer-VerlagA4 - Estonian Ministry of Education and Research, NCEP; Tallinn University of Technol., Inst. of Cybern., Estonia

Citas:

---------- APA ----------
Pombo, C.G.L. & Frias, M.F. (2006) . Fork algebras as a sufficiently rich universal institution. 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006, 4019 LNCS, 235-247.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v4019LNCS_n_p235_Pombo [ ]
---------- CHICAGO ----------
Pombo, C.G.L., Frias, M.F. "Fork algebras as a sufficiently rich universal institution" . 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006 4019 LNCS (2006) : 235-247.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v4019LNCS_n_p235_Pombo [ ]
---------- MLA ----------
Pombo, C.G.L., Frias, M.F. "Fork algebras as a sufficiently rich universal institution" . 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006, vol. 4019 LNCS, 2006, pp. 235-247.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v4019LNCS_n_p235_Pombo [ ]
---------- VANCOUVER ----------
Pombo, C.G.L., Frias, M.F. Fork algebras as a sufficiently rich universal institution. Lect. Notes Comput. Sci. 2006;4019 LNCS:235-247.
Available from: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v4019LNCS_n_p235_Pombo [ ]