Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/while/pvsbin/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 8.10.2014 mit Größe 2 kB image not shown  

Quelle  while.dep   Sprache: unbekannt

 
/top,list_props_aux,State,AExp,BExp,Stm,Cont,direct,continuation,congruence,sos,direct_sos,compiler,Instruction,am,bisimulation,axiomatic,natural
topology/continuity,basis,continuity_def,topology,composition_continuity,prelude_sets_aux,identity_continuity,topology_def,topology_prelim,constant_continuity
structures/const_fun_def
algebra/semigroup_def,monad_def,monoid_def,groupoid_def,groupoid,monoid,monad,semigroup
sets_aux/countability
scott/dual_fixpoints,admissible,scott_continuity,fun_preds_partial,pointwise_orders_aux,partial_function_props,scott_composition_continuity,scott_identity_continuity,scott,fixpoints
orders/relations_extra,lattices,bounded_orders,minmax_orders,bounded_integers,bounded_order_props,product_orders,lift_props,ordered_subset,directed_orders,pointwise_orders,relation_iterate,skolemization,integer_enumerations,total_lattices,non_empty_bounded_sets,upper_semilattices,partial_order_props,bounded_sets,directed_order_props,chain,indexed_sets_extra,lower_semilattices,closure_ops
finite_sets/finite_sets_minmax,finite_sets_inductions
top:list_props_aux,State,AExp,BExp,Stm,Cont,direct,continuation,congruence,sos,direct_sos,compiler,Instruction,am,bisimulation,axiomatic,natural
list_props_aux:
State:
AExp:State
BExp:State,AExp
Stm:AExp,BExp
Cont:State,orders@lift_props,scott@partial_function_props,orders@directed_orders,orders@bounded_order_props,scott@scott_continuity
direct:AExp,BExp,State,Stm,Cont,scott@partial_function_props,scott@fixpoints
continuation:AExp,BExp,State,Stm,Cont,scott@partial_function_props,scott@scott_continuity,scott@scott_identity_continuity,scott@scott_composition_continuity,scott@pointwise_orders_aux,scott@fixpoints
congruence:direct,continuation,scott@admissible,orders@product_orders,scott@scott_continuity,scott@dual_fixpoints
sos:State,AExp,BExp,Stm,Cont
direct_sos:direct,sos,Cont,continuation
compiler:AExp,BExp,Stm,Instruction,list_props_aux
Instruction:
am:Instruction,State,list_props_aux,Cont
bisimulation:compiler,am,sos
axiomatic:State,AExp,BExp,Stm,sos
natural:State,AExp,BExp,Stm,Cont,sos,continuation

[ Dauer der Verarbeitung: 0.22 Sekunden  (vorverarbeitet)  ]