ENGLISH

Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

By Martin Hofmann (eds.) , Prakash Panangaden (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2011
ISBN
364219804X, 9783642198045
DOI
10.1007/978-3-642-19805-2
ISSN
0302-9743
Google Books ID
1FBdjh4AZLMC
Language
english
Format
PDF
Filesize
5 MB (5671231 bytes)
Series
Lecture Notes in Computer Science 6604
Edition
1
Pages
473\489
Orientation
yes
Scanned
no
Time added
2011-08-31 04:54:40
CompilersInterpreters; Software EngineeringMathematical Logic and Formal Languages; Computati

Description

This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding, security, and program analysis.

Similar books