| 2005 |
|---|
| 34 | EE | Brett Carson,
Ian A. Mason:
ClusterGrind: Valgrinding LAM/MPI Applications.
PVM/MPI 2005: 325-332 |
| 33 | EE | Ian A. Mason,
Carolyn L. Talcott:
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude.
Electr. Notes Theor. Comput. Sci. 117: 315-333 (2005) |
| 32 | EE | Ian A. Mason,
Carolyn L. Talcott:
Actors and Logical Analysis of Interactive Systems.
Electr. Notes Theor. Comput. Sci. 141(5): 115-133 (2005) |
| 2004 |
|---|
| 31 | EE | Olivier Danvy,
Ian A. Mason:
Editorial.
Higher-Order and Symbolic Computation 17(4): 275-275 (2004) |
| 2003 |
|---|
| 30 | EE | Jonathan Ford,
Ian A. Mason:
Formal Foundations of Operational Semantics.
Higher-Order and Symbolic Computation 16(3): 161-202 (2003) |
| 2001 |
|---|
| 29 | EE | Jonathan M. Ford,
Ian A. Mason:
Operational Techniques in PVS - A Preliminary Evaluation.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 2000 |
|---|
| 28 | EE | Ian A. Mason,
Carolyn L. Talcott:
Simple Network Protocol Simulation within Maude.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 1999 |
|---|
| 27 | | Ian A. Mason:
Computing with Contexts.
Higher-Order and Symbolic Computation 12(2): 171-201 (1999) |
| 26 | EE | Ian A. Mason,
Carolyn L. Talcott:
Actor Languages Their Syntax, Semantics, Translation, and Equivalence.
Theor. Comput. Sci. 220(2): 409-467 (1999) |
| 1997 |
|---|
| 25 | | Ian A. Mason,
Carolyn L. Talcott:
A Semantically Sound Actor Tranlsation.
ICALP 1997: 369-378 |
| 24 | | Gul Agha,
Ian A. Mason,
Scott F. Smith,
Carolyn L. Talcott:
A Foundation for Actor Computation.
J. Funct. Program. 7(1): 1-72 (1997) |
| 23 | EE | Ian A. Mason:
A First Order Logic of Effects.
Theor. Comput. Sci. 185(2): 277-318 (1997) |
| 1996 |
|---|
| 22 | | Ian A. Mason,
Scott F. Smith,
Carolyn L. Talcott:
From Operational Semantics to Domain Theory.
Inf. Comput. 128(1): 26-47 (1996) |
| 1995 |
|---|
| 21 | | Sasa Buvac,
Vanja Buvac,
Ian A. Mason:
Metamathematics of Contexts.
Fundam. Inform. 23(2/3/4): 263-301 (1995) |
| 20 | | Furio Honsell,
Ian A. Mason,
Scott F. Smith,
Carolyn L. Talcott:
A Variable Typed Logic of Effects
Inf. Comput. 119(1): 55-90 (1995) |
| 19 | | Ian A. Mason,
Carolyn L. Talcott:
Reasoning About Object Systems in VTLoE.
Int. J. Found. Comput. Sci. 6(3): 265-298 (1995) |
| 18 | | Ian A. Mason,
Martin Odersky:
Special Issue on State in Programming Languages - Introduction.
Lisp and Symbolic Computation 8(4): 291-292 (1995) |
| 1994 |
|---|
| 17 | | Peter Tu,
Andrew Zisserman,
Ian A. Mason,
Ingemar J. Cox:
Identification of Events from 3D Volumes of Seismic Data.
ICIP (3) 1994: 309-313 |
| 16 | | Sasa Buvac,
Vanja Buvac,
Ian A. Mason:
The Semantics of Propositional Contexts.
ISMIS 1994: 468-477 |
| 15 | | Ian A. Mason,
Carolyn L. Talcott:
Program Transformation via Contextual Assertions.
Logic, Language and Computation 1994: 225-254 |
| 1993 |
|---|
| 14 | | Sasa Buvac,
Ian A. Mason:
Propositional Logic of Context.
AAAI 1993: 412-419 |
| 1992 |
|---|
| 13 | | Gul Agha,
Ian A. Mason,
Scott F. Smith,
Carolyn L. Talcott:
Towards a Theory of Actor Computation.
CONCUR 1992: 565-579 |
| 12 | | Furio Honsell,
Ian A. Mason,
Scott F. Smith,
Carolyn L. Talcott:
A Theory of Classes for a Functional Language with Effects.
CSL 1992: 309-326 |
| 11 | | Ian A. Mason,
Carolyn L. Talcott:
References, Local Variables and Operational Reasoning
LICS 1992: 186-197 |
| 10 | | Arnon Avron,
Furio Honsell,
Ian A. Mason,
Robert Pollack:
Using Typed Lambda Calculus to Implement Formal Systems on a Machine.
J. Autom. Reasoning 9(3): 309-354 (1992) |
| 9 | | Ian A. Mason,
Carolyn L. Talcott:
Inferring the Equivalence of Functional Programs That Mutate Data.
Theor. Comput. Sci. 105(2): 167-215 (1992) |
| 1991 |
|---|
| 8 | | Ian A. Mason,
Carolyn L. Talcott:
Program Transformations for Configuring Components.
PEPM 1991: 297-308 |
| 7 | | Ian A. Mason,
Carolyn L. Talcott:
Equivalence in Functional Languages with Effects.
J. Funct. Program. 1(3): 287-327 (1991) |
| 1990 |
|---|
| 6 | | Ian A. Mason,
Carolyn L. Talcott:
Reasoning About Programs with Effects.
PLILP 1990: 189-203 |
| 1989 |
|---|
| 5 | | Ian A. Mason,
Carolyn L. Talcott:
Programming, Transforming, and Providing with Function Abstractions and Memories.
ICALP 1989: 574-588 |
| 4 | | Ian A. Mason,
Carolyn L. Talcott:
Axiomatizing Operational Equivalence in the Presence of Side Effects
LICS 1989: 284-293 |
| 1988 |
|---|
| 3 | | Ian A. Mason:
Verification of Programs That Destructively Manipulate Data.
Sci. Comput. Program. 10(1): 177-210 (1988) |
| 1986 |
|---|
| 2 | | Ian A. Mason:
Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation
LICS 1986: 105-117 |
| 1985 |
|---|
| 1 | | Ian A. Mason:
The Metatheory of the Classical Propositional Calculus is not Axiomatizable.
J. Symb. Log. 50(2): 451-457 (1985) |
