Follow
Ian A. Mason
Ian A. Mason
Senior Computer Scientist, SRI International
Verified email at csl.sri.com - Homepage
Title
Cited by
Cited by
Year
A foundation for actor computation
GA Agha, IA Mason, SF Smith, CL Talcott
Journal of functional programming 7 (1), 1-72, 1997
6781997
Equivalence in Functional Languages with Effects
IA Mason, CL Talcott
Journal of functional programming 1, 287-327, 1991
2321991
Propositional logic of context
S Buvac, IA Mason
AAAI, 412-419, 1993
2121993
Metamathematics of contexts
S Buvač, V Buvač, IA Mason
Fundamenta Informaticae 23 (2, 3, 4), 263-301, 1995
1961995
Using typed lambda calculus to implement formal systems on a machine
A Avron, F Honsell, IA Mason, R Pollack
Journal of Automated Reasoning 9 (3), 309-354, 1992
1561992
Towards a theory of actor computation
G Agha, IA Mason, S Smith, C Talcott
International Conference on Concurrency Theory, 565-579, 1992
1511992
A variable typed logic of effects
F Honsell, IA Mason, S Smith, C Talcott
Information and Computation 119 (1), 55-90, 1995
981995
From operational semantics to domain theory
IA Mason, SF Smith, CL Talcott
Information and Computation 128 (1), 26-47, 1996
821996
Actor languages their syntax, semantics, translation, and equivalence
IA Mason, CL Talcott
Theoretical Computer Science 220 (2), 409-467, 1999
631999
References, local variables and operational reasoning
IA Mason, CL Talcott
1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992
631992
Using typed lambda calculus to implement formal systems on a machine
A Avron, FA Honsell, IA Mason
University of Edinburgh, Department of Computer Science, Laboratory for …, 1987
591987
Inferring the equivalence of functional programs that mutate data
I Mason, C Talcott
Theoretical Computer Science 105 (2), 167-215, 1992
511992
The semantics of destructive Lisp
IA Mason
Center for the Study of Language and Information, 1987
501987
Programming, transforming, and proving with function abstractions and memories
I Mason, C Talcott
International Colloquium on Automata, Languages, and Programming, 574-588, 1989
471989
Hoare's Logic in the LF
IA Mason
University of Edinburgh, Department of Computer Science. Laboratory for …, 1987
471987
Axiomatizing Operational Equivalence in the presence of Side E ects
IA Mason, CL Talcott
4th Symposium on logic in computer science, Asilomar CA,(IEEE), 1989
441989
The semantics of propositional contexts
S Buvač, V Buvač, IA Mason
International Symposium on Methodologies for Intelligent Systems, 468-477, 1994
321994
Verification of programs that destructively manipulate data
IA Mason
Science of Computer Programming 10 (2), 177-210, 1988
321988
Bootstrapping Communications into an Anti-Censorship System.
P Lincoln, I Mason, PA Porras, V Yegneswaran, Z Weinberg, J Massar, ...
FOCI, 2012
302012
Iop: The interoperability platform & imaude: An interactive extension of maude
IA Mason, CL Talcott
Electronic Notes in Theoretical Computer Science 117, 315-333, 2005
282005
The system can't perform the operation now. Try again later.
Articles 1–20