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: Mason:Ian_A=
Contributed to:
20052000
1997
1992
1992
1991
1990198919891986Wrote 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.