Concepedia

Jon Crabtree

JC

2

Publications

62

Citations

2

H-Index

1993

Active since

Affiliations

Williams College(Current)

Jon Crabtree is an author at Williams College specializing in formal methods, program analysis, and software analysis.

Top concepts

Publications per year

1993–1993

2

Publications

2

Safe and decidable type checking in an object-oriented language

Kim B. Bruce, Jon Crabtree, Thomas P. Murtagh et al. · 1993 · 48 citations · Full text

, , +9

Safe and decidable type checking in an object-oriented language

Kim B. Bruce, Jon Crabtree, Thomas P. Murtagh et al. · ACM SIGPLAN Notices · 1993 · 14 citations

, , +18

Rows per page

1–2 of 2