Home Country
Partial correctness semantics for Ada tasks (spawning and fragmentation)
Program
Fulbright Visiting Scholar Program
Program Country
Grant Activity Type
Lecturer, Research
Discipline
Academic Year
Dates
-
Flex
No
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Partial correctness semantics for Ada tasks (spawning and fragmentation)
Scholar Information
Grantee
Sigurd Meldal
Title
Research Associate
Institution
Department
Computer Science
Host Institutions
Institution
Faculty
Professor David Luckham
Host Department
Computer Systems Laboratory