| products/Sources/formale Sprachen/Cobol/Test-Suite/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: pretyping.mllib Sprache: Unknown
|
Spracherkennung für: .mllib vermutete Sprache: C {C[12] Abap[248] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] Geninterp Locus Locusops Pretype_errors Reductionops Inductiveops InferCumulativity Arguments_renaming Retyping Vnorm Nativenorm Cbv Find_subterm Evardefine Evarsolve Recordops Heads Evarconv Typing Miscops Glob_term Ltac_pretype Glob_ops Pattern Patternops Constr_matching Tacred Typeclasses_errors Typeclasses Classops Program Coercion Detyping Indrec GlobEnv Cases Pretyping Unification [ Dauer der Verarbeitung: 0.66 Sekunden ] |