Mitchell Wand
Northeastern University(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Parallel Computing and Optimization Techniques, Software Engineering Research
Most-Cited Works
- → A semantics for advice and dynamic join points in aspect-oriented programming(2004)229 cited
- Complete Type Inference for Simple Objects(1987)
- → Final algebra semantics and data type extensions(1979)170 cited
- → Continuation-based multiprocessing(1980)139 cited
- → Finding the source of type errors(1986)133 cited
- → A Simple Algorithm and Proof for Type Inference1(1987)128 cited
- → Continuation-Based Program Transformation Strategies(1980)128 cited
- → Deriving Target Code as a Representation of Continuation Semantics