Conference proceedings
© 1985

Foundations of Software Technology and Theoretical Computer Science

Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings

Editors:

S. N. Maheshwari

S. N. Maheshwari

View editor publications

You can also search for this editor in PubMed Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 206)

4742 Accesses
209 Citations

Sections

Table of contents
Keywords
Bibliographic Information
Publish with us

Buy it now

Softcover Book USD 54.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Learn about institutional subscriptions

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (29 papers)

Front Matter

PDF
The mathematics of programming
- C. A. R. Hoare
Pages 1-18
Concurrent programming using actors: Exploiting large-scale parallelism
- Gul Agha, Carl Hewitt
Pages 19-41
A new class of high level programs for distributed computing systems
- S. Ramesh, S. L. Mehndiratta
Pages 42-72
A class of termination detection algorithms for distributed computations
- Devendra Kumar
Pages 73-100
New protocols for the election of a leader in a ring
- A. Marchetti-Spaccamela
Pages 101-115
Program simplification via symbolic interpretation
- Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio
Pages 116-128
PROLOG-based inductive theorem proving
- Jieh Hsiang, Mandayam Srivas
Pages 129-149
On the calling behaviour of procedures
- Dieter Armbruster
Pages 150-161
Approximation algorithms for planar matching
- Shankar M. Venkatesan
Pages 162-175
Geometric optimization and the polynomial hierarchy
- Chanderjit Bajaj
Pages 176-195
Deriving object octree from images
- Jack Veenstra, Narendra Ahuja
Pages 196-211
Deduction with relation matching
- Zohar Manna, Richard Waldinger
Pages 212-224
Recursively defined domains and their induction principles
- Finn V. Jensen, Kim G. Larsen
Pages 225-245
Large database specifications from small views
- S. Khosla, T. S. E. Maibaum, M. Sadler
Pages 246-271
A decision method for temporal logic based on resolution
- G. Venkatesh
Pages 272-289
A generalization of the Parikh vector for finite and infinite words
- Rani Siromoney, V. Rajkumar Dare
Pages 290-302
The implication problem for functional and multivalued dependencies : An algebraic approach
- V. S. Lakshmanan, C. E. Veni Madhavan
Pages 303-328
A simple characterization of database serializability
- K. Vidyasankar
Pages 329-345
Who needs to verify programs if you can test them
- Ashok Chandra
Pages 346-346

Keywords

Bibliographic Information

Book Title: Foundations of Software Technology and Theoretical Computer Science
Book Subtitle: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings
Editors: S. N. Maheshwari
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-16042-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1985
Softcover ISBN: 978-3-540-16042-7Published: 01 November 1985
eBook ISBN: 978-3-540-39722-9Published: 13 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 527
Topics: Software Engineering/Programming and Operating Systems, Software Engineering, Logics and Meanings of Programs

Publish with us

Policies and ethics

Access via your institution

Buy it now

Softcover Book USD 54.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Learn about institutional subscriptions