کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662352 1633519 2009 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language
چکیده انگلیسی

In this paper we systematically derive a predicate transformer semantics from a direct semantics for a simple probabilistic-nondeterministic programming language Lp. This goal is achieved by exhibiting the direct semantics as isomorphic to a continuation semantics from which the predicate transformer semantics can be read off immediately. This isomorphism allows one to identify nonempty convex compact saturated sets of valuations on the set S of states with certain “good” functionals from IS to I in a way similar to the one how H. Minkowski in 1903 related nonempty convex compact subsets of Rn to what is nowadays called Minkowski functionals.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 159, Issue 3, June 2009, Pages 307-317