Ian A. Mason

According to our database1, 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


  Loading...