eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2008-11-05
8271
1
17
10.4230/DagSemProc.08271.1
article
08271 Abstracts Collection – Topological and Game-Theoretic Aspects of Infinite Computations
Hertling, Peter
Selivanov, Victor
Thomas, Wolfgang
Wadge, William W.
Wagner, Klaus
From June 29, 2008, to July 4, 2008, the Dagstuhl Seminar 08271 ``Topological and Game-Theoretic Aspects of Infinite Computations'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, many participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol08271/DagSemProc.08271.1/DagSemProc.08271.1.pdf
Automata theory
computability in analysis
dataflow computation
hierarchies
infinite computations
infinite games
reactive systems
specification and verification
topological complexity
Wadge reducibility
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2008-11-05
8271
1
5
10.4230/DagSemProc.08271.2
article
08271 Executive Summary – Topological and Game-Theoretic Aspects of Infinite Computations
Hertling, Peter
Selivanov, Victor
Thomas, Wolfgang
Wadge, William W.
Wagner, Klaus
The theory of the infinite behaviour of continuously operating computing devices is of primary importance for several branches of theoretical and practical computer science. In particular, it is fundamental for the verification and synthesis of reactive systems like microprocessors or operating systems, for the understanding of dataflow computation, and for the development of adequate mathematical foundations for exact real computation. The seminar brought together researchers from many different disciplines who are working on theoretical or practical aspects of infinite computations. In this summary we describe the topics, the goals, and the contributions of the seminar.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol08271/DagSemProc.08271.2/DagSemProc.08271.2.pdf
Automata theory
computability in analysis
dataflow computation
hierarchies
infinite computations
infinite games
reactive systems
specification
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2008-11-05
8271
1
16
10.4230/DagSemProc.08271.3
article
Cartesian Programming: The TransLucid Programming Language
Plaice, John
Mancilla, Blanca
The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common programming paradigms into it, while still being fully declarative. The objects manipulated by TransLucid, called hyperdatons, are arbitrary-dimensional infinite arrays, indexed by multidimensional tuples of arbitrary types. We present the syntax, denotational and operational semantics for a simple TransLucid system, consisting of 1) a header detailing how expressions should be parsed, 2) a set of libraries of types, and operations thereon, defined in a host language, 3) a set of TransLucid equations, and 4) a TransLucid demand to be evaluated. The evaluation of a demand for an (identifier, context) pair is undertaken using eduction, where previously computed pairs are stored in a cache called a warehouse. The execution ensures that only those dimensions actually encountered during the execution of an expression are taken into account when caching intermediate results.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol08271/DagSemProc.08271.3/DagSemProc.08271.3.pdf
Cartesian programming
Lucid language
declarative programming
multidimensional programming
context-aware programming
semantics.
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2008-11-05
8271
1
6
10.4230/DagSemProc.08271.4
article
Declarative Synchronous Multithreaded Programming
Mancilla, Blanca
Plaice, John
We demonstrate how TransLucid can be used as a reactive system. At each instant, there is a set of active ports, where sets of equations, demands and threads are all registered. Each thread defines a sequence of (state, demand) pairs, and threads may interact through the overall set of equations. The entire system remains fully declarative.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol08271/DagSemProc.08271.4/DagSemProc.08271.4.pdf
Synchronous programming
distributed computing
declarative programming
Cartesian programming
multidimensional programming.
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2008-11-05
8271
1
11
10.4230/DagSemProc.08271.5
article
General Logic Programs as Infinite Games
Galanaki, Chrysida
Rondogiannis, Panos
Wadge, William W.
In [vE86] M.H. van Emden introduced a simple game semantics for definite logic programs. Recently [RW05,GRW05], the authors extended this game to apply to logic programs with negation. Moreover, under the assumption that the programs have a finite number of rules, it was demonstrated in [RW05,GRW05] that the game is equivalent to the well-founded semantics of negation. In this paper we present work-in-progress towards demonstrating that the game of [RW05,GRW05] is equivalent to the well-founded semantics even in the case of programs that have a countably infinite number of rules. We argue however that in this case the proof of correctness has to be more involved. More specifically, in order to demonstrate that the game is correct one has to define a refined game in which each of the two players in his first move makes a bet in the form of a countable ordinal. Each ordinal can be considered as a kind of clock that imposes a "time limit" to the moves of the corresponding player. We argue that this refined game can be used to give the proof of correctness for the countably infinite case.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol08271/DagSemProc.08271.5/DagSemProc.08271.5.pdf
Infinite Games
Negation in Logic Programming
Well-Founded Semantics
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2008-11-05
8271
1
12
10.4230/DagSemProc.08271.6
article
On the Semantic Approaches to Boolean Grammars
Kountouriotis, Vassilis
Nomikos, Christos
Rondogiannis, Panos
Boolean grammars extend context-free grammars by allowing conjunction and negation in rule bodies. This new formalism appears to be quite expressive and still efficient from a parsing point of view. Therefore, it seems reasonable to hope that boolean grammars can lead to more expressive tools that can facilitate the compilation process of modern programming languages. One important aspect concerning the theory of boolean grammars is their semantics. More specifically, the existence of negation makes it difficult to define a simple derivation-style semantics (such as for example in the case of context-free grammars). There have already been proposed a number of different semantic approaches in the literature. The purpose of this paper is to present the basic ideas behind each method and identify certain interesting problems that can be the object of further study in this area.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol08271/DagSemProc.08271.6/DagSemProc.08271.6.pdf
Boolean Grammars
Negation in Formal Grammars
Well-Founded Semantics
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Seminar Proceedings
1862-4405
2008-11-05
8271
1
9
10.4230/DagSemProc.08271.7
article
Topological Complexity of omega-Powers: Extended Abstract
Finkel, Olivier
Lecomte, Dominique
The operation of taking the omega-power $V^omega$ of a language $V$ is a fundamental operation over finitary languages leading to omega-languages. Since the set $X^omega$ of infinite words over a finite alphabet $X$ can be equipped with the usual Cantor topology, the question of the topological complexity of omega-powers of finitary languages naturally arises and has been posed by Damian Niwinski (1990), Pierre Simonnet (1992), and Ludwig Staiger (1997). We investigate the topological complexity of omega-powers. We prove the following very surprising results which show that omega-powers exhibit a great opological complexity: for each non-null countable ordinal $xi$, there exist some $Sigma^0_xi$-complete omega-powers, and some $Pi^0_xi$-complete omega-powers. On the other hand, the Wadge hierarchy is a great refinement of the Borel hierarchy, determined by Bill Wadge. We show that, for each ordinal $xi$ greater than or equal to 3, there are uncountably many Wadge degrees of omega-powers of Borel rank $xi +1$. Using tools of effective descriptive set theory, we prove some effective versions of the above results.
https://drops.dagstuhl.de/storage/16dagstuhl-seminar-proceedings/dsp-vol08271/DagSemProc.08271.7/DagSemProc.08271.7.pdf
Infinite words
omega-languages
omega-powers
Cantor topology
topological complexity
Borel sets
Borel ranks
complete sets
Wadge hierarchy
Wadge