Concepedia

Ian A. Mason

IA

Statistics

Publications

15

Citations

1.2K

H-Index

13

Active since

1988

Affiliations

Stanford University(Current)

University of New England

Johns Hopkins University

University of Edinburgh

University of Udine

Ian A. Mason is an author at Stanford University specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsFormal VerificationComputer ScienceAutomated ReasoningSemanticsVerificationProgram AnalysisSoftware AnalysisLanguage

Publications per year

1988–2005

15

Publications

15

A foundation for actor computation

Gul Agha, Ian A. Mason, Scott F. Smith et al. · Journal of Functional Programming · 1997 · 449 citations · Full text

Engineering, Verification, Concurrent System +19

Propositional logic of context

Saša Buvač, Ian A. Mason · 1993 · 151 citations

METAMATHEMATICS OF CONTEXTS

Saša Buvač, Vanja Buvač, Ian A. Mason · Fundamenta Informaticae · 1995 · 119 citations

Engineering, Simple Logical Properties, Classical Logic +21

Using typed lambda calculus to implement formal systems on a machine

Arnon Avron, Furio Honsell, Ian A. Mason et al. · Journal of Automated Reasoning · 1992 · 105 citations

Formal Systems, Engineering, Automated Reasoning +9

A Variable Typed Logic of Effects

Furio Honsell, Ian A. Mason, Scott F. Smith et al. · Information and Computation · 1995 · 66 citations · Full text

Formal Semantics, Contextual Assertions, Engineering +15

1–5 of 15