# Ian A. Mason

According to our database

Collaborative distances:

^{1}, Ian A. Mason authored at least 40 papers between 1985 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Reasoning about effects: from lists to cyber-physical agents.

CoRR, 2018

2016

Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery.

Proceedings of the 11th Annual Cyber and Information Security Research Conference, 2016

2014

The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract).

Proceedings of the Specification, Algebra, and Software, 2014

2008

Editorial.

Higher-Order and Symbolic Computation, 2008

2005

Actors and Logical Analysis of Interactive Systems.

Electr. Notes Theor. Comput. Sci., 2005

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

Electr. Notes Theor. Comput. Sci., 2005

ClusterGrind: Valgrinding LAM/MPI Applications.

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2005

2004

Editorial.

Higher-Order and Symbolic Computation, 2004

2003

Formal Foundations of Operational Semantics.

Higher-Order and Symbolic Computation, 2003

2001

Operational Techniques in PVS - A Preliminary Evaluation.

Electr. Notes Theor. Comput. Sci., 2001

2000

Simple Network Protocol Simulation within Maude.

Electr. Notes Theor. Comput. Sci., 2000

1999

Actor Languages Their Syntax, Semantics, Translation, and Equivalence.

Theor. Comput. Sci., 1999

Computing with Contexts.

Higher-Order and Symbolic Computation, 1999

1997

A First Order Logic of Effects.

Theor. Comput. Sci., 1997

A Foundation for Actor Computation.

J. Funct. Program., 1997

A Semantically Sound Actor Tranlsation.

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996

From Operational Semantics to Domain Theory.

Inf. Comput., 1996

1995

A Variable Typed Logic of Effects

Inf. Comput., May, 1995

Special Issue on State in Programming Languages - Introduction.

Lisp and Symbolic Computation, 1995

Reasoning About Object Systems in VTLoE.

Int. J. Found. Comput. Sci., 1995

Metamathematics of Contexts.

Fundam. Inform., 1995

1994

The Semantics of Propositional Contexts.

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Extraction of events from 3D volumes of seismic data.

Proceedings of the 12th IAPR International Conference on Pattern Recognition, 1994

Identification of Events from 3D Volumes of Seismic Data.

Proceedings of the Proceedings 1994 International Conference on Image Processing, 1994

Program Transformation via Contextual Assertions.

Proceedings of the Logic, 1994

1993

Seismic Time Section Analysis Using Machine Vision.

Proceedings of the British Machine Vision Conference, 1993

Propositional Logic of Context.

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

Inferring the Equivalence of Functional Programs That Mutate Data.

Theor. Comput. Sci., 1992

Using Typed Lambda Calculus to Implement Formal Systems on a Machine.

J. Autom. Reasoning, 1992

References, Local Variables and Operational Reasoning

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

A Theory of Classes for a Functional Language with Effects.

Proceedings of the Computer Science Logic, 6th Workshop, 1992

Towards a Theory of Actor Computation.

Proceedings of the CONCUR '92, 1992

1991

Equivalence in Functional Languages with Effects.

J. Funct. Program., 1991

Program Transformations for Configuring Components.

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990

Reasoning About Programs with Effects.

Proceedings of the Programming Language Implementation and Logic Programming, 1990

1989

Axiomatizing Operational Equivalence in the Presence of Side Effects

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

Programming, Transforming, and Providing with Function Abstractions and Memories.

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988

Verification of Programs That Destructively Manipulate Data.

Sci. Comput. Program., 1988

1986

Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

The Metatheory of the Classical Propositional Calculus is not Axiomatizable.

J. Symb. Log., 1985