Travelled to:2 × USA
Collaborated with:Arvind W.Plouffe R.L.Bocchino E.Gamble R.R.Some
Talks about:indetermin (1) dataflow (1) softwar (1) program (1) monitor (1) languag (1) verifi (1) flight (1) spot (1)
Person: Kim P. Gostelow
DBLP: Gostelow:Kim_P=
Contributed to:
2014
1977Wrote 2 papers:
- HILT-2014-BocchinoGGS #named #programming language
- Spot: a programming language for verified flight software (RLB, EG, KPG, RRS), pp. 97–102.
- SOSP-1977-ArvindGP #data flow #monitoring
- Indeterminancy, Monitors, and Dataflow (A, KPG, WP), pp. 159–169.