2026-07-20T07:47:07Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2807 2024-03-06T11:09:26Z ddc:004 open_access

Limitations of Applicative Bisimulation (Preliminary Report) Koutavas, Vasileios Levy, Paul Blain Sumii, Eijiro Imperative languages higher-order functions local state We present a series of examples that illuminate an important aspect of the semantics of higher-order functions with local state. Namely that certain behaviour of such functions can only be observed by pro- viding them with arguments that contain the functions themselves. This provides evidence for the necessity of complex conditions for functions in modern semantics for state, such as logical relations and Kripke-like bisimulations, where related functions are applied to related arguments (that may contain the functions). It also suggests that simpler semantics, such as those based on applicative bisimulations where functions are ap- plied to identical arguments, would not scale to higher-order languages with local state. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Vasileios Koutavas and Paul Blain Levy and Eijiro Sumii 2010 Is Part Of Dagstuhl Seminar Proceedings, Volume 10351, Modelling, Controlling and Reasoning About State (2010) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.10351.4 urn:nbn:de:0030-drops-28074 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10351.4 eng https://creativecommons.org/licenses/by/4.0/legalcode