280,914 research outputs found
Abstract State Machines 1988-1998: Commented ASM Bibliography
An annotated bibliography of papers which deal with or use Abstract State
Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm
Polishness of some topologies related to word or tree automata
We prove that the B\"uchi topology and the automatic topology are Polish. We
also show that this cannot be fully extended to the case of a space of infinite
labelled binary trees; in particular the B\"uchi and the Muller topologies are
not Polish in this case.Comment: This paper is an extended version of a paper which appeared in the
proceedings of the 26th EACSL Annual Conference on Computer Science and
Logic, CSL 2017. The main addition with regard to the conference paper
consists in the study of the B\"uchi topology and of the Muller topology in
the case of a space of trees, which now forms Section
On shuffle products, acyclic automata and piecewise-testable languages
We show that the shuffle L \unicode{x29E2} F of a piecewise-testable
language and a finite language is piecewise-testable. The proof relies
on a classic but little-used automata-theoretic characterization of
piecewise-testable languages. We also discuss some mild generalizations of the
main result, and provide bounds on the piecewise complexity of L
\unicode{x29E2} F
Languages, machines, and classical computation
3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory
An overview of Mirjam and WeaveC
In this chapter, we elaborate on the design of an industrial-strength aspectoriented programming language and weaver for large-scale software development. First, we present an analysis on the requirements of a general purpose aspect-oriented language that can handle crosscutting concerns in ASML software. We also outline a strategy on working with aspects in large-scale software development processes. In our design, we both re-use existing aspect-oriented language abstractions and propose new ones to address the issues that we identified in our analysis. The quality of the code ensured by the realized language and weaver has a positive impact both on maintenance effort and lead-time in the first line software development process. As evidence, we present a short evaluation of the language and weaver as applied today in the software development process of ASML
- …