文章基本信息

标题：Imperative Programming in Sets with Atoms
本地全文：下载
作者：Mikolaj Bojanczyk ; Szymon Torunczyk
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2012
卷号：18
页码：4-15
DOI：10.4230/LIPIcs.FSTTCS.2012.4
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We define an imperative programming language, which extends while programs with a type for storing atoms or hereditarily orbit-finite sets. To deal with an orbit-finite set, the language has a loop construction, which is executed in parallel for all elements of an orbit-finite set. We show examples of programs in this language, e.g. a program for minimising deterministic orbit-finite automata.
关键词：Nominal sets; sets with atoms; while programs