Ian A. Mason

According to our database1, Ian A. Mason authored at least 39 papers between 1985 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Reasoning about effects: from lists to cyber-physical agents.
Log. Methods Comput. Sci., 2019

Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery.
Proceedings of the 11th Annual Cyber and Information Security Research Conference, 2016

The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract).
Proceedings of the Specification, Algebra, and Software, 2014

High. Order Symb. Comput., 2008

Actors and Logical Analysis of Interactive Systems.
Electron. Notes Theor. Comput. Sci., 2005

ClusterGrind: Valgrinding LAM/MPI Applications.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2005

IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude.
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Formal Foundations of Operational Semantics.
High. Order Symb. Comput., 2003

Operational Techniques in PVS - A Preliminary Evaluation.
Electron. Notes Theor. Comput. Sci., 2001

Simple Network Protocol Simulation within Maude.
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Actor Languages Their Syntax, Semantics, Translation, and Equivalence.
Theor. Comput. Sci., 1999

Computing with Contexts.
High. Order Symb. Comput., 1999

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

From Operational Semantics to Domain Theory.
Inf. Comput., 1996

A Variable Typed Logic of Effects
Inf. Comput., May, 1995

Special Issue on State in Programming Languages - Introduction.
LISP Symb. Comput., 1995

Reasoning About Object Systems in VTLoE.
Int. J. Found. Comput. Sci., 1995

Metamathematics of Contexts.
Fundam. Inform., 1995

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

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

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

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

Reasoning About Programs with Effects.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

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

Verification of Programs That Destructively Manipulate Data.
Sci. Comput. Program., 1988

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

The Metatheory of the Classical Propositional Calculus is not Axiomatizable.
J. Symb. Log., 1985