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
G Agha, IA Mason, SF Smith, CL Talcott
Journal of Functional Programming 7 (1), 1-72, 1997
6821997
Equivalence in Functional Languages with Effects
IA Mason, CL Talcott
Journal of functional programming 1, 287-327, 1991
2261991
Propositional logic of context
S Buvac, IA Mason
AAAI, 412-419, 1993
2081993
Metamathematics of contexts
S Buvač, V Buvač, IA Mason
Fundamenta Informaticae 23 (2, 3, 4), 263-301, 1995
1911995
Towards a theory of actor computation
G Agha, IA Mason, S Smith, C Talcott
International Conference on Concurrency Theory, 565-579, 1992
1551992
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
1501992
A variable typed logic of effects
F Honsell, IA Mason, S Smith, C Talcott
Information and Computation 119 (1), 55-90, 1995
951995
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
641999
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
611987
The semantics of destructive Lisp
IA Mason
Center for the Study of Language and Information, 1987
541987
Programming, transforming, and proving with function abstractions and memories
I Mason, C Talcott
International Colloquium on Automata, Languages, and Programming, 574-588, 1989
511989
Inferring the equivalence of functional programs that mutate data
I Mason, C Talcott
Theoretical Computer Science 105 (2), 167-215, 1992
501992
Hoare's Logic in the LF
IA Mason
University of Edinburgh, Department of Computer Science. Laboratory for …, 1987
461987
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
451989
Verification of programs that destructively manipulate data
IA Mason
Science of Computer Programming 10 (2), 177-210, 1988
361988
The semantics of propositional contexts
S Buvač, V Buvač, IA Mason
International Symposium on Methodologies for Intelligent Systems, 468-477, 1994
321994
Computing with contexts
IA Mason
Higher-Order and Symbolic Computation 12 (2), 171-201, 1999
281999
Bootstrapping Communications into an Anti-Censorship System.
P Lincoln, I Mason, PA Porras, V Yegneswaran, Z Weinberg, J Massar, ...
FOCI, 2012
272012
The system can't perform the operation now. Try again later.
Articles 1–20