Matthew J.A. Caswell

Publications by Year

Research Areas

Semantic Web and Ontologies, Logic, programming, and type systems, Advanced Database Systems and Queries, Service-Oriented Architecture and Web Services, Logic, Reasoning, and Knowledge

Most-Cited Works

• → Equivalence of formal semantics definition methods(1997)
• The action semantics of object-oriented languages(1998)