| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Flex/po/ (Fast Lexical Analyzer Version 2.6©) Datei vom 17.10.2015 mit Größe 10 kB |
|
SSL DPC0Expressions.thyInteraktion undPortierbarkeitIsabelle |
|||||||||||||||
|
(* 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
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.8Angebot (Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-09-09) ¤*Eine klare Vorstellung vom Zielzustand |
|
||||||||||||||
2026-08-25