dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Sam Tobin-Hochstadt (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen: Complete Monitors for Behavioral Contracts. ESOP 2012: 214-233
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCasey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler: Run your research: on the effectiveness of lightweight mechanization. POPL 2012: 285-296

Selection of 2 from 12 records - Sam Tobin-Hochstadt has 13 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page