Advances in Computing and Information - ICCI '90

Summaries of invited lectures.- The asymptotic evolution of data structures.- On the formal aspects of approximation algorithms.- Selected aspects of the calculus of self-modifiable algorithms theory.- Almost-everywhere complexity, bi-immunity and nondeterministic space.- Deriving deterministic prediction rules from reduction schemes.- Probabilistic analysis of set operations with constant-time set equality test.- Classification by minimum-message-length inference.- Fast left-linear semi-unification.- On the complexity of (off-line) 1-tape ATM's running in constant reversals.- A constant update time finger search tree.- Average case analysis of algorithms using matrix recurrences.- Finding two-tree-factor elements of tableau-defined monoids in time O(n 3).- Toward a general theory of computation and specification over abstract data types.- Using the hamiltonian path operator to capture NP.- Some remarks on polynomial time isomorphisms.- An axiomatization of wait-freedom and low-atomicity.- The Gamma model as a functional programming tool.- Computing the transitive closure of symmetric matrices.- An environment for information system prototyping: A system simulation approach.- A logic-free method for modular composition of specifications.- On real-time program specification description with a data model-based language.- DINAS: Computer-assisted system for multi-criteria transportation and location analyses.- Logic programming for software testing.- Block concatenated code word surrogate file for partial match retrieval.- Applications development toolkits for environmental modelling and monitoring.- A hypertext for literate programming.- Ethics and computers: Can universities set the standards?.- Alternatives to the B+- tree.- Minimal perfect hashing for large sets of data.- Architectural classification and transaction execution models of multidatabase systems.- Semantic query optimization in distributed databases.- An architecture for a multimedia databasemanagement