{'fraction_non_alphanumeric': 0.012558869701726845, 'fraction_numerical': 0.0, 'mean_word_length': 5.194174757281553, '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}}
An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting

In order to statically validate the interesting and desired properties of concurrent and distributed system, an abstract interpretation frame based on the ambient occurrence counting for the calculus of boxed ambients, a variant of the calculus of mobile ambients, is developed. The analysis computes a safe approximation of the set of all processes to whom the given system can evolve. The frame is showed to be semantically correct: the set of acceptable solutions is closed under reduction, and it constitutes a Moore family.