{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T18:56:40Z","timestamp":1761937000454,"version":"build-2065373602"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,3,1]],"date-time":"1993-03-01T00:00:00Z","timestamp":730944000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1993,3]]},"DOI":"10.1007\/bf01088695","type":"journal-article","created":{"date-parts":[[2005,2,7]],"date-time":"2005-02-07T07:56:06Z","timestamp":1107762966000},"page":"13-30","source":"Crossref","is-referenced-by-count":15,"title":["A partial evaluator for the Maruti hard real-time system"],"prefix":"10.1007","volume":"5","author":[{"given":"Vivek","family":"Nirkhe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Pugh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Compilers: Principles, Techniques and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R. and Ullman, J. 1986.Compilers: Principles, Techniques and Tools. Reading, MA: Addison-Wesley."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Balasundaram, V. 1989. Compile-time detection of race conditions in a parallel program. In3rd International Conference on Supercomputing, June, pp. 175?185, ACM.","DOI":"10.1145\/318789.318809"},{"issue":"12","key":"CR3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/2.62091","volume":"23","author":"A.A. Berlin","year":"1990","unstructured":"Berlin, A.A. 1990. Compiling scientific code using partial evaluation.IEEE Computer Magazine, 23(12):25?37.","journal-title":"IEEE Computer Magazine"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BF00271642","volume":"21","author":"M.A. Bulyonkov","year":"1984","unstructured":"Bulyonkov, M.A. (1984). Polyvariant mixed computation for analyzer programs.Acta Informatica, 21:473?484.","journal-title":"Acta Informatica"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Consel, C. 1990. Binding time analysis for higher-order untyped functional languages. InLisp and Functional Programming '90, ACM.","DOI":"10.1145\/91556.91668"},{"key":"CR6","first-page":"31","volume-title":"IFIP TC2\/WG 2.1 Working Conference on Program Specification and Transformation","author":"A.P. Ershov","year":"1986","unstructured":"Ershov, A.P. and Ostrovsky, B.N. 1986. Controlled mixed computation and its applications to systematic development of language-oriented parsers. In (L.G.L.T. Meertens, ed.)IFIP TC2\/WG 2.1 Working Conference on Program Specification and Transformation, pp. 31?48. Amsterdam: North Holland."},{"issue":"2","key":"CR7","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/0020-0190(77)90078-3","volume":"6","author":"A.P. Ershov","year":"1977","unstructured":"Ershov, A.P. 1977. On the partial evaluation principle.Information Processing Letters, 6(2):38?41.","journal-title":"Information Processing Letters"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0304-3975(82)90111-6","volume":"18","author":"A.P. Ershov","year":"1982","unstructured":"Ershov, A.P. 1982. Mixed computation: Potential applications and problems for study.Theoretical Computer Science, 18:41?67.","journal-title":"Theoretical Computer Science"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1007\/3-540-16042-6_6","volume-title":"Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi","author":"C. Ghezzi","year":"1985","unstructured":"Ghezzi, C., Mandrioli, D., and Tecchio, A. 1985. Program simplification via symbolic interpretation. In (S.N. Maheshwari, ed.)Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, pp. 116?128. Berlin, New York: Springer-Verlag, LNCS 206."},{"issue":"10","key":"CR10","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R. 1969. An axiomatic basis for computer programming.Communications of ACM, 12(10):576?583.","journal-title":"Communications of ACM"},{"key":"CR11","volume-title":"Rewriting Techniques and Applications","author":"N.D. Jones","year":"1985","unstructured":"Jones, N.D., Sestoft, P., and S\u00f8ndergaard, H. 1985. An experient in partial evaluation: The generation of a compiler generator. In (J.P. Jounnaud, ed.),Rewriting Techniques and Applications, LNCS 202, Berlin, New York: Springer-Verlag."},{"issue":"1","key":"CR12","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N.D. Jones","year":"1989","unstructured":"Jones, N.D., Sestoft, P., and S\u00f8ndergaard, H. 1989. Mix: A self-applicable partial evaluator for experiments in compiler-generator.LISP and Symbolic Computation, 2(1):9?50.","journal-title":"LISP and Symbolic Computation"},{"issue":"1","key":"CR13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/40.16792","volume":"9","author":"H. Kopetz","year":"1989","unstructured":"Kopetz, H., Damm, A., Koza, Ch., Mulazzani, M., Schwalbl, W., Senft, Ch., and Zainlinger, R., 1989. Distributed fault-tolerant real-time systems: The MARS approach.IEEE Micro, 9(1):25?40.","journal-title":"IEEE Micro"},{"issue":"9","key":"CR14","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"SE-12","author":"E. Kligerman","year":"1986","unstructured":"Kligerman, E., and Stoyenko, A.D. 1986. Real-time euclid: a language for reliable real-time systems.IEEE Trans. on Software Engineering, SE-12(9):941?949, September.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"CR15","unstructured":"Levi, S.T. and Agrawala, A.K. 1987. Objects architecture for real-time, distributed, fault tolerant operating systems. In6th IEEE Workshop on Real-Time Operating Systems, Cambridge, MA, July, pp. 142?148."},{"key":"CR16","volume-title":"Real Time System Design","author":"S.T. Levi","year":"1990","unstructured":"Levi, S.T., and Agrawala, A. 1990.Real Time System Design. New York: McGraw Hill."},{"key":"CR17","unstructured":"Al Mok and Amarsinghe, K. 1987. Evaluating tight execution time bounds of programs by annotations. In6th Workshop on Real-Time Operating Systems and Software. IEEE, May, pp. 74?80."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Meyer, U. 1991. Techniques for partial evaluation of imperative languages. InSymposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM-'91), ACM SIGPLAN Notices 26(9):94?105.","DOI":"10.1145\/115866.115876"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1038\/218019a0","volume":"218","author":"D. Michie","year":"1968","unstructured":"Michie, D. 1968. ?Memo? functions and machine learning.Nature, 218:19?22, April.","journal-title":"Nature"},{"key":"CR20","unstructured":"Nirkhe, V. 1992.Application of Partial Evaluation to Real-Time Programming. Ph.D. thesis, Department of Computer Science, University of Maryland. CS-TR-2904."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Nirkhe, V. and Pugh, W. 1992. Partial evaluation of a high level imperative programming language with applications in hard real-time systems. In12th ACM Conference on Principles of Programming Languages, pp. 269?280, January.","DOI":"10.1145\/143165.143223"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Nirkhe, V., Tripathi, S., and Agrawala, A. 1990. Language support for the Maruti real-time system. In11th IEEE Real-Time Systems Symposium, December, pp. 257?266.","DOI":"10.1109\/REAL.1990.128756"},{"issue":"5","key":"CR23","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/360051.360224","volume":"19","author":"S. Owicki","year":"1976","unstructured":"Owicki, S. and Gries, D. 1976. Verifying properties of parallel programs: an axiomatic approach.Communications of ACM, 19(5):279?285.","journal-title":"Communications of ACM"},{"issue":"2","key":"CR24","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"Puschner, P. and Koza, Ch. 1989. Calculating the maximum execution times of real-time programs.Real-Time Systems, 1(2):159?176.","journal-title":"Real-Time Systems"},{"issue":"5","key":"CR25","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/2.76286","volume":"24","author":"C.Y. Park","year":"1991","unstructured":"Park, C.Y., and Shaw, A.C. 1991. Experimenting with a program timing tool based on source-level timing schema.IEEE Computer Magazine, 24(5):48?57, May.","journal-title":"IEEE Computer Magazine"},{"issue":"5","key":"CR26","first-page":"362","volume":"26","author":"R.N. Tayor","year":"1983","unstructured":"Tayor, R.N. 1983. A general-purpose algorithm for analyzing concurrent programs.Communications of ACM, 26(5):362?376.","journal-title":"Communications of ACM"},{"issue":"7","key":"CR27","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"A. Shaw","year":"1989","unstructured":"Shaw, A. 1989. Reasoning about time in higher-level language software.IEEE Transactions on Software Engineering, 15(7):875?889.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"Stoyenko, A.D. and Marlowe, T.J. 1992. Polynomial-time transformations and schedulability analysis of parallel real-time programs with restricted resource contention.Real-Time Systems Journal, 4(4).","DOI":"10.1007\/BF00355297"},{"issue":"3","key":"CR29","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/71021.71024","volume":"23","author":"J.A. Stankovic","year":"1989","unstructured":"Stankovic, J.A. and Ramamritham, K. 1989. The spring kernel: A new paradigm for real-time operating systems.ACM SIGOPS Operating Systems Review, 23(3):54?71.","journal-title":"ACM SIGOPS Operating Systems Review"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088695.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088695\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088695","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T17:03:30Z","timestamp":1586106210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088695"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,3]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,3]]}},"alternative-id":["BF01088695"],"URL":"https:\/\/doi.org\/10.1007\/bf01088695","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1993,3]]}}}