Application Deadline U.S. citizens: 2025-26 Fulbright U.S. Scholar Competition Deadline is Monday, September 16, 2024 at 5 PM EST. Find out more.
Home Country Norway Partial correctness semantics for Ada tasks (spawning and fragmentation) Program Fulbright Visiting Scholar Program Program Country Norway Grant Activity Type Lecturer, Research Discipline Computer Science Academic Year 1986-1987 Dates July 1986 - August 1987 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 University of Oslo Department Computer Science Host Institutions Institution Stanford University Faculty Professor David Luckham Host Department Computer Systems Laboratory
Partial correctness semantics for Ada tasks (spawning and fragmentation) Program Fulbright Visiting Scholar Program Program Country Norway Grant Activity Type Lecturer, Research Discipline Computer Science Academic Year 1986-1987 Dates July 1986 - August 1987 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 University of Oslo Department Computer Science Host Institutions Institution Stanford University Faculty Professor David Luckham Host Department Computer Systems Laboratory