{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:06:45Z","timestamp":1725566805352},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540235804"},{"type":"electronic","value":"9783540301752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30175-2_23","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T19:34:58Z","timestamp":1285270498000},"page":"436-455","source":"Crossref","is-referenced-by-count":5,"title":["On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components"],"prefix":"10.1007","author":[{"given":"Julia L.","family":"Lawall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne-Fran\u00e7oise","family":"Le Meur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Muller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1109\/ASE.2003.1240307","volume-title":"Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003)","author":"R.A. \u00c5berg","year":"2003","unstructured":"\u00c5berg, R.A., Lawall, J.L., S\u00fcdholt, M., Muller, G., Le Meur, A.-F.: On the automatic evolution of an os kernel using temporal logic and aop. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), Montreal, Canada, October 2003, pp. 196\u2013204. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-45139-0_7","volume-title":"Model Checking Software","author":"T. Ball","year":"2001","unstructured":"Ball, T., Rajamani, S.K.: Automatically validating temporal safety properties of interfaces. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 103\u2013122. Springer, Heidelberg (2001)"},{"key":"23_CR3","unstructured":"Basu, M., Hayden, G.: Morrisett, and T. von Eicken. A language-based approach to protocol construction. In: Proceedings of the ACM SIGPLAN Workshop on Domain Specific Languages, Paris, France (January 1997)"},{"key":"23_CR4","series-title":"ACM Operating Systems Reviews","first-page":"267","volume-title":"Proceedings of the 15th ACM Symposium on Operating Systems Principles","author":"B. Bershad","year":"1995","unstructured":"Bershad, B., Savage, S., Pardyak, P., G\u00fcn Sirer, E., Fiuczynski, M., Becker, D., Chambers, C., Eggers, S.: Extensibility, safety and performance in the SPIN operating system. In: Proceedings of the 15th ACM Symposium on Operating Systems Principles, Copper Mountain Resort, CO, USA, December 1995. ACM Operating Systems Reviews, vol.\u00a029(5), pp. 267\u2013283. ACM Press, New York (1995)"},{"key":"23_CR5","unstructured":"Bruce, D.: What makes a good domain-specific language? APOSTLE, and its approach to parallel discrete event simulation. In: Proceedings of the ACM SIGPLAN Workshop on Domain Specific Languages, Paris, France, pp. 17\u201335 (January 1997)"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Chandra, S., Richards, B., Larus, J.: Teapot: Language support for writing memory coherence protocols. In: Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, pp. 237\u2013248 (1996)","DOI":"10.1145\/231379.231430"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/BFb0056614","volume-title":"Principles of Declarative Programming","author":"C. Consel","year":"1998","unstructured":"Consel, C., Marlet, R.: Architecturing software using a methodology for language development. In: Palamidessi, C., Meinke, K., Glaser, H. (eds.) ALP 1998 and PLILP 1998. LNCS, vol.\u00a01490, pp. 170\u2013194. Springer, Heidelberg (1998)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Engler, A., Yu, D., Hallem, S., Chou, A., Chelf, B.: Bugs as deviant behavior: A general approach to inferring errors in systems code. In: Proceedings of the 18th ACM Symposium on Operating Systems Principles, Banff, Canada (October 2001)","DOI":"10.1145\/502034.502041"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Engler, D., Chelf, B., Chou, A., Hallem, S.: Checking system rules using systemspecific, programmer-written compiler extensions. In: Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, San Diego, California, pp. 1\u201316 (October 2000)","DOI":"10.21236\/ADA419626"},{"issue":"1","key":"23_CR10","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.976940","volume":"19","author":"D. Evans","year":"2002","unstructured":"Evans, D., Larochelle, D.: Improving security using extensible lightweight static analysis. IEEE Software\u00a019(1), 42\u201351 (2002)","journal-title":"IEEE Software"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Hudak, P.: Modular domain specific languages and tools. In: Proceedings of Fifth International Conference on Software Reuse, Victoria, Canada, pp. 134\u2013142 (June 1998)","DOI":"10.1109\/ICSR.1998.685738"},{"key":"23_CR12","unstructured":"Jim, T., Morrisett, G., Grossman, D., Hicks, M., Cheney, J., Wang, Y.: Cyclone: A safe dialect of C. In: USENIX Annual Technical Conference, Monterey, CA (June 2002)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Kumar, S., Mandelbaum, Y., Yu, X., Li, K.: ESP: a language for programmable devices. In: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, Snowbird, UT, USA, June 2001, pp. 309\u2013320 (2001)","DOI":"10.1145\/378795.378862"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Lawall, J.L., Muller, G., Barreto, L.P.: Capturing OS expertise in a modular type system: the Bossa experience. In: Proceedings of the ACM SIGOPS European Workshop 2002 (EW 2002), Saint-Emilion, France, September 2002, pp. 54\u201362 (2002)","DOI":"10.1145\/1133373.1133384"},{"key":"23_CR15","volume-title":"Advanced Compiler Design and Implementation","author":"S. Muchnick","year":"1997","unstructured":"Muchnick, S.: Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco (1997)"},{"key":"23_CR16","unstructured":"Muller, G., Lawall, J.L., Barreto, L.P., Susini, J.-F.: A framework for simplifying the development of kernel schedulers: Design and performance evaluation. Technical report 03\/2\/INFO, Ecole des Mines de Nantes (2003)"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Necula, G., McPeak, S., Weimer, W.: CCured: type-safe retrofitting of legacy code. In: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, pp. 128\u2013139 (January 2002)","DOI":"10.1145\/503272.503286"},{"key":"23_CR18","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report FN-19, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark (September 1981)"},{"key":"23_CR19","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1109\/DSN.2001.941399","volume-title":"The International Conference on Dependable Systems and Networks","author":"L. R\u00e9veill\u00e8re","year":"2001","unstructured":"R\u00e9veill\u00e8re, L., Muller, G.: Improving driver robustness: an evaluation of the Devil approach. In: The International Conference on Dependable Systems and Networks, G\u00f6teborg, Sweden, July 2001, pp. 131\u2013140. IEEE Computer Society, Los Alamitos (2001)"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/BFb0027798","volume-title":"Concurrency and Parallelism, Programming, Networking, and Security","author":"O. Shivers","year":"1996","unstructured":"Shivers, O.: A universal scripting framework, or Lambda: the ultimate little language. In: Jaffar, J., Yap, R.H.C. (eds.) ASIAN 1996. LNCS, vol.\u00a01179, pp. 254\u2013265. Springer, Heidelberg (1996)"},{"key":"23_CR21","unstructured":"Steere, D., Goel, A., Gruenberg, J., McNamee, D., Pu, C., Walpole, J.: A feedback-driven proportion allocator for real-rate scheduling. In: Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), New Orleans, LA, February 1999, pp. 145\u2013158 (1999)"},{"key":"23_CR22","unstructured":"Waldspurger, C.A., Weihl, W.E.: Lottery scheduling: Flexible proportionalshare resource management. In: Proceedings of the 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI 1994), Monterey, CA, USA, pp. 1\u201311 (November 1994)"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30175-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T13:12:45Z","timestamp":1685797965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30175-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540235804","9783540301752"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30175-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}