Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
- This note shows that in non-deterministic extended lambda calculi with letrec, the tool of applicative (bi)simulation is in general not usable for contextual equivalence, by giving a counterexample adapted from data flow analysis. It also shown that there is a flaw in a lemma and a theorem concerning finite simulation in a conference paper by the first two authors.
Volltext Dateien herunterladen
Weitere Dienste
| Verfasserangaben: | Manfred Schmidt-SchaußORCiDGND, Elena Machkasova, David SabelORCiDGND |
|---|---|
| URN: | urn:nbn:de:hebis:30-77868 |
| URL: | http://www.ki.informatik.uni-frankfurt.de/papers/schauss/simcounter-IB38.pdf |
| Titel des übergeordneten Werkes (Englisch): | Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 38 |
| Schriftenreihe (Bandnummer): | Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (38) |
| Verlag: | Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology |
| Verlagsort: | Frankfurt [am Main] |
| Dokumentart: | Arbeitspapier |
| Sprache: | Englisch |
| Jahr der Fertigstellung: | 2009 |
| Jahr der Erstveröffentlichung: | 2009 |
| Veröffentlichende Institution: | Universitätsbibliothek Johann Christian Senckenberg |
| Datum der Freischaltung: | 22.06.2010 |
| Freies Schlagwort / Tag: | Kontextuelle Gleichheit contextual equivalence; non-determinism; semantics |
| GND-Schlagwort: | Formale Semantik; Lambda-Kalkül; Nichtdeterminismus |
| Seitenzahl: | 10 |
| Erste Seite: | 1 |
| Letzte Seite: | 10 |
| HeBIS-PPN: | 224526219 |
| Institute: | Informatik und Mathematik / Informatik |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Sammlungen: | Universitätspublikationen |
| Lizenz (Deutsch): |  Deutsches Urheberrecht |
