The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing. - Concurrency: algebraic semantics, event structures. - Logic programming: algebraic properties, semantics. - Software technology: program transformations, algebraic methods.
These results together with the formal techniques employed to present them reflect current trends pursued by leading research groups around the world. The papers treat their topics in depth by carefully reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research.
| ISBN: | 9783540520481 |
| Publication date: | 6th December 1989 |
| Author: | Conjeevaram E Veni Madhavan |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 341 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Graphics programming Mathematical theory of computation Computer programming / software engineering Databases |
The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing. - Concurrency: algebraic semantics, event structures. - Logic programming: algebraic properties, semantics. - Software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by leading research groups around the world.
Foundations of Software Technology and Theoretical Computer Science features in the following genres: Software Engineering, Graphics programming, Mathematical theory of computation, Computer programming / software engineering, Databases
Paperback. Not Available.
Foundations of Software Technology and Theoretical Computer Science was written by Conjeevaram E Veni Madhavan and published by Springer an imprint of Springer Berlin Heidelberg
Foundations of Software Technology and Theoretical Computer Science has 341 pages
Yes it is part of Lecture Notes in Computer Science series