{'fraction_non_alphanumeric': 0.022530329289428077, 'fraction_numerical': 0.0017331022530329288, 'mean_word_length': 5.282608695652174, '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}}
Metric Semantics for Second Order

An operational and a denotational semantics are presented for a simple imperative language. The main feature of the language is second order communication: sending and receiving of statements rather than values. The operational semantics is based on a transition system. A complete 1-bounded ultramet-ric space is used in the denotational semantics. In establishing the connection between the two semantics fruitful use is made of Banach's xed point theorem, Rutten's processes as terms technique, and Van Breugel's metric transition systems.