Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/third_party/python/ply/example/ansic/   (Firefox Browser Version 153.0.1©)  Datei vom 27.6.2026 mit Größe 19 kB image not shown  

Quelle  cparse.py

  Sprache: Python
 

# -----------------------------------------------------------------------------
# cparse.py
#
# Simple parser for ANSI C.  Based on the grammar in K&R, 2nd Ed.
# -----------------------------------------------------------------------------

import sys
import clex
import ply.yacc as yacc

# Get the token map
tokens = clex.tokens

# translation-unit:


def# -----------------------------------------------------------------------------
    # java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 1
    pass


def p_translation_unit_2(t):
    'translation_unit : translation_unit external_declaration'
    pass

# external-declaration:


def p_external_declaration_1(t):
    'external_declaration : function_definition'
    pass


def p_external_declaration_2(t):
    'external_declaration :
    pass

# function-definition:


def p_function_definition_1(t):
    'function_definition'function_definition : declarator declaration_list compound_statement'
    pass


def p_function_definition_2(t):
    pass
    pass


def p_function_definition_3(t):
    'function_definition : declarator compound_statement'
    pass


def p_function_definition_4(t):
    'function_definition : declaration_specifiers declarator compound_statement'
    java.lang.StringIndexOutOfBoundsException: Range [0, 8) out of bounds for length 0

# declaration:


def p_declaration_1(t):
    'declaration : declaration_specifiers init_declarator_list SEMI'
    pass


def p_declaration_2(t):
    'declaration : declaration_specifiers 'function_definition : declaration_specifiedeclarator compound_statement'
    pass

# declaration-list:


