乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:49:50Z","timestamp":1725558590328},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642139529"},{"type":"electronic","value":"9783642139536"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13953-6_12","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T11:28:13Z","timestamp":1277810893000},"page":"213-232","source":"Crossref","is-referenced-by-count":9,"title":["Domain-Specific Program Checking"],"prefix":"10.1007","author":[{"given":"Lukas","family":"Renggli","sequence":"first","affiliation":[]},{"given":"St\u00e9phane","family":"Ducasse","sequence":"additional","affiliation":[]},{"given":"Tudor","family":"G\u00eerba","sequence":"additional","affiliation":[]},{"given":"Oscar","family":"Nierstrasz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-47993-7_15","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Aldrich","year":"2002","unstructured":"Aldrich, J., Chambers, C., Notkin, D.: Architectural reasoning in ArchJava. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 334\u2013367. Springer, Heidelberg (2002)"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/1167473.1167479","volume-title":"OOPSLA \u201906: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications","author":"C. Andreae","year":"2006","unstructured":"Andreae, C., Noble, J., Markstrum, S., Millstein, T.: A framework for implementing pluggable type systems. In: OOPSLA \u201906: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp. 57\u201374. ACM Press, New York (2006)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/BFb0054101","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"J. Brant","year":"1998","unstructured":"Brant, J., Foote, B., Johnson, R., Roberts, D.: Wrappers to the rescue. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 396\u2013417. Springer, Heidelberg (1998)"},{"unstructured":"Denker, M., Greevy, O., Nierstrasz, O.: Supporting feature analysis with runtime annotations. In: Proceedings of the 3rd International Workshop on Program Comprehension through Dynamic Analysis (PCODA 2007), pp. 29\u201333, Technische Universiteit Delft (2007)","key":"12_CR4"},{"unstructured":"van Deursen, A., Klint, P.: Little languages: Little maintenance? In: Kamin, S. (ed.) First ACM-SIGPLAN Workshop on Domain-Specific Languages; DSL\u201997, January 1997, pp. 109\u2013127 (1997)","key":"12_CR5"},{"issue":"5","key":"12_CR6","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MS.2007.144","volume":"24","author":"S. Ducasse","year":"2007","unstructured":"Ducasse, S., Lienhard, A., Renggli, L.: Seaside: A flexible environment for building dynamic web applications. IEEE Software\u00a024(5), 56\u201363 (2007)","journal-title":"IEEE Software"},{"key":"12_CR7","volume-title":"Refactoring: improving the design of existing code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: improving the design of existing code. Addison-Wesley Professional, Reading (1999)"},{"unstructured":"Fowler, M.: Domain specific languages (Work in progress) (June 2008), \n \n http:\/\/martinfowler.com\/dslwip\/","key":"12_CR8"},{"issue":"4","key":"12_CR9","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K. Havelund","year":"2000","unstructured":"Havelund, K., Pressburger, T.: Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer (STTT)\u00a02(4), 366\u2013381 (2000)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"issue":"12","key":"12_CR10","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1052883.1052895","volume":"39","author":"D. Hovemeyer","year":"2004","unstructured":"Hovemeyer, D., Pugh, W.: Finding bugs is easy. ACM SIGPLAN Notices\u00a039(12), 92\u2013106 (2004)","journal-title":"ACM SIGPLAN Notices"},{"unstructured":"Johnson, S.C.: Lint, a C program checker. UNIX time-sharing system: UNIX programmer\u2019s manual, p. 278 (1983)","key":"12_CR11"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/WCRE.2003.1287235","volume-title":"Proceedings of the 10th Working Conference on Reverse Engineering (WCRE 2003)","author":"R. Koschke","year":"2003","unstructured":"Koschke, R., Simon, D.: Hierarchical reflexion models. In: Proceedings of the 10th Working Conference on Reverse Engineering (WCRE 2003), p. 36. IEEE Computer Society, Los Alamitos (2003)"},{"unstructured":"Kuhn, A., Verwaest, T.: FAME, a polyglot library for metamodeling at runtime. In: Workshop on Models at Runtime, pp. 57\u201366 (2008)","key":"12_CR13"},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/66083.66089","volume":"24","author":"K.J. Lieberherr","year":"1989","unstructured":"Lieberherr, K.J.: Formulations and benefits of the Law of Demeter. ACM SIGPLAN Notices\u00a024(3), 67\u201378 (1989)","journal-title":"ACM SIGPLAN Notices"},{"issue":"2","key":"12_CR15","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/j.cl.2005.09.002","volume":"32","author":"K. Mens","year":"2006","unstructured":"Mens, K., Kellens, A., Pluquet, F., Wuyts, R.: Co-evolving code and design with intensional views \u2014 a case study. Journal of Computer Languages, Systems and Structures\u00a032(2), 140\u2013156 (2006)","journal-title":"Journal of Computer Languages, Systems and Structures"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/222124.222136","volume-title":"Proceedings of SIGSOFT \u201995, Third ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"G. Murphy","year":"1995","unstructured":"Murphy, G., Notkin, D., Sullivan, K.: Software reflexion models: Bridging the gap between source and high-level models. In: Proceedings of SIGSOFT \u201995, Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 18\u201328. ACM Press, New York (1995)"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1640134.1640145","volume-title":"DLS \u201909: Proceedings of the 5th symposium on Dynamic languages","author":"F. Pluquet","year":"2009","unstructured":"Pluquet, F., Marot, A., Wuyts, R.: Fast type reconstruction for dynamically typed programming languages. In: DLS \u201909: Proceedings of the 5th symposium on Dynamic languages, pp. 69\u201378. ACM, New York (2009)"},{"doi-asserted-by":"crossref","unstructured":"Rutar, N., Almazan, C.B., Foster, J.S.: A comparison of bug finding tools for Java. In: 15th International Symposium on Software Reliability Engineering, ISSRE 2004, pp. 245\u2013256 (2004)","key":"12_CR18","DOI":"10.1109\/ISSRE.2004.1"},{"issue":"4","key":"12_CR19","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1002\/(SICI)1096-9942(1997)3:4<253::AID-TAPO3>3.0.CO;2-T","volume":"3","author":"D. Roberts","year":"1997","unstructured":"Roberts, D., Brant, J., Johnson, R.E.: A refactoring tool for Smalltalk. Theory and Practice of Object Systems (TAPOS)\u00a03(4), 253\u2013263 (1997)","journal-title":"Theory and Practice of Object Systems (TAPOS)"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-75209-7_8","volume-title":"Model Driven Engineering Languages and Systems","author":"L. Renggli","year":"2007","unstructured":"Renggli, L., Ducasse, S., Kuhn, A.: Magritte \u2014 a meta-driven approach to empower developers and end users. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 106\u2013120. Springer, Heidelberg (2007)"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2010: Proceedings of the 24th European Conference on Object-Oriented Programming, Maribor, Slovenia","author":"L. Renggli","year":"2010","unstructured":"Renggli, L., G\u00eerba, T., Nierstrasz, O.: Embedding languages without breaking tools. In: ECOOP 2010: Proceedings of the 24th European Conference on Object-Oriented Programming, Maribor, Slovenia. LNCS. Springer, Heidelberg (to appear, 2010)"}],"container-title":["Lecture Notes in Computer Science","Objects, Models, Components, Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13953-6_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:16:40Z","timestamp":1619785000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13953-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642139529","9783642139536"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13953-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}