(*
Author: Norbert Schirmer
Maintainer: Norbert Schirmer, norbert.schirmer at web de
Copyright (C) 2006-2008 Norbert Schirmer
*)
section ‹SHORTENED! Parallel expressions in DPC/Hoare.›
theory DPC0Expressions imports Main begin
definition p_not :: "bool list => bool list" ("¬p")
where "p_not = map Not"
definition elem_wise :: "('a ==> 'b ==> 'c) ==> 'a list ==> 'b list ==> 'c list"
where "elem_wise f xs ys = map (λ (x, y). f x y) (zip xs ys)"
definition p_and :: "bool list => bool list => bool list" (infixl "∧p" 35)
where "p_and = elem_wise (&)"
notation (ASCII)
p_and (infixl "pand" 35)
end
| Messung V0.5 in Prozent |
|---|
| | | |
¤ Dauer der Verarbeitung: 0.9 Sekunden
(vorverarbeitet am 2026-06-10)
¤
*© Formatika GbR, Deutschland
