BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Sweden
3 × Italy
4 × USA
Collaborated with:
C.L.Talcott F.Honsell S.F.Smith
Talks about:
program (5) transform (3) effect (3) oper (3) maud (3) function (2) equival (2) reason (2) tranlsat (1) protocol (1)

Person: Ian A. Mason

DBLP DBLP: Mason:Ian_A=

Contributed to:

WRLA 20042005
WRLA 20002000
ICALP 19971997
CSL 19921992
LICS 19921992
PEPM 19911991
PLILP 19901990
ICALP 19891989
LICS 19891989
LICS 19861986

Wrote 10 papers:

WRLA-2004-MasonT05 #framework #interactive #maude #named #platform
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude (IAM, CLT), pp. 315–333.
WRLA-2000-MasonT #maude #network #protocol #simulation
Simple Network Protocol Simulation within Maude (IAM, CLT), pp. 274–291.
ICALP-1997-MasonT #semantics
A Semantically Sound Actor Tranlsation (IAM, CLT), pp. 369–378.
CSL-1992-HonsellMST #formal method #functional
A Theory of Classes for a Functional Language with Effects (FH, IAM, SFS, CLT), pp. 309–326.
LICS-1992-MasonT #reasoning
References, Local Variables and Operational Reasoning (IAM, CLT), pp. 186–197.
PEPM-1991-MasonT #component #configuration management #program transformation
Program Transformations for Configuring Components (IAM, CLT), pp. 297–308.
PLILP-1990-MasonT #reasoning #source code
Reasoning About Programs with Effects (IAM, CLT), pp. 189–203.
ICALP-1989-MasonT #abstraction #programming
Programming, Transforming, and Providing with Function Abstractions and Memories (IAM, CLT), pp. 574–588.
LICS-1989-MasonT #axiom #equivalence
Axiomatizing Operational Equivalence in the Presence of Side Effects (IAM, CLT), pp. 284–293.
LICS-1986-Mason #equivalence #first-order #lisp #proving #source code
Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation (IAM), pp. 105–117.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.