Theo dõi
Carroll Morgan
Carroll Morgan
Professor, University of New South Wales
Email được xác minh tại unsw.edu.au
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Programming from specifications
C Morgan
Prentice-Hall, Inc., 1990
23871990
Specification case studies
B Flinn
Prentice-Hall International, 1987
8751987
Laws of programming
CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...
Communications of the ACM 30 (8), 672-686, 1987
5971987
Abstraction, refinement and proof for probabilistic systems
A McIver, C Morgan
Springer Science & Business Media, 2005
5752005
The specification statement
C Morgan
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 403-419, 1988
4911988
The refinement calculus
C Morgan
Program Design Calculi, 3-52, 1993
4211993
Probabilistic predicate transformers
C Morgan, A McIver, K Seidel
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 325-353, 1996
4121996
Specification of the UNIX filing system
C Morgan, B Sufrin
IEEE Transactions on Software Engineering, 128-142, 1984
2151984
Data refinement by calculation
C Morgan, PHB Gardiner
Acta Informatica 27 (6), 481-503, 1990
1921990
Data refinement of predicate transformers
P Gardiner, C Morgan
Theoretical Computer Science 87 (1), 143-162, 1991
1741991
Refinement of state-based concurrent systems
JCP Woodcock, C Morgan
International Symposium of VDM Europe, 340-351, 1990
1471990
A single complete rule for data refinement
PHB Gardiner, C Morgan
Formal Aspects of Computing 5, 367-382, 1993
1441993
Specification statements and refinement
C Morgan, K Robinson
IBM Journal of Research and Development 31 (5), 546-555, 1987
1321987
Characterising testing preorders for finite probabilistic processes
Y Deng, M Hennessy, R van Glabbeek, C Morgan
Logical Methods in Computer Science 4, 2008
1272008
Refinement-oriented probability for CSP
C Morgan, A McIver, K Seidel, JW Sanders
Formal aspects of computing 8 (6), 617-647, 1996
1251996
Probabilistic guarded commands mechanized in HOL
J Hurd, A McIver, C Morgan
Theoretical Computer Science 346 (1), 96-112, 2005
1212005
Of wp and CSP
C Morgan
Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra, 319, 2012
118*2012
Linear-invariant generation for probabilistic programs: Automated support for proof-based methods
JP Katoen, AK McIver, LA Meinicke, CC Morgan
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010
1182010
A new proof rule for almost-sure termination
A McIver, C Morgan, BL Kaminski, JP Katoen
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017
1092017
Additive and multiplicative notions of leakage, and their capacities
MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ...
2014 IEEE 27th Computer Security Foundations Symposium, 308-322, 2014
1072014
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20