Categorical semantics of parallel program design

Imperative functional programming

Simon Jones, Philip Wadler · 1993 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +15

Institutions: abstract model theory for specification and programming

Joseph A. Goguen, R. M. Burstall · Journal of the ACM · 1992 · 988 citations · Full text

Computing, Computer Science, Formal Methods +13

On artificial intelligence

Peter H. Schönemann · Behavioral and Brain Sciences · 1985 · 891 citations

Computing, Computer Science, Artificial Intelligence +2

Parallel program design: a foundation

Chris Jesshope · Microprocessors and Microsystems · 1989 · 845 citations

Computing, Computer Engineering, Computer Science +12

Putting theories together to make specifications

R. M. Burstall, Joseph A. Goguen · International Joint Conference on Artificial Intelligence · 1977 · 421 citations

Computing, Computer Science, Formal Methods +9