05612nam 22007095 450 99646573130331620200703014715.03-540-46872-210.1007/3-540-52048-1(CKB)1000000000233479(SSID)ssj0000323288(PQKBManifestationID)11244535(PQKBTitleCode)TC0000323288(PQKBWorkID)10296455(PQKB)10907881(DE-He213)978-3-540-46872-1(PPN)155189794(EXLCZ)99100000000023347920121227d1989 u| 0engurnn|008mamaatxtccrFoundations of Software Technology and Theoretical Computer Science[electronic resource] Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings /edited by Conjeevaram E. Veni Madhavan1st ed. 1989.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1989.1 online resource (VIII, 341 p.) Lecture Notes in Computer Science,0302-9743 ;405Bibliographic Level Mode of Issuance: Monograph3-540-52048-1 A linear-time recognition algorithm for P 4-reducible graphs -- Fast parallel approximations of the maximum weighted cut problem through derandomization -- A new class of separators and planarity of chordal graphs -- Optimal parallel algorithms on circular-arc graphs -- Algebraic properties of the space of multivalued and paraconsistent logic programs -- An autoepistemic logical view of knowledge base -- A natural semantics for logic programs with negation -- A transformation system for deductive database modules with perfect model semantics -- An efficient distributed algorithm for finding articulation points, Bridges, and biconnected components in asynchronous networks -- Impossibility results in the presence of multiple faulty processes -- An adaptive regulator approach for the design of load sharing algorithms -- An algebraic compositional semantics of an object oriented notation with concurrency -- An axiomatization of event structures -- Deducing causal relationships in CCS -- Annotated program transformations -- Algebraic software development concepts for module and configuration families -- On the limitations of locally robust positive reductions -- Query evaluation with null values: How complex is completeness? -- Average case complexity analysis of RETE pattern-match algorithm and average size of join in Databases -- The frobenius problem -- An efficient implicit data structure for path testing and searching in rooted trees and forests -- Robust decompositions of polyhedra -- Gate matrix layout revisited: Algorithmic performance and probabilistic analysis -- Parallel parsing on a one-way linear array of finite-state machines -- Energy-time trade-offs in VLSI computations -- Time and real-time in programs -- A proof system for communicating processes with value-passing (extended abstract).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.Lecture Notes in Computer Science,0302-9743 ;405Software engineeringComputer programmingComputer logicComputer graphicsData structures (Computer science)Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer Graphicshttps://scigraph.springernature.com/ontologies/product-market-codes/I22013Data Structureshttps://scigraph.springernature.com/ontologies/product-market-codes/I15017Software engineering.Computer programming.Computer logic.Computer graphics.Data structures (Computer science).Software Engineering/Programming and Operating Systems.Software Engineering.Programming Techniques.Logics and Meanings of Programs.Computer Graphics.Data Structures.005.1Veni Madhavan Conjeevaram Eedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465731303316Foundations of software technology and theoretical computer science383921UNISA