Als «as-if» getaggte Fragen

88
Was genau ist die Als-ob-Regel?

Wie der Titel sagt, Was genau ist die "Als ob" -Regel? Eine typische Antwort wäre: Die Regel, die alle Codetransformationen zulässt, die das beobachtbare Verhalten des Programms nicht ändern Von Zeit zu Zeit erhalten wir Verhaltensweisen von bestimmten Implementierungen, die dieser Regel zugeordnet...