Apr 19, 2013 · In this paper, we give a semantics that enables quantitative reasoning about a large class of approximate program transformations in a local, ...
scholar.google.com › citations
Jul 16, 2015 · An approximate program transformation is a transformation that can change the semantics of a program within a specified empirical error ...
Jan 13, 2021 · In this paper we show that the standard metric on real numbers can be lifted to higher-order types in a novel way, yielding a metric semantics ...
Invariance of Approximate Semantics with Respect to Program Transformations · R. Giegerich, Ulrich Möncke, R. Wilhelm · Published in GI Jahrestagung 20 October ...
Nov 17, 2020 · In this paper we show that the standard metric on real numbers can be lifted to higher-order types in a novel way, yielding a metric semantics ...
It is shown that this facilitates the expression of very general program transformations, e ectively giving program transformations in a language with many ...
In this paper, we study how to reduce generalized model checking to model checking by a temporal-logic formula transformation, which generalizes a ...
Recommendations · Proof transformations and structural invariance · Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.
A semantics is given that enables quantitative reasoning about a large class of approximate program transformations in a local, composable way and is based ...
Abstract. We give a denotational semantics to a type and effect system track- ing reading and writing to global variables holding values that may.