{'fraction_non_alphanumeric': 0.009630818619582664, 'fraction_numerical': 0.0016051364365971107, 'mean_word_length': 4.831775700934579, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Beauty and the Beast or A Formal Semantic Description of the Control Constructs of Cobol and its Imp

We present a formal semantical analysis of the central control constructs of Cobol. In this paper we provide the denotational semantics of a language we call MiCo 1 containing the essential control constructs of Cobol. MiCo can therefore be regarded as a core language of Cobol. The semantics we have developed has been implemented in the functional programming language Standard ML, thereby resulting in an interpreter for MiCo. It can easily be adapted to formal semantics of essential parts of diierent Cobol dialects.