Sivilotti, Paul

at Caltech

• Masters (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language

CaltechTHESIS

• Combined (1) (HTML, HTML Include, BibTeX, JSON, RSS)
• Thesis or Disertation (1) (HTML, HTML Include, BibTeX, JSON, RSS)

CaltechAUTHORS

• Combined (1) (HTML, HTML Include, BibTeX, JSON, RSS)
• Monograph (1) (HTML, HTML Include, BibTeX, JSON, RSS)