products/sources/formale sprachen/PVS/structures image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: benchmarks.prf   Sprache: PVS

Original von: PVS©

top_array: THEORY
BEGIN

  IMPORTING            % -------------- arrays -----------------
     min_array,        % defines min function over an array
     max_array,        % defines max function over an array 
     permutations,     % permutations defined using arrays
     sort_array,       % defines a sort function over arrays
     sort_array_lems,  % relationship between sort and min and max
     array_ops,        % array operations
     majority_array   % defines majority function over an array 

END top_array

¤ Dauer der Verarbeitung: 0.17 Sekunden  (vorverarbeitet)  ¤





Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

Eigene Datei ansehen




Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.


Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff