Ian A. Mason

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Detection and diagnosis of deviations in distributed systems of autonomous agents	2023-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q5376659	2019-05-17	Paper
A semantics preserving actor translation	2018-07-04	Paper
The Semantics of Datalog for the Evidential Tool Bus	2014-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q2863849	2013-12-04	Paper
Formal foundations of operational semantics	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4793036	2003-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q2703712	2001-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q2703747	2001-05-08	Paper
Actor languages. Their syntax, semantics, translation, and equivalence	2000-08-23	Paper
Equivalence in functional languages with effects	2000-02-09	Paper
Computing with contexts	2000-01-30	Paper
A first order logic of effects	1998-07-22	Paper
A foundation for actor computation	1997-06-04	Paper
From operational semantics to domain theory	1996-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4837948	1996-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4283243	1996-04-16	Paper
REASONING ABOUT OBJECT SYSTEMS IN VTLoE	1995-10-29	Paper
A variable typed logic of effects	1995-08-01	Paper
Using typed lambda calculus to implement formal systems on a machine	1993-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q3992705	1993-01-23	Paper
Inferring the equivalence of functional programs that mutate data	1992-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q5753940	1989-01-01	Paper
Verification of programs that destructively manipulated data	1988-01-01	Paper
The metatheory of the classical propositional calculus is not axiomatizable	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ian A. Mason