dblp.uni-trier.dewww.uni-trier.de

Ian A. Mason Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
34EEBrett Carson, Ian A. Mason: ClusterGrind: Valgrinding LAM/MPI Applications. PVM/MPI 2005: 325-332
33EEIan A. Mason, Carolyn L. Talcott: IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. Electr. Notes Theor. Comput. Sci. 117: 315-333 (2005)
32EEIan A. Mason, Carolyn L. Talcott: Actors and Logical Analysis of Interactive Systems. Electr. Notes Theor. Comput. Sci. 141(5): 115-133 (2005)
2004
31EEOlivier Danvy, Ian A. Mason: Editorial. Higher-Order and Symbolic Computation 17(4): 275-275 (2004)
2003
30EEJonathan Ford, Ian A. Mason: Formal Foundations of Operational Semantics. Higher-Order and Symbolic Computation 16(3): 161-202 (2003)
2001
29EEJonathan M. Ford, Ian A. Mason: Operational Techniques in PVS - A Preliminary Evaluation. Electr. Notes Theor. Comput. Sci. 42: (2001)
2000
28EEIan A. Mason, Carolyn L. Talcott: Simple Network Protocol Simulation within Maude. Electr. Notes Theor. Comput. Sci. 36: (2000)
1999
27 Ian A. Mason: Computing with Contexts. Higher-Order and Symbolic Computation 12(2): 171-201 (1999)
26EEIan A. Mason, Carolyn L. Talcott: Actor Languages Their Syntax, Semantics, Translation, and Equivalence. Theor. Comput. Sci. 220(2): 409-467 (1999)
1997
25EEIan A. Mason, Carolyn L. Talcott: A Semantically Sound Actor Tranlsation. ICALP 1997: 369-378
24 Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Foundation for Actor Computation. J. Funct. Program. 7(1): 1-72 (1997)
23EEIan A. Mason: A First Order Logic of Effects. Theor. Comput. Sci. 185(2): 277-318 (1997)
1996
22 Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: From Operational Semantics to Domain Theory. Inf. Comput. 128(1): 26-47 (1996)
1995
21 Sasa Buvac, Vanja Buvac, Ian A. Mason: Metamathematics of Contexts. Fundam. Inform. 23(2/3/4): 263-301 (1995)
20 Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Variable Typed Logic of Effects Inf. Comput. 119(1): 55-90 (1995)
19 Ian A. Mason, Carolyn L. Talcott: Reasoning About Object Systems in VTLoE. Int. J. Found. Comput. Sci. 6(3): 265-298 (1995)
18 Ian A. Mason, Martin Odersky: Special Issue on State in Programming Languages - Introduction. Lisp and Symbolic Computation 8(4): 291-292 (1995)
1994
17 Peter Tu, Andrew Zisserman, Ian A. Mason, Ingemar J. Cox: Identification of Events from 3D Volumes of Seismic Data. ICIP (3) 1994: 309-313
16EESasa Buvac, Vanja Buvac, Ian A. Mason: The Semantics of Propositional Contexts. ISMIS 1994: 468-477
15 Ian A. Mason, Carolyn L. Talcott: Program Transformation via Contextual Assertions. Logic, Language and Computation 1994: 225-254
1993
14 Sasa Buvac, Ian A. Mason: Propositional Logic of Context. AAAI 1993: 412-419
1992
13EEGul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: Towards a Theory of Actor Computation. CONCUR 1992: 565-579
12EEFurio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Theory of Classes for a Functional Language with Effects. CSL 1992: 309-326
11 Ian A. Mason, Carolyn L. Talcott: References, Local Variables and Operational Reasoning LICS 1992: 186-197
10 Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack: Using Typed Lambda Calculus to Implement Formal Systems on a Machine. J. Autom. Reasoning 9(3): 309-354 (1992)
9 Ian A. Mason, Carolyn L. Talcott: Inferring the Equivalence of Functional Programs That Mutate Data. Theor. Comput. Sci. 105(2): 167-215 (1992)
1991
8 Ian A. Mason, Carolyn L. Talcott: Program Transformations for Configuring Components. PEPM 1991: 297-308
7 Ian A. Mason, Carolyn L. Talcott: Equivalence in Functional Languages with Effects. J. Funct. Program. 1(3): 287-327 (1991)
1990
6EEIan A. Mason, Carolyn L. Talcott: Reasoning About Programs with Effects. PLILP 1990: 189-203
1989
5EEIan A. Mason, Carolyn L. Talcott: Programming, Transforming, and Providing with Function Abstractions and Memories. ICALP 1989: 574-588
4 Ian A. Mason, Carolyn L. Talcott: Axiomatizing Operational Equivalence in the Presence of Side Effects LICS 1989: 284-293
1988
3 Ian A. Mason: Verification of Programs That Destructively Manipulate Data. Sci. Comput. Program. 10(1): 177-210 (1988)
1986
2 Ian A. Mason: Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation LICS 1986: 105-117
1985
1 Ian A. Mason: The Metatheory of the Classical Propositional Calculus is not Axiomatizable. J. Symb. Log. 50(2): 451-457 (1985)

Coauthor Index

1Gul A. Agha (Gul Agha) [13] [24]
2Arnon Avron [10]
3Sasa Buvac [14] [16] [21]
4Vanja Buvac [16] [21]
5Brett Carson [34]
6Ingemar J. Cox [17]
7Olivier Danvy [31]
8Jonathan Ford [30]
9Jonathan M. Ford [29]
10Furio Honsell [10] [12] [20]
11Martin Odersky [18]
12Robert Pollack [10]
13Scott F. Smith [12] [13] [20] [22] [24]
14Carolyn L. Talcott [4] [5] [6] [7] [8] [9] [11] [12] [13] [15] [19] [20] [22] [24] [25] [26] [28] [32] [33]
15Peter Tu [17]
16Andrew Zisserman [17]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)