jContractor-Reference-Cited by-同舟云学术

jContractor

Published:2002-12 Issue:4 Volume:70 Page:55-79
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Abercrombie Parker,Karaorman Murat

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference11 articles.

1. Dahm M., Byte Code Engineering with the BCEL API, Technical Report B-17-98, Institute für Informatik, Freie Universität Berlin (1998)

2. Duncan A., and U. Hölzle, Adding Contracts to Java with Handshake, Technical Report TRCS98-32, Department of Computer Science, University of California, Santa Barbara (1998)

3. An Axiomatic Basis for Computer Programming;Hoare;Communitications of the ACM,1969

4. Karaorman M., U. Hölzle and J. Bruno, jContractor: A Reflective Java Library to Support Design By Contract, in: Proceedings of Meta-Level Architectures and Reflection, 2nd International Conference, Reflection '99. Saint-Malo, France. Lecture Notes in Computer Science # 1616, Springer Verlag, 1999, pp. 175–196

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

1. A Review of Dynamic Verification of Security and Dependability Properties;Artificial Intelligence and Security Challenges in Emerging Networks;2019

2. Verifying temporal properties of programs: A parallel approach;Journal of Parallel and Distributed Computing;2018-08

3. Monitoring method call sequences using annotations;Science of Computer Programming;2014-11

4. Access permission contracts for scripting languages;ACM SIGPLAN Notices;2012-01-18

5. Eager and delayed contract monitoring for call-by-value and call-by-name evaluation;The Journal of Logic and Algebraic Programming;2010-10