Conferences and Workshops
|
[1]
|
William Harrison.
Proof Abstraction for Imperative Languages.
In Proceedings of the 4th Asian Symposium on Programming
Languages and Systems (APLAS06) (to appear), Sydney, Australia,
November 2006.
PDF
Abstract
|
|
[2]
|
William L. Harrison.
The Essence of Multitasking.
In 11th International Conference on Algebraic Methodology and
Software Technology (AMAST06), volume 4019 of Lecture Notes in Computer
Science, pages 158-172. Springer-Verlag, 2006.
PDF
Abstract
|
|
[3]
|
William Harrison.
A Simple Semantics for Polymorphic Recursion.
In Proceedings of the 3rd Asian Symposium on Programming
Languages and Systems (APLAS05), pages 37-51, Tsukuba, Japan, November
2005.
PDF
Abstract
|
|
[4]
|
X. Z. Fu, H. Wang, W. Harrison, and R. Harrison.
RNA Pseudoknot Prediction Using Term Rewriting.
In Proceedings of IEEE Fifth Symposium on Bioinformatics and
Bioengineering (BIBE05), pages 169-176, Minneapolis, MN, October 2005.
PDF
Abstract
|
|
[5]
|
William Harrison and James Hook.
Achieving Information Flow Security Through Precise Control of
Effects.
In 18th IEEE Computer Security Foundations Workshop (CSFW05),
pages 16-30, Aix-en-Provence, France, June 2005.
PDF
Abstract
|
|
[6]
|
William L. Harrison and Robert W. Harrison.
Domain Specific Languages for Cellular Interactions.
In Proceedings of the 26th Annual IEEE International Conference
on Engineering in Medicine and Biology (EMBC04), September 2004.
PDF
Abstract
|
|
[7]
|
William Harrison, Mark Tullsen, and James Hook.
Domain Separation by Construction.
In LICS03 Satellite Workshop on Foundations of Computer Security
(FCS03), June 2003.
21 pages.
PDF
Abstract
|
|
[8]
|
William Harrison, Timothy Sheard, and James Hook.
Fine Control of Demand in Haskell.
In 6th International Conference on the Mathematics of Program
Construction (MPC02), Dagstuhl, Germany, volume 2386 of Lecture Notes
in Computer Science, pages 68-93. Springer-Verlag, 2002.
PDF
Abstract
|
|
[9]
|
William Harrison and Richard Kieburtz.
Pattern-driven Reduction in Haskell.
In 2nd International Workshop on Reduction Strategies in
Rewriting and Programming (WRS02), Copenhagen, Denmark, 2002.
PDF
Abstract
|
|
[10]
|
Bill Harrison and Tim Sheard.
Dynamically Adaptable Software with Metacomputations in a Staged
Language.
In Proceedings of the Second International Workshop on
Semantics, Applications, and Implementation of Program Generation (SAIG),
volume 2196 of Lecture Notes in Computer Science, pages 163-182,
Florence, Italy, 2001. Springer-Verlag.
PDF
Abstract
|
|
[11]
|
William Harrison and Samuel Kamin.
Metacomputation-based Compiler Architecture.
In 5th International Conference on the Mathematics of Program
Construction, Ponte de Lima, Portugal, volume 1837 of Lecture Notes in
Computer Science, pages 213-229. Springer-Verlag, 2000.
PDF
Abstract
|
|
[12]
|
William L. Harrison and Samuel N. Kamin.
Modular Compilers Based on Monad Transformers.
In Proceedings of the 1998 International Conference on Computer
Languages, pages 122-131. IEEE Computer Society Press, 1998.
PDF
Abstract
|
|
[13]
|
William Harrison, Karl Levitt, and Myla Archer.
An HOL Mechanization of the Axiomatic Semantics of a Simple
Distributed Programming Language.
In Proceedings of the International Workshop on Higher-Order
Logic Theorem Proving and Its Applications, pages 347-358, Leuven, Belgium,
September 1992.
Abstract
|
|
[14]
|
William Harrison and Karl Levitt.
Mechanizing Security in HOL.
In Proceedings of the 1991 International Workshop on the HOL
Theorem Proving System and its Applications, pages 63-66, Davis,
California, 1991. IEEE Computer Society Press.
Abstract
|
|