{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T12:40:25Z","timestamp":1738327225611,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691471"},{"type":"electronic","value":"9783540691495"}],"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-69149-5_28","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"256-267","source":"Crossref","is-referenced-by-count":1,"title":["Computational Logical Frameworks and Generic Program Analysis Technologies"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Meseguer","sequence":"first","affiliation":[]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0304-3975(01)00358-9","volume":"285","author":"P. Borovansk\u00fd","year":"2002","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.-E.: ELAN from a rewriting logic point of view. Theoretical Computer Science\u00a0285, 155\u2013185 (2002)","journal-title":"Theoretical Computer Science"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Braga, C., Meseguer, J.: Modular rewriting semantics in practice. In: Proc. WRLA 2004, ENTCS","DOI":"10.1016\/j.entcs.2004.06.019"},{"key":"28_CR3","volume-title":"Proc. Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004)","author":"I. Cervesato","year":"2004","unstructured":"Cervesato, I., Stehr, M.-O.: Representing the msr cryptoprotocol specification language in an extension of rewriting logic with dependent types. In: Degano, P. (ed.) Proc. Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004), Barcelona, Spain, March 27 - 28, 2004, Elsevier ENTCS, Amsterdam (2004)"},{"issue":"7","key":"28_CR4","first-page":"789","volume":"10","author":"F. Chalub","year":"2004","unstructured":"Chalub, F., Braga, C.: A Modular Rewriting Semantics for CML. Journal of Universal Computer Science\u00a010(7), 789\u2013807 (2004), http:\/\/www.jucs.org\/jucs_10_7\/a_modular_rewriting_semantics","journal-title":"Journal of Universal Computer Science"},{"key":"28_CR5","unstructured":"Clavel, M.: Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. In: CSLI Publications (2000)"},{"key":"28_CR6","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.: Maude: specification and programming in rewriting logic. Theoretical Computer Science\u00a0285, 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"28_CR7","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude 2.0 Manual (June 2003), http:\/\/maude.cs.uiuc.edu"},{"key":"28_CR8","volume-title":"CAFE: An Industrial-Strength Algebraic Formal Method","author":"M. Clavel","year":"2000","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J.: Building equational proving tools by reflection in rewriting logic. In: CAFE: An Industrial-Strength Algebraic Formal Method, Elsevier, Amsterdam (2000), http:\/\/maude.cs.uiuc.edu"},{"key":"28_CR9","unstructured":"Clavel, M., Palomino, M.: The ITP tool\u2019s manual. Universidad Complutense, Madrid (April 2005), http:\/\/maude.sip.ucm.es\/itp\/"},{"key":"28_CR10","unstructured":"d\u2019Amorim, M., Ro\u015fu, G.: An Equational Specification for the Scheme Language. In: Proceedings of the 9th Brazilian Symposium on Programming Languages (SBLP 2005), 2005. Also Technical Report No. UIUCDCS-R-2005-2567 (April 2005) (to appear)"},{"key":"28_CR11","unstructured":"Dur\u00e1n, F.: A reflective module algebra with applications to the Maude language. Ph.D. Thesis, University of M\u00e1laga (1999)"},{"key":"28_CR12","unstructured":"Dur\u00e1n, F.: Coherence checker and completion tools for Maude specifications. Manuscript, Computer Science Laboratory, SRI International (2000), http:\/\/maude.cs.uiuc.edu\/papers"},{"key":"28_CR13","unstructured":"Dur\u00e1n, F.: Termination checker and Knuth-Bendix completion tools for Maude equational specifications. Manuscript, Computer Science Laboratory, SRI International (2000), http:\/\/maude.cs.uiuc.edu\/papers"},{"key":"28_CR14","first-page":"147","volume-title":"Proc. of ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation, PEPM 2004","author":"F. Dur\u00e1n","year":"2004","unstructured":"Dur\u00e1n, F., Lucas, S., Meseguer, J., March\u00e9, C., Urbain, X.: Proving termination of membership equational programs. In: Sestoft, P., Heintze, N. (eds.) Proc. of ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation, PEPM 2004, pp. 147\u2013158. ACM Press, New York (2004)"},{"key":"28_CR15","unstructured":"Dur\u00e1n, F., Meseguer, J.: A Church-Rosser checker tool for Maude equational specifications. Manuscript, Computer Science Laboratory, SRI International (2000), http:\/\/maude.cs.uiuc.edu\/papers"},{"key":"28_CR16","volume-title":"Futatsugi, editor, Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications. ENTCS","author":"F. Dur\u00e1n","year":"2000","unstructured":"Dur\u00e1n, F., Meseguer, J.: On parameterized theories and views in Full Maude 2.0. In: Futatsugi, K. (ed.) Futatsugi, editor, Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications. ENTCS, Elsevier, Amsterdam (2000)"},{"key":"28_CR17","volume-title":"Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications","author":"S. Eker","year":"2002","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker. In: Gadducci, F., Montanari, U. (eds.) Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications, ENTCS, Elsevier, Amsterdam (2002)"},{"key":"28_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-44829-2_16","volume-title":"Model Checking Software","author":"S. Eker","year":"2003","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker and its implementation. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 230\u2013234. Springer, Heidelberg (2003)"},{"key":"28_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/978-3-540-27813-9_46","volume-title":"Computer Aided Verification","author":"A. Farzan","year":"2004","unstructured":"Farzan, A., Cheng, F., Meseguer, J., Ro\u015fu, G.: Formal analysis of Java programs in JavaFAN. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 501\u2013505. Springer, Heidelberg (2004)"},{"key":"28_CR20","unstructured":"Farzan, A., Meseguer, J.: Partial order reduction for rewriting semantics of programming languages, Manuscript, submitted for publication (2005)"},{"key":"28_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-27815-3_14","volume-title":"Algebraic Methodology and Software Technology","author":"A. Farzan","year":"2004","unstructured":"Farzan, A., Meseguer, J., Ro\u015fu, G.: Formal JVM code analysis in JavaFAN. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 132\u2013147. Springer, Heidelberg (2004)"},{"key":"28_CR22","volume-title":"CafeOBJ Report","author":"K. Futatsugi","year":"1998","unstructured":"Futatsugi, K., Diaconescu, R.: CafeOBJ Report. World Scientific, AMAST Series (1998)"},{"key":"28_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-540-32033-3_13","volume-title":"Term Rewriting and Applications","author":"J. Hendrix","year":"2005","unstructured":"Hendrix, J., Meseguer, J., Clavel, M.: A sufficient completeness reasoning tool for partial specifications. In: Giesl, J. (ed.) RTA 2005. LNCS, vol.\u00a03467, pp. 165\u2013174. Springer, Heidelberg (2005)"},{"key":"28_CR24","volume-title":"The Spin Model Checker - Primer and Reference Manual","author":"G. Holzmann","year":"2003","unstructured":"Holzmann, G.: The Spin Model Checker - Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"28_CR25","volume-title":"Proc. 5th. Intl. Workshop on Rewriting Logic and its Applications","author":"E.B. Johnsen","year":"2004","unstructured":"Johnsen, E.B., Owe, O., Axelsen, E.W.: A runtime environment for concurrent objects with asynchronous method calls. In: Mart\u00ed-Oliet, N. (ed.) Proc. 5th. Intl. Workshop on Rewriting Logic and its Applications, ENTCS, Elsevier, Amsterdam (2004)"},{"key":"28_CR26","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/ASE.2001.989793","volume-title":"Proceedings, International Conference on Automated Software Engineering (ASE 2001)","author":"M. Lowry","year":"2001","unstructured":"Lowry, M., Pressburger, T., Ro\u015fu, G.: Certifying domain-specific policies. In: Proceedings, International Conference on Automated Software Engineering (ASE 2001), pp. 81\u201390. IEEE, Los Alamitos, San Diego, California (2001)"},{"issue":"1","key":"28_CR27","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"28_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)"},{"key":"28_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-25984-8_1","volume-title":"Automated Reasoning","author":"J. Meseguer","year":"2004","unstructured":"Meseguer, J., Ro\u015fu, G.: Rewriting logic semantics: From language specifications to formal analysis tools. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 1\u201344. Springer, Heidelberg (2004)"},{"key":"28_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-25984-8_1","volume-title":"Automated Reasoning","author":"J. Meseguer","year":"2004","unstructured":"Meseguer, J., Ro\u015fu, G.: Rewriting logic semantics: From language specifications to formal analysis tools. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 1\u201344. Springer, Heidelberg (2004)"},{"key":"28_CR31","volume-title":"Proc. of SOS 2005","author":"J. Meseguer","year":"2005","unstructured":"Meseguer, J., Ro\u015fu, G.: The rewriting logic semantics project. In: Proc. of SOS 2005, ENTCS, Elsevier, Amsterdam (to appear, 2005)"},{"key":"28_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-48340-3_7","volume-title":"Mathematical Foundations of Computer Science 1999","author":"P.D. Mosses","year":"1999","unstructured":"Mosses, P.D.: Foundations of modular SOS. In: Kuty\u0142owski, M., Wierzbicki, T., Pacholski, L. (eds.) MFCS 1999. LNCS, vol.\u00a01672, pp. 70\u201380. Springer, Heidelberg (1999)"},{"key":"28_CR33","volume-title":"Proc. 5th Intl. Workshop on Rewriting Logic and its Applications","author":"P.C. \u00d6lveczky","year":"2004","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Real-Time Maude 2.1. In: Mart\u00ed-Oliet, N. (ed.) Proc. 5th Intl. Workshop on Rewriting Logic and its Applications, ENTCS, Elsevier, Amsterdam (2004)"},{"key":"28_CR34","unstructured":"Palomino, M.: A predicate abstraction tool for Maude. Documentation and tool, http:\/\/maude.sip.ucm.es\/~miguelpt\/bibliography.html"},{"key":"28_CR35","doi-asserted-by":"crossref","unstructured":"Park, D.Y.W., Stern, U., Skakkeb\u00e6k, J.U., Dill, D.L.: Java model checking. In: ASE 2001, pp. 253\u2013256 (2000)","DOI":"10.1109\/ASE.2000.873671"},{"key":"28_CR36","unstructured":"Ro\u015fu, G.: Programming language classes. Department of Computer Science, University of Illinois at Urbana-Champaign, http:\/\/fsl.cs.uiuc.edu\/~grosu\/classes\/"},{"key":"28_CR37","doi-asserted-by":"crossref","unstructured":"Ro\u015fu, G., Chen, F.: Certifying measurement unit safety policy. In: Automated Software Engineering, 2003. Proc. 18 th IEEE Intl. Conference, pp. 304\u2013309 (2003)","DOI":"10.1109\/ASE.2003.1240326"},{"key":"28_CR38","unstructured":"Stehr, M.-O., Cervesato, I., Reich, S.: An execution environment for the MSR cryptoprotocol specification language, http:\/\/formal.cs.uiuc.edu\/stehr\/msr.html"},{"key":"28_CR39","volume-title":"Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications","author":"M.-O. Stehr","year":"2002","unstructured":"Stehr, M.-O., Talcott, C.: PLAN in Maude: Specifying an active network programming language. In: Gadducci, F., Montanari, U. (eds.) Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications, ENTCS, Elsevier, Amsterdam (2002)"},{"key":"28_CR40","doi-asserted-by":"crossref","unstructured":"Stehr, M.-O., Talcott, C.L.: Practical techniques for language design and prototyping. In: Fiadeiro, J.L., Montanari, U., Wirsing, M. (eds.) Abstracts Collection of the Dagstuhl Seminar 05081 on Foundations of Global Computing. 2005, Schloss Dagstuhl, Wadern, Germany (February 20\u201325, 2005)","DOI":"10.21236\/ADA484494"},{"key":"28_CR41","volume-title":"Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications","author":"P. Thati","year":"2002","unstructured":"Thati, P., Sen, K., Mart\u00ed-Oliet, N.: An executable specification of asynchronous Pi-Calculus semantics and may testing in Maude 2.0. In: Gadducci, F., Montanari, U. (eds.) Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications, ENTCS, Elsevier, Amsterdam (2002)"},{"key":"28_CR42","unstructured":"Verdejo, A.: Maude como marco sem\u00e1ntico ejecutable. PhD thesis, Facultad de Inform\u00e1tica, Universidad Complutense, Madrid, Spain (2003)"},{"key":"28_CR43","doi-asserted-by":"crossref","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Implementing CCS in Maude. In: In Proc. FORTE\/PSTV 2000, vol.\u00a0183, pp. 351\u2013366 (2000)","DOI":"10.1007\/978-0-387-35533-7_22"},{"key":"28_CR44","volume-title":"Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications","author":"A. Verdejo","year":"2002","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Implementing CCS in Maude 2. In: Gadducci, F., Montanari, U. (eds.) Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications, ENTCS, Elsevier, Amsterdam (2002)"},{"key":"28_CR45","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Java PathFinder - second generation of a Java model checker. In: Proceedings of Post-CAV Workshop on Advances in Verification (2000)","DOI":"10.1109\/ASE.2000.873645"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69149-5_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T11:58:43Z","timestamp":1738324723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69149-5_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540691471","9783540691495"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69149-5_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}