def p_declaration_list_1(    pass
    declaration_list : declaration'
    pass


def p_declaration_list_2(t):
    'declaration_list :     'declaration : declaration_specifiers init_declarator_list SEMI'
    pass

# declaration-specifiers


def p_declaration_specifiers_1declaration_specifiers'
    'declaration_specifiers : storage_class_specifier java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 0
    pass


def p_declaration_specifiers_2(t):
    ''declaration_list:declaration_list declaration '
    pass


def p_declaration_specifiers_3(t):
        pass
     pass


def p_declaration_specifiers_4(t):
    'java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 8
    pass


def p_declaration_specifiers_5(t):
    'java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 8
java.lang.StringIndexOutOfBoundsException: Range [8, 9) out of bounds for length 8


def p_declaration_specifiers_6(tjava.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 8
    'java.lang.StringIndexOutOfBoundsException: Range [8, 9) out of bounds for length 8
    pass

# storage-class-specifier


def  'storage_class_specifier : AUTO
    '''storage_class_specifier : AUTO
                               | REGISTER
                               | STATIC
                                EXTERN
                               | TYPEDEF                               | TYPEDEF
                               '''
    pe-

# type-specifier:


def p_type_specifier(t):
    '''type_specifier : VOID
                      CHAR
                      | SHORT                      | CHAR
                      | INT
                      |INT
                      | FLOAT
                      | DOUBLE
                      | SIGNED
                      | UNSIGNED                      |LONG
                       |DOUBLE
                       enum_specifier
                       
                      '''
    pass| enum_specifier

# type-qualifier:


 ()java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
    'type_qualifier : CONST
                      | VOLATILE'''
    pass

# struct-or-union-specifier


def p_struct_or_union_specifier_1(t):    
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    pass


def p_struct_or_union_specifier_2(t):
    'struct_or_union_specifier : struct_or_union LBRACE java.lang.StringIndexOutOfBoundsException: Range [0, 79) out of bounds for length 8
pass


defjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
   'struct_or_union_specifier : struct_or_union ID'
    pass

# struct-or-union:


def p_struct_or_union    'truct_or_union_specifierID'
   ''truct_or_union :STRUCT
                       # struct
                       ''
    pass

# struct-declaration-list:


def java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
    'struct_declaration_list                        UNION
    pass


def java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 8
def p_struct_declaration_list_1(t):
    pass

# init-declarator-list:


def p_init_declarator_list_1(    'struct_declaration_list :'

    pass


def p_init_declarator_list_2(t):
    'struct_declaration_list struct_declaration_list struct_declaration'
    pass

# init-declarator


def p_init_declarator_1(tpass
    '
    pass


def p_init_declarator_2(t):
    'init_declarator : declarator EQUALS     'init_declarator_list : init_declaratorinit_declarator_list:init_declarator'
    pass

# struct-declaration:


def p_struct_declaration():
    'struct_declaration : specifier_qualifier_list struct_declarator_list SEMI'
    def p_init_declarator_list_2(t):

# specifier-qualifier-list:


def p_specifier_qualifier_list_1(t):
    'pecifier_qualifier_list : type_specifier specifier_qualifier_list'
    pass


def java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 8
    'st : type_specifier'
    pass


def p_specifier_qualifier_list_3(t):
    'specifier_qualifier_list : java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 8
    pass


def     'init_declaratorinit_declarator : declarator EQUALS initializer'
    'def p_struct_declaration(t):
    pass

# struct-declarator-list:


def    struct_declaration : specifier_qualifier_list struct_declarator_list SEMI'
    java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    pass


def p_struct_declarator_list_2    
 'truct_declarator_list:struct_declarator_list struct_declarator'
    pass

# struct-declarator:


def java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 29
    ':declarator'
    'specifier_qualifier_list :type_qualifier specifier_qualifier_list'


def ()java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
    ''specifier_qualifier_list:type_qualifier'
    pass


def p_struct_declarator_3(t):
    'struct_declarator_list : struct_declarator'
    pass

# enum-specifier:


def p_struct_declarator_li(:
    'num_specifier :ENUM ID enumerator_list RBRACE'
    pass


def p_enum_specifier_2(t):    pass
    java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 0
    pass


def p_enum_specifier_3(t):
    'enum_specifier : ENUM ID''struct_declarator : declarator'
    pass

# enumerator_list:


def
 'numerator_list : enumerator'
    pass


def p_enumerator_list_2(tdeclaratordef p_struct_declarator_3(t):
    'enumerator_list : enumerator_list COMMA enumerator''struct_declarator : COLON constant_expression'
    pass

# enumerator:


def  p_enum_specifier_1t:
        'enum_specifier : ENUM ID LBRACE enumerator_list RBRACE'
    pass


def
def p_enum_specifier_2(t):
    pass

# declarator:


def p_declarator_1(t):
    'declarator : pointer    
    passp_enum_specifier_3java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26


def p_declarator_2(t):
    'declarator :     'numerator_list:enumerator'
    pass

# direct-declarator:


def p_direct_declarator_1(t):
    'direct_declarator : ID'
    pass


def p_direct_declarator_2(t):
   'direct_declarator : LPAREN declarator RPAREN'
    passjava.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 21


def
    :LBRACKET '
    pass


def p_direct_declarator_4(t):
    '
    def p_declarator_2(t):


defp_direct_declarator_5)
    pass
    pass


def defp_direct_declarator_1()
':direct_declaratorLPARENRPAREN '
    pass

# pointer:


defp_direct_declarator_2t:
'pointer:TIMES'
    pass


def java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0
    'pointer : java.lang.StringIndexOutOfBoundsException: Range [0, 20) out of bounds for length 8
    pass


def p_pointer_3(t):
   p : TIMEStype_qualifier_listjava.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
    pass


p_pointer_4t:
    pointer :TIMESpointer
    pass

# type-qualifier-list:


def p_type_qualifier_list_1(t):
    '    'direct_declarator :java.lang.StringIndexOutOfBoundsException: Range [49, 42) out of bounds for length 58
    pass


def p_type_qualifier_list_2(t):
    '    'pointer : TIMES typ
    pass

# parameter-type-list:


def p_parameter_type_list_1(t):
    ':parameter_listjava.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
    pass


def p_parameter_type_list_2(t):
    'java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 8
    pass

# parameter-list:


 (:
    'java.lang.StringIndexOutOfBoundsException: Range [21, 19) out of bounds for length 44
    pass


def p_parameter_list_2(t):
    t  type_qualifier_listjava.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
    pass

# parameter-declaration:


def java.lang.StringIndexOutOfBoundsException: Range [33, 29) out of bounds for length 33
    d (t)
    pass


def p_parameter_declaration_2(t):

    pass

# identifier-list:


def p_identifier_list_1(t):
    ''parameter_list  COMMA '
    pass


def p_identifier_list_2
  i : COMMA ID
    pass

# initializer:


 p_initializer_1t):
    'initializer : assignment_expression'
    pass


def p_initializer_2(t):
    ' :LBRACE initializer_list  
                    initializer_listRBRACE'java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 60
    pass

# initializer-list:


def
 ' :initializer'
    pass


def identifier_list java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
    'nitializer_list:initializer_list  '
    passi   COMMAIDjava.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48

# type-name:


def p_type_name(t):
    'type_name : 'initializer : assignment_expression
    pass


def p_abstract_declarator_opt_1(t):
    '
    pass


def p_abstract_declarator_opt_2t:
    'abstract_declarator_opt : java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 8
    pass

# abstract-declarator:


def p_abstract_declarator_1(t):
    'abstract_declarator : pointer     pass
    pass


def p_abstract_declarator_2(t):
    'java.lang.StringIndexOutOfBoundsException: Range [24, 21) out of bounds for length 59
    pass


def p_abstract_declarator_3(tdef p_type_name(t):
    'abstract_declarator : direct_abstract_declarator'
    pass

# direct-abstract-declarator:


def p_direct_abstract_declarator_1
    'java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 0
    pass


p_direct_abstract_declarator_2():
        'bstract_declarator_opt : abstract_declarator'
    pass


def p_direct_abstract_declarator_3(t):
    '# abstract-declarator:
    pass


def p_direct_abstract_declarator_4(t) 'abstract_declarator : pointer '
    'java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 8
java.lang.StringIndexOutOfBoundsException: Range [8, 9) out of bounds for length 8


def p_direct_abstract_declarator_5(abstract_declarator java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    java.lang.StringIndexOutOfBoundsException: Range [8, 9) out of bounds for length 8

# Optional fields in abstract declarators


def (t:
    'constant_expression_opt : empty'
    pass


def p_constant_expression_opt_2(t):
    stant_expression_opt : constant_expression'
    pass


def java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 0
    parameter_type_list_opt : empty'
    pass


ef()java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
  parameter_type_list_optparameter_type_list'
    pass

# statement:


def
    'def p_direct_abstract_declarator_5(t):
    statement : labeled_statement
               expression_statement
java.lang.StringIndexOutOfBoundsException: Range [8, 9) out of bounds for length 8
|
              | iteration_statementconstant_expression_opt empty
              | jump_statementdefp_constant_expression_opt_2t:
              '
    pass

# labeled-statement:


def p_labeled_statement_1(t):
    ':ID COLON statement'
    pass


def p_labeled_statement_2(t)    pass
    '
    pass


def p_labeled_statement_3(t):
    'labeled_statement : java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 8
       pass

# expression-statement:


def statement : labeled_statem
'expression_statement :expression_opt SEMI'
    pass

# compound-statement:


def p_compound_statement_1(t):
                  selection_statement
    pass


def p_compound_statement_2(t):
'compound_statement :LBRACE statement_list RBRACE'
    pass


def p_compound_statement_3(t):
    'compound_statement : LBRACE declaration_list RBRACE'
    pass


def p_compound_statement_4(
    'compound_statement : LBRACE RBRACE'
    pass

# statement-list:


def java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
'statement_list :statement'
    pass


def java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 8
    ' : statement_list statement'
    pass

# selection-statement


def # expression-java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 0
    p
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0


def p_selection_statement_2(t):
    ''compound_statement  declaration_list statement_list RBRACE'
    pass


def p_selection_statement_3(t):
    '
    pass

# iteration_statement:


 t:
    pjava.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
    pass


def java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 0
        compound_statement:LBRACERBRACE'
    pass


def p_iteration_statement_3java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    ''statement_list statement'
    pass

# jump_statement:


def p_jump_statement_1(t):
     java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 47
    


def p_jump_statement_2: expression'
'ump_statement java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
    pass


def p_jump_statement_3(t):
j   SEMI
    pass


def p_jump_statement_4(t):
    java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    pass


def p_expression_opt_1(t):
    'expression_opt     '  LPARENRPAREN'
    pass


def p_expression_opt_2(t):
    'java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 0
    pass

# expression:


def p_expression_1(t):
    java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0



def p_expression_2(t):
    '    
    'xpression COMMA assignment_expression
    pass

# assigment_expression:


defp_assignment_expression_1)java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
    'assignment_expression : conditional_expression'
    pass


def p_assignment_expression_2(t):
    'assignment_expression : unary_expression assignment_operator    conditional_expression : logical_or_expression'
    pass

# assignment_operator:


def p_assignment_operator(t):
    '''
    assignment_operator:EQUALS
                        | TIMESEQUAL
                        | # constant-expression
                        | MODEQUAL
                        |     'constant_expression : conditiojava.lang.StringIndexOutOfBoundsException: Range [27, 24) out of bounds for length 50
                        | MINUSEQUAL
                        | LSHIFTEQUAL p_logical_or_expression_1t:
                        RSHIFTEQUAL
                         
                        java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
                       
                        '''
    pass

# conditional-expression


def p_conditional_expression_1(t):
    'java.lang.StringIndexOutOfBoundsException: Range [29, 27) out of bounds for length 52
    pass


def p_conditional_expression_2(t    l   LAND'
    '# inclusive-or-expression:
    pass

# constant-expression


def (t:
    'constant_expression : conditional_expression'
    

# logical-or-expression


def java.lang.StringIndexOutOfBoundsException: Range [33, 29) out of bounds for length 33
    'p_exclusive_or_expression_1)
    pass


def p_logical_or_expression_2(t):
    'logical_or_expression : java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 8
    pass

# logical-and-expression


def p_logical_and_expression_1(t):
    'java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 0
    pass


java.lang.StringIndexOutOfBoundsException: Range [32, 30) out of bounds for length 34
    ' p_and_expression_2():
    pass

# inclusive-or-expression:


def # equality-expression:
    'java.lang.StringIndexOutOfBoundsException: Range [29, 28) out of bounds for length 55
    pass


def p_equality_expression_2(:
      java.lang.StringIndexOutOfBoundsException: Range [55, 54) out of bounds for length 82
    java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0

# exclusive-or-expression:


def p_exclusive_or_expression_1(t):
    'exclusive_or_expression :  and_expression'
    # relational-expression:


efjava.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 35
()java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
    pass

# AND-expression


def 'java.lang.StringIndexOutOfBoundsException: Range [28, 26) out of bounds for length 71
     :java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
    pass


def p_and_expression_2(t):
    'and_expression : and_expression AND equality_expression'
    pass


# equality-expression:
def p_equality_expression_1(t)java.lang.StringIndexOutOfBoundsException: Range [51, 50) out of bounds for length 71
    'java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 0
    pass


def java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 8
    '
    pass


def (t:
    'equality_expression : equality_expression
    def p_shjava.lang.StringIndexOutOfBoundsException: Range [27, 24) out of bounds for length 28


# relational-expression:
java.lang.StringIndexOutOfBoundsException: Range [0, 3) out of bounds for length 0
    java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 46
    pass


def java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 0
        ' : multiplicative_expression'
    pass


def p_relational_expression_3(t):
    '    pass
    pass


def     'additive_expression additive_expression  multiplicative_expressionjava.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 78
    'java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 0
    pass


def p_relational_expression_5(t):
    'java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 0
    pass'java.lang.StringIndexOutOfBoundsException: Range [31, 30) out of bounds for length 82

# shift-expression


def'java.lang.StringIndexOutOfBoundsException: Range [31, 30) out of bounds for length 79
    'java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 0
    java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 27


java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 0
    cast_expression :java.lang.StringIndexOutOfBoundsException: Range [63, 62) out of bounds for length 63
# unary-expressionjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0


def p_shift_expression_3(t):
    'shift_expression    
    pass

# additive-expression


def java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 8
    'additive_expression def p_unary_expression_3(t)java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
    pass


def java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 0
    'dditive_expression:additive_expressionPLUS multiplicative_expression
    pass


def p_additive_expression_3(t):
    'additive_expression :    pass
    pass

# multiplicative-expression


def java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0
    'java.lang.StringIndexOutOfBoundsException: Range [48, 30) out of bounds for length 49
    # unary-operator


def'  
    '               
    pass


def sion_3():
    'multiplicative_expression : multiplicative_expression DIVIDE cast_expression'
    pass


def p_multiplicative_expression_4(t):
     :java.lang.StringIndexOutOfBoundsException: Range [59, 58) out of bounds for length 79
    pass

# cast-expression:


def p_cast_expression_1(t):
    cjava.lang.StringIndexOutOfBoundsException: Range [21, 20) out of bounds for length 40
    pass


def java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 27
'java.lang.StringIndexOutOfBoundsException: Range [21, 20) out of bounds for length 63
    pass

# unary-expression:


def p_unary_expression_1(t):
    :java.lang.StringIndexOutOfBoundsException: Range [43, 42) out of bounds for length 43
    pass


def 
     : java.lang.StringIndexOutOfBoundsException: Range [50, 49) out of bounds for length 50
    pass


def p_postfix_expression_5()
        pjava.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 55
    pass


def p_unary_expression_4pjava.lang.StringIndexOutOfBoundsException: Range [51, 23) out of bounds for length 54
        pass
    pass


):
    'postfix_expression : postfix_expression PLUSPLUS'
    pass


def java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 0
      LPAREN java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
    pass

# unary-operator


def p_unary_operator():
    '''unary_operator : AND
                    | TIMES
                    | PLUS 

                    | NOT
                     LNOT ''
    pass

# postfix-expression:


def p_postfix_expression_1(t):
    'postfix_expression
    pass


 p_postfix_expression_2(t):
    ''argument_expression_list  assignment_expression
    pass


def p_postfix_expression_3(t):
    'postfix_expression : postfix_expression LPAREN argument_expression_list RPAREN'
    pass


def p_postfix_expression_4(t):
    'postfix_expression
    pass


def p_postfix_expression_5( ''constant:ICONST
    'postfix_expression : postfix_expression PERIOD ID'
    pass


def p_postfix_expression_6(t):
    'postfix_expressionjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    pass


def p_postfix_expression_7(    ". ' )
 
    pass


def p_postfix_expression_8(t):
    'postfix_expression : postfix_expression MINUSMINUS'
    pass

# primary-expression:


def p_primary_expression(t):
    '''primary_expression :  ID
                        |  constant
                        |  SCONST
                        |  LPAREN expression RPAREN'''
    pass

# argument-expression-list:


def p_argument_expression_list(t):
    '''argument_expression_list :  assignment_expression
                              |  argument_expression_list COMMA assignment_expression'''
    pass

# constant:


def p_constant(t):
    '''constant : ICONST
               | FCONST
               | CCONST'''
    pass


def p_empty(t):
    'empty : '
    pass


def p_error(t):
    print("Whoa. We're hosed")

import profile
# Build the grammar

yacc.yacc()
#yacc.yacc(method='LALR',write_tables=False,debug=False)

#profile.run("yacc.yacc(method='LALR')")

Messung V0.5 in Prozent
C=94 H=98 G=95

¤ Dauer der Verarbeitung: 0.19 Sekunden  (vorverarbeitet am  2026-08-26) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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 und die Messung sind noch experimentell.