| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/co_structures/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 663 B |
|
Quelle csequence.pvs Sprache: PVS |
|||||||||
|
%-----------------------------------------------------------------------------
% Sequences of countable length defined as coalgebraic datatypes. % % Author: Jerry James <loganjerry@gmail.com> % % This file and its accompanying proof file are distributed under the CC0 1.0 % Universal license: http://creativecommons.org/publicdomain/zero/1.0/. % % Version history: % 2007 Feb 14: PVS 4.0 version % 2011 May 6: PVS 5.0 version % 2013 Jan 14: PVS 6.0 version %----------------------------------------------------------------------------- csequence[T: TYPE]: CODATATYPE BEGIN empty_cseq: empty? add(first: T, rest: csequence): nonempty? END csequence ¤ Dauer der Verarbeitung: 0.20 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28