# Bard Bloom

According to our database

Collaborative distances:

^{1}, Bard Bloom authored at least 31 papers between 1988 and 2012.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2012

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Proceedings of the 8th Symposium on Dynamic Languages, 2012

2009

Comput. Lang. Syst. Struct., 2009

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008

Proceedings of the Practical Aspects of Declarative Languages, 2008

2006

IBM Syst. J., 2006

2005

Proceedings of the Second International Workshop on XQuery Implementation, 2005

2004

ACM Trans. Comput. Log., 2004

2000

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1997

IEEE Trans. Software Eng., 1997

1995

Theor. Comput. Sci., 1995

Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem.

Sci. Comput. Program., 1995

J. ACM, 1995

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Proceedings of the Computer Aided Verification, 1995

1994

Inf. Comput., May, 1994

ACM SIGCSE Bull., 1994

Formal Aspects Comput., 1994

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993

Structured Operational Sematics for Process Algebras and Equational Axiom Systems.

Proceedings of the CONCUR '93, 1993

1992

Theor. Comput. Sci., 1992

Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics.

Proceedings of the Sematics: Foundations and Applications, 1992

Proceedings of the NAPAW 92, 1992

1991

Proceedings of the Real-Time: Theory in Practice, 1991

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990

Inf. Comput., 1990

1989

Proceedings of the Logic at Botik '89, 1989

1988

IEEE Trans. Computers, 1988

Can LCF Be Topped? Flat Lattice models of Typed Lambda Calculus (Preliminary Report)

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988