{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:55:11Z","timestamp":1750308911630,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,8,24]],"date-time":"2004-08-24T00:00:00Z","timestamp":1093305600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,8,24]]},"DOI":"10.1145\/1013963.1013983","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"167-178","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["iRho"],"prefix":"10.1145","author":[{"given":"Luigi","family":"Liquori","sequence":"first","affiliation":[{"name":"INRIA, France"}]},{"given":"Bernard Paul","family":"Serpette","sequence":"additional","affiliation":[{"name":"INRIA, France"}]}],"member":"320","published-online":{"date-parts":[[2004,8,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/236705"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604152"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803004775"},{"key":"e_1_3_2_1_4_1","series-title":"Note Series NS-02-2","volume-title":"Proc. of FICS","author":"Boudol G.","year":"2002","unstructured":"G. Boudol and P. Zimmer . Recursion in the Call-by-Value Lambda-Calculus . In Proc. of FICS , Note Series NS-02-2 . BRICS , 2002 .]] G. Boudol and P. Zimmer. Recursion in the Call-by-Value Lambda-Calculus. In Proc. of FICS, Note Series NS-02-2. BRICS, 2002.]]"},{"issue":"3","key":"e_1_3_2_1_5_1","first-page":"427","volume":"9","author":"Cirstea H.","year":"2001","unstructured":"H. Cirstea and C. Kirchner . The rewriting calculus -- Part I and II. Logic Journal of the Interest Group in Pure and Applied Logics , 9 ( 3 ): 427 -- 498 , 2001 .]] H. Cirstea and C. Kirchner. The rewriting calculus -- Part I and II. Logic Journal of the Interest Group in Pure and Applied Logics, 9(3):427--498, 2001.]]","journal-title":"The rewriting calculus -- Part I and II. Logic Journal of the Interest Group in Pure and Applied Logics"},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","first-page":"77","volume-title":"Proc. of RTA","author":"Cirstea H.","year":"2001","unstructured":"H. Cirstea , C. Kirchner , and L. Liquori . Matching Power . In Proc. of RTA , volume 2051 of LNCS , pages 77 -- 92 . Springer-Verlag , 2001 .]] H. Cirstea, C. Kirchner, and L. Liquori. Matching Power. In Proc. of RTA, volume 2051 of LNCS, pages 77--92. Springer-Verlag, 2001.]]"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","first-page":"166","volume-title":"Proc. of FOSSACS","author":"Cirstea H.","year":"2001","unstructured":"H. Cirstea , C. Kirchner , and L. Liquori . The Rho Cube . In Proc. of FOSSACS , volume 2030 of LNCS , pages 166 -- 180 , 2001 .]] H. Cirstea, C. Kirchner, and L. Liquori. The Rho Cube. In Proc. of FOSSACS, volume 2030 of LNCS, pages 166--180, 2001.]]"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. of WRLA, ENTCS","author":"Cirstea H.","year":"2002","unstructured":"H. Cirstea , C. Kirchner , and L. Liquori . Rewriting Calculus with(out) Types . In Proc. of WRLA, ENTCS , 2002 .]] H. Cirstea, C. Kirchner, and L. Liquori. Rewriting Calculus with(out) Types. In Proc. of WRLA, ENTCS, 2002.]]"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc","author":"Cirstea H.","year":"2004","unstructured":"H. Cirstea , L. Liquori , and B. Wack . Rho-calculus with Fixpoint: First-order system . In Proc . of TYPES. Springer-Verlag , 2004 .]] H. Cirstea, L. Liquori, and B. Wack. Rho-calculus with Fixpoint: First-order system. In Proc. of TYPES. Springer-Verlag, 2004.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90020-7"},{"key":"e_1_3_2_1_11_1","volume-title":"Concert: Compilateurs Certifi\u00e9s","author":"Lemme CNAM","year":"2004","unstructured":"Cristal, Foc- CNAM , Lemme , Mimosa, Mir\u00f3, and Oasis. Concert: Compilateurs Certifi\u00e9s , 2004 . ARC INRIA 2003-2004, http:\/\/www-sop.inria.fr\/lemme\/concert.]] Cristal, Foc-CNAM, Lemme, Mimosa, Mir\u00f3, and Oasis. Concert: Compilateurs Certifi\u00e9s, 2004. ARC INRIA 2003-2004, http:\/\/www-sop.inria.fr\/lemme\/concert.]]"},{"key":"e_1_3_2_1_12_1","volume-title":"Jrho: a Java Implementation of the Rho Calculus","author":"Faure G.","year":"2002","unstructured":"G. Faure and P. Moreau . Jrho: a Java Implementation of the Rho Calculus , 2002 . http:\/\/elan.loria.fr\/Soft\/jrho-0.1.tar.gz.]] G. Faure and P. Moreau. Jrho: a Java Implementation of the Rho Calculus, 2002. http:\/\/elan.loria.fr\/Soft\/jrho-0.1.tar.gz.]]"},{"key":"e_1_3_2_1_13_1","volume-title":"Design Patterns Elements of Reusable Object-Oriented Software","author":"Gamma E.","year":"1994","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides ( The Gang of Four). Design Patterns Elements of Reusable Object-Oriented Software . Addison-Wesley , 1994 .]] E. Gamma, R. Helm, R. Johnson, and J. Vlissides (The Gang of Four). Design Patterns Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646252.686159"},{"key":"e_1_3_2_1_15_1","volume-title":"The OBJ Family Home Page","author":"Goguen J.","year":"2004","unstructured":"J. Goguen . The OBJ Family Home Page , 2004 . http:\/\/www.cs.ucsd.edu\/users\/goguen\/sys\/obj.html.]] J. Goguen. The OBJ Family Home Page, 2004. http:\/\/www.cs.ucsd.edu\/users\/goguen\/sys\/obj.html.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888267"},{"key":"e_1_3_2_1_17_1","volume-title":"Universit\u00e9 de Paris 7 (France)","author":"Huet G.","year":"1976","unstructured":"G. Huet . R\u00e9solution d'equations dans les langages d'ordre 1,2, ...,\u03c9. Ph.d. thesis , Universit\u00e9 de Paris 7 (France) , 1976 .]] G. Huet. R\u00e9solution d'equations dans les langages d'ordre 1,2, ...,\u03c9. Ph.d. thesis, Universit\u00e9 de Paris 7 (France), 1976.]]"},{"key":"e_1_3_2_1_18_1","series-title":"LNCS","first-page":"22","volume-title":"Proc. of STACS","author":"Kahn G.","year":"1987","unstructured":"G. Kahn . Natural Semantics . In Proc. of STACS , volume 247 of LNCS , pages 22 -- 39 . Springer-Verlag , 1987 .]] G. Kahn. Natural Semantics. In Proc. of STACS, volume 247 of LNCS, pages 22--39. Springer-Verlag, 1987.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73567"},{"key":"e_1_3_2_1_20_1","volume-title":"The Computer Journal, 6:308--320","author":"Landin P. J.","year":"1964","unstructured":"P. J. Landin . The Mechanical Evaluation of Expression . The Computer Journal, 6:308--320 , 1964 .]] P. J. Landin. The Mechanical Evaluation of Expression. The Computer Journal, 6:308--320, 1964.]]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949324"},{"key":"e_1_3_2_1_22_1","volume-title":"The Full Version of this paper","author":"Liquori L.","year":"2004","unstructured":"L. Liquori and B. Serpette . The Full Version of this paper , 2004 . http:\/\/www-sop.inria.fr\/oasis\/Bernard.Serpette\/ImpRhoCalculus\/.]] L. Liquori and B. Serpette. The Full Version of this paper, 2004. http:\/\/www-sop.inria.fr\/oasis\/Bernard.Serpette\/ImpRhoCalculus\/.]]"},{"key":"e_1_3_2_1_23_1","first-page":"66","volume-title":"Local Variables and Operational Reasoning. In Proc. of LICS","author":"Mason I. A.","year":"1992","unstructured":"I. A. Mason and C. L. Talcott . References , Local Variables and Operational Reasoning. In Proc. of LICS , pages 66 -- 77 , 1992 .]] I. A. Mason and C. L. Talcott. References, Local Variables and Operational Reasoning. In Proc. of LICS, pages 66--77, 1992.]]"},{"key":"e_1_3_2_1_25_1","first-page":"249","volume-title":"Proc. of LICS","author":"Mendler N. P.","year":"1986","unstructured":"N. P. Mendler , P. Panangaden , and R. L. Constable . Infinite Objects in Type Theory . In Proc. of LICS , pages 249 -- 255 , 1986 .]] N. P. Mendler, P. Panangaden, and R. L. Constable. Infinite Objects in Type Theory. In Proc. of LICS, pages 249--255, 1986.]]"},{"volume-title":"The C# Home Page","year":"2004","key":"e_1_3_2_1_26_1","unstructured":"Microsoft. The C# Home Page , 2004 . http:\/\/msdn.microsoft.com\/vcsharp\/.]] Microsoft. The C# Home Page, 2004. http:\/\/msdn.microsoft.com\/vcsharp\/.]]"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/549659"},{"key":"e_1_3_2_1_28_1","volume-title":"The Tom Home Page","author":"Moreau P.","year":"2004","unstructured":"P. Moreau , C. Ringeissen , and M. Vittek . The Tom Home Page , 2004 . http:\/\/tom.loria.fr\/.]] P. Moreau, C. Ringeissen, and M. Vittek. The Tom Home Page, 2004. http:\/\/tom.loria.fr\/.]]"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224182"},{"key":"e_1_3_2_1_30_1","volume-title":"The Implementation of Functional Programming Languages","author":"Jones S. Peyton","year":"1987","unstructured":"S. Peyton Jones . The Implementation of Functional Programming Languages . Prentice Hall , 1987 .]] S. Peyton Jones. The Implementation of Functional Programming Languages. Prentice Hall, 1987.]]"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9942(1996)2:1%3C3::AID-TAPO1%3E3.0.CO;2-#"},{"key":"e_1_3_2_1_32_1","volume-title":"The Rogue Home Page","author":"Stump A.","year":"2004","unstructured":"A. Stump . The Rogue Home Page , 2004 . http:\/\/www.cse.wustl.edu\/~stump\/rogue.html.]] A. Stump. The Rogue Home Page, 2004. http:\/\/www.cse.wustl.edu\/~stump\/rogue.html.]]"},{"key":"e_1_3_2_1_33_1","volume-title":"CAV","author":"Stump A.","year":"2002","unstructured":"A. Stump , C. W. Barrett , and D. L. Dill . CVC: A Cooperating Validity Checker . In CAV , 2002 . System Description.]] A. Stump, C. W. Barrett, and D. L. Dill. CVC: A Cooperating Validity Checker. In CAV, 2002. System Description.]]"},{"volume-title":"Java Technology","year":"2004","key":"e_1_3_2_1_34_1","unstructured":"Sun. Java Technology , 2004 . http:\/\/java.sun.com\/.]] Sun. Java Technology, 2004. http:\/\/java.sun.com\/.]]"},{"key":"e_1_3_2_1_35_1","volume-title":"The Asf+Sdf Meta-Environment Home Page","author":"Sdf Team The","year":"2004","unstructured":"The Asf+ Sdf Team . The Asf+Sdf Meta-Environment Home Page , 2004 . http:\/\/www.cwi.nl\/htbin\/sen1\/twiki\/bin\/view\/SEN1\/MetaEnvironment.]] The Asf+Sdf Team. The Asf+Sdf Meta-Environment Home Page, 2004. http:\/\/www.cwi.nl\/htbin\/sen1\/twiki\/bin\/view\/SEN1\/MetaEnvironment.]]"},{"key":"e_1_3_2_1_36_1","volume-title":"The Cduce Home Page","author":"Team The Cduce","year":"2004","unstructured":"The Cduce Team . The Cduce Home Page , 2004 . http:\/\/www.cduce.org.]] The Cduce Team. The Cduce Home Page, 2004. http:\/\/www.cduce.org.]]"},{"key":"e_1_3_2_1_37_1","volume-title":"The Common Criteria Home Page","author":"The Common Criteria Consortium","year":"2004","unstructured":"The Common Criteria Consortium . The Common Criteria Home Page , 2004 . http:\/\/www.commoncriteria.org.]] The Common Criteria Consortium. The Common Criteria Home Page, 2004. http:\/\/www.commoncriteria.org.]]"},{"key":"e_1_3_2_1_38_1","volume-title":"The Objective Caml Home Page","author":"Team The Cristal","year":"2004","unstructured":"The Cristal Team . The Objective Caml Home Page , 2004 . http:\/\/www.ocaml.org\/.]] The Cristal Team. The Objective Caml Home Page, 2004. http:\/\/www.ocaml.org\/.]]"},{"key":"e_1_3_2_1_39_1","volume-title":"The GNU Prolog Home Page","author":"Prolog Team The GNU","year":"2004","unstructured":"The GNU Prolog Team . The GNU Prolog Home Page , 2004 . http:\/\/pauillac.inria.fr\/~diaz\/gnu-prolog\/.]] The GNU Prolog Team. The GNU Prolog Home Page, 2004. http:\/\/pauillac.inria.fr\/~diaz\/gnu-prolog\/.]]"},{"key":"e_1_3_2_1_40_1","volume-title":"The Haskell Home Page","author":"Team The Haskell","year":"2004","unstructured":"The Haskell Team . The Haskell Home Page , 2004 . http:\/\/www.haskell.org\/.]] The Haskell Team. The Haskell Home Page, 2004. http:\/\/www.haskell.org\/.]]"},{"key":"e_1_3_2_1_41_1","volume-title":"The Coq Home Page","author":"Team The Logical","year":"2004","unstructured":"The Logical Team . The Coq Home Page , 2004 . http:\/\/coq.inria.fr.]] The Logical Team. The Coq Home Page, 2004. http:\/\/coq.inria.fr.]]"},{"key":"e_1_3_2_1_42_1","volume-title":"The Maude Home Page","author":"Team The Maude","year":"2004","unstructured":"The Maude Team . The Maude Home Page , 2004 . http:\/\/maude.cs.uiuc.edu\/.]] The Maude Team. The Maude Home Page, 2004. http:\/\/maude.cs.uiuc.edu\/.]]"},{"key":"e_1_3_2_1_43_1","volume-title":"The Schme Bigloo Home Page","author":"Team The Mimosa","year":"2004","unstructured":"The Mimosa Team . The Schme Bigloo Home Page , 2004 . http:\/\/www.sop.inria.fr\/mimosa\/fp\/bigloo\/.]] The Mimosa Team. The Schme Bigloo Home Page, 2004. http:\/\/www.sop.inria.fr\/mimosa\/fp\/bigloo\/.]]"},{"key":"e_1_3_2_1_44_1","volume-title":"The Elan Home Page","author":"Team The Protheo","year":"2004","unstructured":"The Protheo Team . The Elan Home Page , 2004 . http:\/\/elan.loria.fr.]] The Protheo Team. The Elan Home Page, 2004. http:\/\/elan.loria.fr.]]"},{"key":"e_1_3_2_1_45_1","volume-title":"The Scheme Language","author":"Team The Scheme","year":"2004","unstructured":"The Scheme Team . The Scheme Language , 2004 . http:\/\/www.swiss.ai.mit.edu\/projects\/scheme\/.]] The Scheme Team. The Scheme Language, 2004. http:\/\/www.swiss.ai.mit.edu\/projects\/scheme\/.]]"},{"key":"e_1_3_2_1_46_1","volume-title":"The Rho Stratego Home Page","author":"Team The Stratego","year":"2004","unstructured":"The Stratego Team . The Rho Stratego Home Page , 2004 . http:\/\/www.stratego-language.org\/twiki\/bin\/view\/Stratego\/RhoStratego.]] The Stratego Team. The Rho Stratego Home Page, 2004. http:\/\/www.stratego-language.org\/twiki\/bin\/view\/Stratego\/RhoStratego.]]"},{"key":"e_1_3_2_1_47_1","volume-title":"The Stratego Home Page","author":"Team The Stratego","year":"2004","unstructured":"The Stratego Team . The Stratego Home Page , 2004 . http:\/\/www.stratego-language.org.]] The Stratego Team. The Stratego Home Page, 2004. http:\/\/www.stratego-language.org.]]"},{"key":"e_1_3_2_1_48_1","volume-title":"The Xduce Home Page","author":"Team The Xduce","year":"2004","unstructured":"The Xduce Team . The Xduce Home Page , 2004 . http:\/\/xduce.sourceforge.net.]] The Xduce Team. The Xduce Home Page, 2004. http:\/\/xduce.sourceforge.net.]]"},{"key":"e_1_3_2_1_49_1","volume-title":"World Scientific","author":"van Deursen A.","year":"1996","unstructured":"A. van Deursen , J. Heering , and P. Klint . Language Prototyping . World Scientific , 1996 .]] A. van Deursen, J. Heering, and P. Klint. Language Prototyping. World Scientific, 1996.]]"},{"key":"e_1_3_2_1_50_1","volume-title":"Technical Report IR-228, Faculteit der Wiskunde en Informatica","author":"van Oostrom V.","year":"1990","unstructured":"V. van Oostrom . Lambda Calculus with Patterns . Technical Report IR-228, Faculteit der Wiskunde en Informatica , Vrije Universiteit Amsterdam , 1990 .]] V. van Oostrom. Lambda Calculus with Patterns. Technical Report IR-228, Faculteit der Wiskunde en Informatica, Vrije Universiteit Amsterdam, 1990.]]"}],"event":{"name":"PPDP04: Principles and Practice of Declarative Programming 2004","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Verona Italy","acronym":"PPDP04"},"container-title":["Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1013963.1013983","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1013963.1013983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:26:21Z","timestamp":1750281981000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1013963.1013983"}},"subtitle":["an imperative rewriting calculus"],"short-title":[],"issued":{"date-parts":[[2004,8,24]]},"references-count":49,"alternative-id":["10.1145\/1013963.1013983","10.1145\/1013963"],"URL":"https:\/\/doi.org\/10.1145\/1013963.1013983","relation":{},"subject":[],"published":{"date-parts":[[2004,8,24]]},"assertion":[{"value":"2004-08-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}