products/sources/formale Sprachen/Coq/test-suite/complexity/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Value.thy   Sprache: Coq

Original von: Coq©
(* This example checks if printing nested let-in's stays in linear time *)
(* Expected time < 1.00s *)

Definition f (x : nat * nat) :=
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  let (a,b) := x in
  0.

Timeout 5 Time Print f.

¤ Dauer der Verarbeitung: 0.22 Sekunden  (vorverarbeitet)  ¤



Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

in der Quellcodebibliothek suchen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff