Carroll Morgan
Carroll Morgan
Professor, University of New South Wales and DATA61
Verifierad e-postadress på unsw.edu.au
TitelCiteras avÅr
Programming from specifications
C Morgan
Prentice Hall,, 1994
21461994
Laws of programming
CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...
Communications of the ACM 30 (8), 672-686, 1987
919*1987
The specification statement
C Morgan
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 403-419, 1988
4441988
Abstraction, refinement and proof for probabilistic systems
A McIver, C Morgan, CC Morgan
Springer Science & Business Media, 2005
3872005
The refinement calculus
C Morgan
Program Design Calculi, 3-52, 1993
3811993
Probabilistic predicate transformers
C Morgan, A McIver, K Seidel
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 325-353, 1996
3191996
Specification of the UNIX filing system
C Morgan, B Sufrin
IEEE Transactions on Software Engineering, 128-142, 1984
1901984
Data refinement by calculation
C Morgan, PHB Gardiner
Acta Informatica 27 (6), 481-503, 1990
1771990
Data refinement of predicate transformers
P Gardiner, C Morgan
Theoretical Computer Science 87 (1), 143-162, 1991
1521991
Refinement of state-based concurrent systems
JCP Woodcock, C Morgan
International Symposium of VDM Europe, 340-351, 1990
1301990
Specification statements and refinement
C Morgan, K Robinson
IBM Journal of Research and Development 31 (5), 546-555, 1987
1261987
Proof For Probabilistic Systems (Monographs in Computer Science)
A McIver, C Morgan, R Abstraction
SpringerVerlag, 2004
1212004
Proof For Probabilistic Systems (Monographs in Computer Science)
A McIver, C Morgan, R Abstraction
SpringerVerlag, 2004
1212004
A single complete rule for data refinement
PHB Gardiner, C Morgan
Formal Aspects of Computing 5 (4), 367-382, 1993
1211993
Of wp and CSP
C Morgan
Beauty is our business, 319-326, 1990
1111990
Characterising testing preorders for finite probabilistic processes
Y Deng, R Van Glabbeek, M Hennessy, C Morgan, C Zhang
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 313-325, 2007
1092007
Refinement-oriented probability for CSP
C Morgan, A McIver, K Seidel, JW Sanders
Formal aspects of computing 8 (6), 617-647, 1996
1051996
Probabilistic guarded commands mechanized in HOL
J Hurd, A McIver, C Morgan
Electronic Notes in Theoretical Computer Science 112, 95-111, 2005
1012005
Data refinement by miracles
C Morgan
On the refinement Calculus, 59-64, 1988
861988
Procedures, parameters, and abstraction: Separate concerns
C Morgan
On the Refinement Calculus, 47-58, 1988
801988
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20