Author

Ian A. Mason

Observed names: By Ian Mason, I. Mason, I.A. Mason, IA Mason, IAN A. MASON, IAN MASON, Ian A. Mason A, Ian Mason, Mason IA, Mason, Ian, Mason, Ian A.

Institution: SRI International

Observed institutions: University of Udine, University of Tasmania, SRI International, Johns Hopkins University, University of New England, University of New England, Stanford University, University of Edinburgh

OpenAlex ID: A5111689976

A foundation for actor computation

1997 · GUL A. AGHA, IAN A. MASON, et al. · Journal of Functional Programming · 445

PDF

Equivalence in functional languages with effects

1991 · Ian Mason, Carolyn Talcott · Journal of Functional Programming · 169

PDF

Propositional logic of context

1993 · Saša Buvač, Ian A. Mason · 146

Metamathematics of Contexts

1995 · Saša Buvač, Vanja Buvač, et al. · Fundamenta Informaticae · 119

Using typed lambda calculus to implement formal systems on a machine

1992 · Arnon Avron, Furio Honsell, et al. · Journal of Automated Reasoning · 103

Towards a theory of actor computation: Extended abstract

1992 · Gul Agha, Ian A. Mason, et al. · Lecture notes in computer science · 93

A Variable Typed Logic of Effects

1995 · F. Honsell, I.A. Mason, et al. · Information and Computation · 65

From Operational Semantics to Domain Theory

1996 · Ian A. Mason, Scott F. Smith, et al. · Information and Computation · 56

References, local variables and operational reasoning

2003 · I.A. Mason, C.L. Talcott · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 41

Actor languages their syntax, semantics, translation, and equivalence

1999 · Ian A. Mason, Carolyn L. Talcott · Theoretical Computer Science · 40

PDF

Programming, transforming, and proving with function abstractions and memories

1989 · Ian Mason, Carolyn Talcott · Lecture notes in computer science · 38

Inferring the equivalence of functional programs that mutate data

1992 · Ian Mason, Carolyn Talcott · Theoretical Computer Science · 37

PDF

The semantics of destructive LISP

1986 · Mason, Ian A. · 35

The semantics of propositional contexts

1994 · Saša Buvač, Vanja Buvač, et al. · Lecture notes in computer science · 33

Axiomatizing operational equivalence in the presence of side effects

2003 · I.A. Mason, C. Talcott · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 31

A Framework for Analyzing Adaptive Autonomous Aerial Vehicles

2018 · Ian A. Mason, Vivek Nigam, et al. · Lecture notes in computer science · 26

Computing with Contexts

1999 · Ian A. Mason · LISP and Symbolic Computation · 26

A sound and complete axiomatization of operational equivalence of programs with memory

1989 · Ian Mason, Carolyn Talcott · 23

Verification of programs that destructively manipulate data

1988 · Ian A. Mason · Science of Computer Programming · 19

Operational Techniques in PVS — A Preliminary Evaluation

2001 · Jonathan M. Ford, Ian A. Mason · Electronic Notes in Theoretical Computer Science · 17

PDF

Bootstrapping Communications into an Anti-Censorship System.

2012 · Patrick Lincoln, Ian Mason, et al. · 15

Simple Network Protocol Simulation within Maude

2000 · Ian A. Mason, Carolyn L. Talcott · Electronic Notes in Theoretical Computer Science · 15

PDF

An Overview of the Edinburgh Logical Framework

1989 · Arnon Avron, Furio Honsell, et al. · Springer eBooks · 15

IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude

2005 · Ian A. Mason, Carolyn L. Talcott · Electronic Notes in Theoretical Computer Science · 13

PDF

The metatheory of the classical propositional calculus is not axiomatizable

1985 · Ian Mason · Journal of Symbolic Logic · 11

Works count: 79

Citation count: 1,766

H-index: 19

I10-index: 28