Argus reference manual (1987)

by Barbara Liskov , Mark Day , Maurice Herlihy , Paul Johnson , Robert Scheifler , William Weihl
Citations:10 - 3 self

Documents Related by Co-Citation

225 Guardians and actions: Linguistic support for robust, distributed programs – B Liskov, R Scheifler - 1983
4 Computer recreations: On the ups and downs of hailstone numbers – B Hayes - 1984
212 Encapsulation and Inheritance in Object-Oriented Programming Languages – Alan Snyder - 1986
28 The methodology of n-version programming – A Avizienis - 1995
269 The family of concurrent logic programming languages – E Shapiro - 1989
49 Concurrent Prolog: A progress report – E Shapiro - 1986
46 N.: Recovery-oriented computing (ROC): Motivation, definition, techniques, and case studies – D Patterson, A Brown, P Broadwell, G Candea, M Chen, J Cutler, P Enriquez, A Fox, E Kcman, M Merzbacher, D Oppenheimer, N Sastry, W Tetzlaff, J Traupman, Treuhaft - 2001
278 Korat: Automated testing based on Java predicates – Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov - 2002
10 Efficient Specification-Assisted Error Localization – Brian Demsky , Cristian Cadar, Daniel Roy, Martin Rinard - 2004
54 Data Structure Repair Using Goal-Directed Reasoning – Brian Demsky, Martin Rinard - 2005
35 The 5ESS(TM) switching system: Maintenance capabilities – G Haugk, F Lax, R Royer, J Williams - 1985
44 D.: On the reliability of the IBM MVS/XA operating system – S Mourad, Andrews - 1987
14 Structured exception handling – J B Goodenough - 1975
65 Advances in dataflow programming languages – Wesley M. Johnston, J. R. Paul Hanna, Richard, J. Millar - 2004
30 H.G.: Actors and continuous functionals – C Hewitt, Baker - 1978
18 Workflow patterns in orc – William R. Cook, Sourabh Patwardhan, Jayadev Misra - 2006
50 Making Reliable Distributed Systems in the Presence of Software Errors – Joe Armstrong, To Helen - 2003
16 Repairing Structurally Complex Data – Sarfraz Khurshid, Iván García, Yuk Lai Suen - 2005
133 DieHard: probabilistic memory safety for unsafe languages – Emery D. Berger, Benjamin G. Zorn - 2006