Books by Bruce J. MacLennan

Wisdom of Hypatia
Wisdom of Hypatia
2013
Theoretical and technological advancements in nanotechnology and molecular computation
Theoretical and technological advancements in nanotechnology and molecular computation
2011
Instructor's manual for Princi
Instructor's manual for Principles of programming languages
1999
Principles Programming Languag
Principles Programming Languages 2e Instructor's Man
1995
An algebraic approach to a calculus of functional differences
An algebraic approach to a calculus of functional differences
1987
Field computation and nonpropositional knowledge
Field computation and nonpropositional knowledge
1987
Four relational programs
Four relational programs
1986
Preliminary investigation of a calculus of functional differences
Preliminary investigation of a calculus of functional differences
1986
A simple software environment based on objects and relations
A simple software environment based on objects and relations
1985
Experience with [omega]
Experience with [omega]
1985
A simple proof of a generalized Church-Rosser theorem
A simple proof of a generalized Church-Rosser theorem
1984
Information-theoretic properties of languages and their grammars
Information-theoretic properties of languages and their grammars
1984
The four forms of [omega]
The four forms of [omega]
1984
A commentary on Mill's Logic Book I of names and propositions
A commentary on Mill's Logic Book I of names and propositions
1983
A computer science version of Gödel's theorem
A computer science version of Gödel's theorem
1983
A view of object-oriented programming
A view of object-oriented programming
1983
Abstraction in the INTEL iAPX-432 prototype systems implementation language
Abstraction in the INTEL iAPX-432 prototype systems implementation language
1983
Concurrency and synchronization in the INTEL iAPX-432 prototype systems implementation language
Concurrency and synchronization in the INTEL iAPX-432 prototype systems implementation language
1983
Relational programming
Relational programming
1983
A relational program for a syntax directed editor
A relational program for a syntax directed editor
1982
A simple, natural notation for application languages
A simple, natural notation for application languages
1982
Simple metrics for programming languages
Simple metrics for programming languages
1982
Elements of programming linguistics.  Part I, The lambda calculus and its implementation
Elements of programming linguistics. Part I, The lambda calculus and its implementation
1981
Introduction to relational programming
Introduction to relational programming
1981
Measuring control structure complexity through execution sequence grammars
Measuring control structure complexity through execution sequence grammars
1981
Overview of relational programming
Overview of relational programming
1981
Programming with a relational calculus
Programming with a relational calculus
1981
The automatic generation of syntax directed editors
The automatic generation of syntax directed editors
1981
The structural analysis of programming languages
The structural analysis of programming languages
1981
Values and objects in programming languages
Values and objects in programming languages
1981