Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description). (English) Zbl 07628207 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 529-540 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{F. Durán} et al., Lect. Notes Comput. Sci. 13385, 529--540 (2022; Zbl 07628207) Full Text: DOI
Mason, Ian A.; Talcott, Carolyn L. Reasoning about effects: from lists to cyber-physical agents. (English) Zbl 1421.68008 Log. Methods Comput. Sci. 15, No. 2, Paper No. 8, 15 p. (2019). MSC: 68N01 PDFBibTeX XMLCite \textit{I. A. Mason} and \textit{C. L. Talcott}, Log. Methods Comput. Sci. 15, No. 2, Paper No. 8, 15 p. (2019; Zbl 1421.68008) Full Text: arXiv
Mason, Ian A.; Talcott, Carolyn L. Actor languages. Their syntax, semantics, translation, and equivalence. (English) Zbl 0954.68089 Theor. Comput. Sci. 220, No. 2, 409-467 (1999). MSC: 68Q45 68Q55 68N18 68N15 PDFBibTeX XMLCite \textit{I. A. Mason} and \textit{C. L. Talcott}, Theor. Comput. Sci. 220, No. 2, 409--467 (1999; Zbl 0954.68089) Full Text: DOI
Mason, Ian A.; Talcott, Carolyn L. A semantics preserving actor translation. (English) Zbl 1401.68026 Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 369-378 (1997). MSC: 68N15 68N18 68N19 68Q55 PDFBibTeX XMLCite \textit{I. A. Mason} and \textit{C. L. Talcott}, Lect. Notes Comput. Sci. 1256, 369--378 (1997; Zbl 1401.68026) Full Text: DOI
Talcott, Carolyn A theory for program and data type specification. (English) Zbl 0759.68061 Theor. Comput. Sci. 104, No. 1, 129-159 (1992). Reviewer: A.V.Anisimov (Kiev) MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Talcott}, Theor. Comput. Sci. 104, No. 1, 129--159 (1992; Zbl 0759.68061) Full Text: DOI
Mason, Ian; Talcott, Carolyn Inferring the equivalence of functional programs that mutate data. (English) Zbl 0768.68092 Theor. Comput. Sci. 105, No. 2, 167-215 (1992). MSC: 68Q60 68Q55 68N01 PDFBibTeX XMLCite \textit{I. Mason} and \textit{C. Talcott}, Theor. Comput. Sci. 105, No. 2, 167--215 (1992; Zbl 0768.68092) Full Text: DOI
Galbiati, Louis; Talcott, Carolyn A simplifier for untyped lambda expressions. (English) Zbl 1507.68071 Kaplan, Stéphane (ed.) et al., Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11–14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 516, 342-353 (1991). MSC: 68N18 68Q42 PDFBibTeX XMLCite \textit{L. Galbiati} and \textit{C. Talcott}, Lect. Notes Comput. Sci. 516, 342--353 (1991; Zbl 1507.68071) Full Text: DOI
Mason, Ian; Talcott, Carolyn Equivalence in functional languages with effects. (English) Zbl 0941.68540 J. Funct. Program. 1, No. 3, 287-327 (1991). MSC: 68N18 68N15 03B70 68Q55 PDFBibTeX XMLCite \textit{I. Mason} and \textit{C. Talcott}, J. Funct. Program. 1, No. 3, 287--327 (1991; Zbl 0941.68540) Full Text: DOI