BIRTHDAY 1999 | Sciweavers

9

BIRTHDAY
1999
Springer

84views Applied Computing» more BIRTHDAY 1999»

An Insertion into the Chomsky Hierarchy?

13 years 9 months ago

This review paper will report on some recent discoveries in the area of Formal Languages, chie y by F. Otto, G. Buntrock and G. Niemann. These discoveries have pointed out certain ...

Robert McNaughton

claim paper

Read More »

9

click to vote

BIRTHDAY
1999
Springer

92views Applied Computing» more BIRTHDAY 1999»

Monotonicity in Calculational Proofs

13 years 9 months ago

Download www.cs.cornell.edu

We discuss the use of weakening and strengthening steps in calculational proofs. We present a metatheorem concerning monotonicity of positions in a formula that should have a more...

David Gries

claim paper

Read More »

10

click to vote

BIRTHDAY
1999
Springer

84views Applied Computing» more BIRTHDAY 1999»

Thompson Languages

13 years 9 months ago

Download cs.yonsei.ac.kr

We deﬁne simple-regular expressions and languages. Simple-regular languages provide a necessary condition for a language to be outﬁx-free. We design algorithms that compute si...

Dora Giammarresi, Jean-Luc Ponty, Derick Wood

claim paper

Read More »

14

click to vote

BIRTHDAY
1999
Springer

173views Applied Computing» more BIRTHDAY 1999»

Compilation and Synthesis for Real-Time Embedded Controllers

13 years 9 months ago

Download cs.uni-muenster.de

Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...

Martin Fränzle, Markus Müller-Olm

claim paper

Read More »

7

click to vote

BIRTHDAY
1999
Springer

102views Applied Computing» more BIRTHDAY 1999»

On the Index of Sturmian Words

13 years 9 months ago

Download www-igm.univ-mlv.fr

Jean Berstel

claim paper