MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Alexander Bunkenburg – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Specification and Refinement of Functional Programs
by Alexander Bunkenburg — 1994
…Specification and refinement of functional programs Alexander Bunkenburg Computing Science…
Add To MetaCart

The Boom Hierarchy
by Alexander Bunkenburg — 1993 — Proc. of the Workshop on Functional Programming, Workshops in Computing
…The Boom Hierarchy Alexander Bunkenburg Computing Science Department, University of Glasgow…
Cited by 3 (0 self) – Add To MetaCart

Expression Refinement: Deriving Bresenham's Algorithm
by Alexander Bunkenburg, Sharon Flynn — 1994 — Functional Programming: Glasgow 1994, SpringerVerlag Workshops in Computing
…Expression Refinement: Deriving Bresenham's Algorithm Alexander Bunkenburg and Sharon Flynn…
Cited by 1 (0 self) – Add To MetaCart

Partiality and Nondeterminacy in Program Proofs
by Joseph M. Morris, Alexander Bunkenburg, Er Bunkenburg — 1999 — Form. Asp. Comp
… Proofs Joseph M. Morris and Alexander Bunkenburg 1 Dept. of Computing Science University of Glasgow…
Cited by 7 (3 self) – Add To MetaCart

E3: A Logic for Reasoning Equationally in the Presence of Partiality
by Joseph M. Morris, Alexander Bunkenburg, Er Bunkenburg — 1998
… and Alexander Bunkenburg Dept of Computing Science University of Glasgow Glasgow G12 8QQ Scotland, UK e…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB