Semantics encoding: Difference between revisions

Content deleted Content added
Line 48:
=== Preservation of observations ===
 
This assumes the existence of a notion of observation on both language A and language B. In programming languages, typical observables are results of inputs and outputs, by opposition to pure computation. In a description languageslanguage such as [[HTML]], a typical observable is the result of page rendering.
 
; soundness : for every observable <math>obs_A</math> on terms of A, there exists an observable <math>obs_B</math> of terms of B such that for any term <math>T_A</math> with observable <math>obs_A</math>, <math>[T_A]</math> has observable <math>obs_B</math>.