Foundations of software technology and theoretical computer science
Book
·
OSTI ID:6357172
- Indian Inst. of Science, Bangalore (IN)
The papers in this book report on foundations of software technology and theoretical computer science project research results. The authors report on 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; and software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by research groups around the world. The papers treat their topics by reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research.
- OSTI ID:
- 6357172
- Country of Publication:
- United States
- Language:
- English
Similar Records
Proceedings of STACS 84-symposium on theoretical aspects of computer science
Proceedings of the workshop on future directions in computer architecture and software
Proceedings of the 27th annual symposium on foundations of computer science
Conference
·
Sat Dec 31 23:00:00 EST 1983
·
OSTI ID:7190175
Proceedings of the workshop on future directions in computer architecture and software
Conference
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6458608
Proceedings of the 27th annual symposium on foundations of computer science
Conference
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6441266