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

Rastislav Bodík (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


35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand: SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. SIGPLAN Notices 43(11): 6-29 (2008)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGlenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus: Debugging temporal specifications with concept analysis. PLDI 2003: 182-195
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGlenn Ammons, Rastislav Bodík, James R. Larus: Mining specifications. POPL 2002: 4-16

Selection of 3 from 51 records - Rastislav Bodík has 74 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