Publications

10 results for Bard Bloom

Robust scripting via patterns
- - Bard Bloom
  - Martin Hirzel
- 2012
- DLS 2012
DEMO: Thorn - Robust, concurrent scripting on the JVM
- - Bard Bloom
  - John Field
  - et al.
- 2009
- OOPSLA 2009
Thorn - Robust, concurrent, extensible scripting on the JVM
- - Bard Bloom
  - John Field
  - et al.
- 2009
- OOPSLA 2009
Ferret: Programming language support for multiple dynamic classification
- - Bard Bloom
  - Paul Keyser
  - et al.
- 2009
- Comput. Lang. Syst. Struct.
Architectural thinking and modeling with the architects' workbench
- - Steven Abrams
  - Bard Bloom
  - et al.
- 2006
- IBM Systems Journal
Lopsided little languages: Experience with XQueryin a document generation subsystem
- - Bard Bloom
- 2005
- XIME-P 2005
Precongruence formats for decorated trace semantics
- - Bard Bloom
  - Wan Fokkink
  - et al.
- 2004
- ACM TOCL
Precongruence formats for decorated trace preorders
- - Bard Bloom
  - Wan Fokkink
  - et al.
- 2000
- Proceedings - Symposium on Logic in Computer Science
Using a protean language to enhance expressiveness in specification
- - Bard Bloom
  - Allan Cheng
  - et al.
- 1997
- IEEE Transactions on Software Engineering
Verifying SOS specifications
- - Bard Bloom
  - Allan Cheng
  - et al.
- 1996
- COMPASS Computer Assurance 1996