Robust scripting via patterns
- Bard Bloom
- Martin Hirzel
- 2012
- DLS 2012
Publications
Date
Featured collections
Popular topics
10 results for Bard Bloom
Thorn - Robust, concurrent, extensible scripting on the JVM
- Bard Bloom
- John Field
- et al.
- 2009
- OOPSLA 2009
DEMO: Thorn - Robust, concurrent scripting on the JVM
- Bard Bloom
- John Field
- et al.
- 2009
- OOPSLA 2009
Lopsided little languages: Experience with XQueryin a document generation subsystem
- Bard Bloom
- 2005
- XIME-P 2005
Verifying SOS specifications
- Bard Bloom
- Allan Cheng
- et al.
- 1996
- COMPASS Computer Assurance 1996
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
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