Foundations of Software Science and Computation Structures

First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

Maurice Nivat (Herausgeber)

Buch | Softcover
XI, 297 Seiten
1998 | 1998
Springer Berlin (Verlag)
978-3-540-64300-5 (ISBN)

Lese- und Medienproben

Foundations of Software Science and Computation Structures -
53,49 inkl. MwSt
This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory.

Generalizing domain theory.- A cook's tour of equational axiomatizations for prefix iteration.- The WHILE hierarchy of program schemes is infinite.- Analysis of a guard condition in type theory.- An event structure semantics for P/T contextual nets: Asymmetric event structures.- Pumping Lemmas for timed automata.- Asynchronous Observations of Processes.- Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling.- Partial metrics and co-continuous valuations.- Mobile ambients.- Rational term rewriting.- The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations.- Net refinement by pullback rewriting.- On piecewise testable, starfree, and recognizable picture languages.- Functor categories and two-level languages.- Deciding properties for message sequence charts.- The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages.- Deterministic rational transducers and random sequences.- Resource based models for asynchrony.

Erscheint lt. Verlag 11.3.1998
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo XI, 297 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 397 g
Themenwelt Mathematik / Informatik Informatik Software Entwicklung
Informatik Theorie / Studium Compilerbau
Schlagworte Analysis • Automat • Automata • Automata Theory • Formale Sprache • formal language • Formal Languages • formal specification • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Informatik • Process Algebras • Semantics • Software Engineering / Softwareentwicklung • Softwareentwicklung • Term Rewriting • Term-Rewriting
ISBN-10 3-540-64300-1 / 3540643001
ISBN-13 978-3-540-64300-5 / 9783540643005
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
29,90
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
49,85