Travelled to:1 × Portugal
4 × USA
Collaborated with:E.Sweedyk C.S.Jhon P.Mishra P.Hudak K.Ramamritham ∅
Talks about:applic (3) properti (2) process (2) system (2) data (2) multiprocess (1) distribut (1) structur (1) sentinel (1) deadlock (1)
Person: Robert M. Keller
DBLP: Keller:Robert_M=
Contributed to:
2005
1984
1984
1982
19811980Wrote 6 papers:
- ITiCSE-2005-SweedykK #game studies #re-engineering
- Fun and games: a new software engineering course (ES, RMK), pp. 138–142.
- DAC-1984-JhonK #analysis #concurrent #data flow #design
- Deadlock analysis in the design of data-flow circuits (CSJ, RMK), pp. 705–707.
- POPL-1984-MishraK #source code #static analysis
- Static Inference of Properties of Applicative Programs (PM, RMK), pp. 235–244.
- LFP-1982-HudakK #distributed #garbage collection
- Garbage Collection and Task Deletion in Distributed Applicative Processing Systems (PH, RMK), pp. 168–178.
- ICSE-1981-RamamrithamK #process #proving #specification
- Specifying and Proving Properties of Sentinel Processes (KR, RMK), pp. 374–386.
- LISP-1980-Keller #multi
- Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems (RMK), pp. 196–202.