K. Rustan Leino and James - Free people check

(1 - 6 from 9

)

Error Explanation and Fault Localization with Distance Metrics

agroce.github.io

by AD Groce · · Cited by 24 — K. Rustan Leino, Todd Millstein, and James B. Saxe. Generating error traces from verification-condition counterexamples. Science of Computer Programming, ... › thesis

Generating a Statically-Checkable Device Driver I/O Interface

www.eg.bucknell.edu

by L Wittie · Cited by 7 — [8] Cormac Flanagan, K. Rustan Leino, Mark Lillibridge, Greg. Nelson, James B. Saxe, and Raymie Stata. Extended static checking for Java. › research › APGES07

Programmed Strategies for Program Verification - ScienceDirect

www.sciencedirect.com

by RB Kieburtz · · Cited by 4 — Cormac Flanagan, K. Rustan Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata. Extended static checking for Java. › science › article › pii

All web results to the name "K. Rustan Leino"

Programmed Strategies for Program Verification - CyberLeninka

cyberleninka.org

[12] Cormac Flanagan, K. Rustan Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. Extended static checking for Java. › article

Type-Based Analysis and Applications

web.cs.ucla.edu

by J Palsberg · · Cited by 69 — [14] David Detlefs, K. Rustan Leino, Greg Nelson, and. James Saxe. Extended static checking. Technical Re-. port 159, Compaq Systems Research Center, › papers › palsberg-paste01

Obituary for Phyllis A Waisanen - Burpee, Carpenter & Hutchinswww.bchfh.com › memorials › obituary

www.bchfh.com

... half-brother James K. Leino and wife Sandra of Cushing, half-sisters Joyce Prescott and husband Robert of Massachusetts, Janice Schoenfelt and husband ...

Related search requests for K. Rustan Leino

Peter Müller
Wolfram Schulte
Mark Lillibridge

Alexandra Silva
Erik Poll
Burkhart Wolff

Anne-Marie Kermarrec
Martin Kersten
James Landay

Person "Leino" (1)
Forename "Rustan" (24)
Name "Leino" (180)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

K. Rustan Leino and James Free People Check