SCJ: Memory-safety checking without annotations - Research Database, The University of York

By the same authors

Unifying Theories of Reactive Design Contracts
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, JAMES. C. P. & Zeyda, F., 16 Sep 2019
Article in Theoretical Computer Science
Probabilistic Semantics for RoboChart A Weakest Completion Approach
Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Lecture Notes in Computer Science, Vol. 11885.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
SCJ-Circus: specification and refinement of Safety-Critical Java programs
Miyazawa, A. H., Cavalcanti, A. L. C. & Wellings, A. J., 15 Jul 2019
Article in Science of Computer Programming
Finite complete suites for CSP refinement testing
Peleska, J., Huang, W. & Cavalcanti, A. L. C., 15 Jun 2019
Article in Science of Computer Programming
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Foster, S., Baxter, J., Cavalcanti, A., Woodcock, J. & Zeyda, F., 14 May 2019, (arXiv).
Research output: Working paper

SCJ: Memory-safety checking without annotations

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Published copy (DOI)

10.1007/978-3-319-06410-9_32

Author(s)

C. Marriott
A. L. C. Cavalcanti

Department/unit(s)

Computer Science

Publication details

Title of host publication	FM 2014: Formal Methods
Date	Published - 2014
Pages	465-480
Number of pages	16
Publisher	SPRINGER
Editors	C Jones, p Pihlajasaari, J Sun
Original language	Undefined/Unknown
ISBN (Electronic)	978-3-319-06410-9
ISBN (Print)	978-3-319-06409-3

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	8442
ISSN (Print)	0302-9743

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data