Partial correctness semantics for Ada tasks (spawning and fragmentation)
Program
Fulbright Visiting Scholar Program
Grant Activity Type
Lecturer, Research
Dates
-
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Partial correctness semantics for Ada tasks (spawning and fragmentation)
Scholar Information
Department
Computer Science
Host Institutions
Faculty
Professor David Luckham
Host Department
Computer Systems Laboratory