Michael J. O'Donnell

Publication Activity (10 Years)

Years Active: 1979-2008
Publications (10 Years): 0

Publications

Michael J. O'Donnell, Ita Richardson
Problems Encountered When Implementing Agile Methods in a Very Small Company. EuroSPI (2008)
Michael J. O'Donnell
Separate handles from names on the internet. Commun. ACM 48 (12) (2005)
Michael J. O'Donnell
Open Network Handles Implemented in DNS CoRR (2003)
Michael J. O'Donnell
A Proposal to Separate Handles from Names on the Internet CoRR (2003)
Guanshan Tong, Michael J. O'Donnell
Leveled Garbage Collection. J. Funct. Log. Program. 2001 (5) (2001)
Ilia Bisnovatyi, Michael J. O'Donnell
Source-Filter Decomposition of Harmonic Sounds CoRR (2001)
Michael J. O'Donnell, Ilia Bisnovatyi
The Sound Manifesto CoRR (2000)
Michael J. O'Donnell
The Sources of Certainty in Computation and Formal Systems CoRR (1999)
James Lipton, Michael J. O'Donnell
Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli Countermodels. Ann. Pure Appl. Log. 81 (1-3) (1996)
James Lipton, Michael J. O'Donnell
Intuitive Counterexamples for Constructive Fallacies. MFCS (1994)
Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell
Connecting Formal Semantics to Constructive Intuitions. Constructivity in Computer Science (1991)
Yiyun Chen, Michael J. O'Donnell
Testing Confluence of Nonterminating Rewriting Systems. CTRS (1990)
Yiyun Chen, Michael J. O'Donnell
Infinite Terms and Infinite Rewritings. CTRS (1990)
Michael J. O'Donnell
Term-Rewriting Implementation of Equational Logic Programming. RTA (1987)
Stuart A. Kurtz, Michael J. O'Donnell, James S. Royer
How to Prove Representation-Independent Independence Results. Inf. Process. Lett. 24 (1) (1987)
Hans-Juergen Boehm, Robert Cartwright, Mark Riggle, Michael J. O'Donnell
Exact Real Arithmetic: A Case Study in Higher Order Programming. LISP and Functional Programming (1986)
John C. Mitchell, Michael J. O'Donnell
Realisability Semantics for Error-Tolerant Logics. TARK (1986)
Francine Berman, Mary Ellen Bock, Eric Dittert, Michael J. O'Donnell, Darrell Plank
Collections of Functions for Perfect Hashing. SIAM J. Comput. 15 (2) (1986)
Eric Dittert, Michael J. O'Donnell
Lower Bounds for Sorting with Realistic Instruction Sets. IEEE Trans. Computers 34 (4) (1985)
Michael J. O'Donnell
Equational Logic as a Programming Language. Logic of Programs (1985)
Christoph M. Hoffmann, Michael J. O'Donnell, Robert Strandh
Implementation of an Interpreter for Abstract Equations. Softw. Pract. Exp. 15 (12) (1985)
Christoph M. Hoffmann, Michael J. O'Donnell
Implementation of an Interpreter for Abstract Equations. POPL (1984)
Steven Fortune, Daniel Leivant, Michael J. O'Donnell
The Expressiveness of Simple and Second-Order Type Structures J. ACM 30 (1) (1983)
Christoph M. Hoffmann, Michael J. O'Donnell
Programming with Equations. ACM Trans. Program. Lang. Syst. 4 (1) (1982)
Michael J. O'Donnell, Carl H. Smith
A Combinatorial Problem Concerning Processor Interconnection Networks. IEEE Trans. Computers 31 (2) (1982)
Douglas Comer, Michael J. O'Donnell
Geometric Problems with Application to Hashing. SIAM J. Comput. 11 (2) (1982)
Michael J. O'Donnell
A Critique of the Foundations of Hoare Style Programming Logics. Commun. ACM 25 (12) (1982)
Christoph M. Hoffmann, Michael J. O'Donnell
Pattern Matching in Trees. J. ACM 29 (1) (1982)
Michael J. O'Donnell
A Critique of the Foundations of Hoare-Style Programming Logics. Logic of Programs (1981)
Christoph M. Hoffmann, Michael J. O'Donnell
Interpreter Generation Using Tree Pattern Matching. POPL (1979)
Michael J. O'Donnell
A Programming Language Theorem Which Is Independent of Peano Arithmetic STOC (1979)