Verifying a Compiler for Java Threads-Reference-Cited by-同舟云学术

Verifying a Compiler for Java Threads

Published:2010 Issue: Volume: Page:427-447
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Lochbihler Andreas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-11957-6_23.pdf

Reference28 articles.

1. Aceto, L., van Glabbeek, R.J., Fokkink, W., Ingólfsdóttir, A.: Axiomatizing prefix iteration with silent steps. Information and Computation 127(1), 26–40 (1996)

2. Lecture Notes in Computer Science,1999

3. Lecture Notes in Computer Science;D. Aspinall,2007

4. Belblidia, N., Debbabi, M.: A dynamic operational semantics for JVML. Journal of Object Technology 6(3), 71–100 (2007)

5. Bergstra, J.A., Klop, J.W., Olderog, E.R.: Failures without chaos: a new process semantics for fair abstraction. In: IFIP 1987, Formal Description of Programming Concepts III, pp. 77–103. Elsevier Science Publishing, Amsterdam (1987)

Cited by 36 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions;Journal of Systems Architecture;2024-02

2. SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification;Journal of Systems Architecture;2024-02

3. CSim 2;ACM Transactions on Programming Languages and Systems;2021-03-31

4. Towards efficient and verified virtual machines for dynamic languages;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17

5. Formal Approaches to Secure Compilation;ACM Computing Surveys;2019-11-30