{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:07:35Z","timestamp":1725520055007},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540892465"},{"type":"electronic","value":"9783540892472"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89247-2_10","type":"book-chapter","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T08:00:30Z","timestamp":1224230430000},"page":"158-172","source":"Crossref","is-referenced-by-count":5,"title":["Runtime Monitoring of Object Invariants with Guarantee"],"prefix":"10.1007","author":[{"given":"Madhu","family":"Gopinathan","sequence":"first","affiliation":[]},{"given":"Sriram K.","family":"Rajamani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","first-page":"1","volume-title":"POPL","author":"T. Ball","year":"2002","unstructured":"Ball, T., Rajamani, S.K.: The SLAM project: Debugging system software via static analysis. In: POPL, pp. 1\u20133. ACM, New York (2002)"},{"key":"10_CR2","volume-title":"PLDI","author":"R. DeLine","year":"2001","unstructured":"DeLine, R., F\u00e4hndrich, M.: Enforcing high-level protocols in low-level software. In: PLDI. ACM, New York (2001)"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/1065010.1065022","volume-title":"PLDI","author":"B. Chin","year":"2005","unstructured":"Chin, B., Markstrum, S., Millstein, T.: Semantic type qualifiers. In: PLDI, pp. 85\u201395. ACM, New York (2005)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Beck, K., Cunningham, W.: A laboratory for teaching object-oriented thinking. In: OOPSLA, pp. 1\u20136 (1989)","DOI":"10.1145\/74877.74879"},{"key":"10_CR5","unstructured":"http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/api\/"},{"key":"10_CR6","unstructured":"JDOM FAQ \u2013 http:\/\/www.jdom.org\/docs\/faq.html#a0390"},{"key":"10_CR7","unstructured":"http:\/\/www.jdom.org\/pipermail\/jdom-interest\/2005-March\/014694.html"},{"key":"10_CR8","unstructured":"http:\/\/bugs.mysql.com\/bug.php?id=2054"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA, pp. 48\u201364 (1998)","DOI":"10.1145\/286936.286947"},{"key":"10_CR10","first-page":"213","volume-title":"POPL","author":"C. Boyapati","year":"2003","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: POPL, pp. 213\u2013223. ACM, New York (2003)"},{"issue":"5","key":"10_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.5381\/jot.2006.5.5.a1","volume":"5","author":"J. Boyland","year":"2006","unstructured":"Boyland, J.: Why we should not add readonly to java (yet). JOT\u00a05(5), 5\u201329 (2006)","journal-title":"JOT"},{"issue":"6","key":"10_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.5381\/jot.2004.3.6.a2","volume":"3","author":"M. Barnett","year":"2004","unstructured":"Barnett, M., DeLine, R., F\u00e4hndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. JOT\u00a03(6), 27\u201356 (2004)","journal-title":"JOT"},{"key":"10_CR13","first-page":"54","volume-title":"MPC","author":"M. Barnett","year":"2004","unstructured":"Barnett, M., Naumann, D.A.: Friends need a bit more: Maintaining invariants over shared state. In: MPC, pp. 54\u201384. Springer, Heidelberg (2004)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Chen, F., Rosu, G.: Mop: an efficient and generic runtime verification framework. In: OOPSLA, pp. 569\u2013588 (2007)","DOI":"10.1145\/1297027.1297069"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Avgustinov, P., Bodden, E., Hajiyev, E., Hendren, L.J., Lhot\u00e1k, O., de Moor, O., Ongkingco, N., Sereni, D., Sittampalam, G., Tibble, J., Verbaere, M.: Aspects for trace monitoring. In: FATES\/RV, pp. 20\u201339 (2006)","DOI":"10.1007\/11940197_2"},{"issue":"4","key":"10_CR16","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.entcs.2006.02.007","volume":"144","author":"V. Stolz","year":"2006","unstructured":"Stolz, V., Bodden, E.: Temporal assertions using aspectj. Electr. Notes Theor. Comput. Sci.\u00a0144(4), 109\u2013124 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: ECOOP, pp. 220\u2013242 (1997)","DOI":"10.1007\/BFb0053381"},{"key":"10_CR18","unstructured":"AspectJ \u2013, http:\/\/www.eclipse.org\/aspectj\/"},{"key":"10_CR19","unstructured":"http:\/\/www.ibm.com\/developerworks\/java\/library\/j-jtp02183.html"},{"key":"10_CR20","first-page":"1","volume-title":"PLDI","author":"J.S. Foster","year":"2002","unstructured":"Foster, J.S., Terauchi, T., Aiken, A.: Flow-sensitive type qualifiers. In: PLDI, pp. 1\u201312. ACM, New York (2002)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Helm, R., Holland, I.M., Gangopadhyay, D.: Contracts: Specifying behavioural compositions in object-oriented systems. In: OOPSLA\/ECOOP, pp. 169\u2013180 (1990)","DOI":"10.1145\/97946.97967"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Jaspan, C., Aldrich, J.: Checking framework plugins. In: OOPSLA Companion, pp. 795\u2013796 (2007)","DOI":"10.1145\/1297846.1297892"},{"key":"10_CR23","unstructured":"Leavens, G., Cheon, Y.: Design by contract with jml (2003)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89247-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T10:48:19Z","timestamp":1684579699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89247-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540892465","9783540892472"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89247-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}