Limit search to available items
Book Cover
Author Symposium on Mathematical Foundations of Computer Science (1972- ) (7th : 1978 : Zakopane, Poland)

Title Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 / edited by J. Winkowski
Published Berlin ; New York : Springer-Verlag, 1978


Description 1 online resource (ix, 551 pages) : illustrations
Series Lecture notes in computer science ; 64
Lecture notes in computer science ; 64
Contents The connection between modal logic and algorithmic logics -- The algebraic semantics of recursive program schemes -- Finding the correctness proof of a concurrent program -- An algebra for parallelism based on petri nets -- Data types as functions -- Synthesis of communicating behaviour -- Programming languages as mathematical objects -- Writing and verifying sequential files updating programs -- On the completeness of query languages for relational data bases -- Mastering contextsensitivity in programming languages -- Decision problems concerning parallel programming -- Attribute grammars and two-level grammars: A unifying approach -- Extensions and implementations of abstract data type specifications -- Concurrency of manipulations in multidimensional information structures -- Deriving structures from structures -- Semantics of nondeterminism, concurrency and communication -- Contribution to the theory of concurrency in databases -- Facts in place/transition-nets -- Loop programs and classes of primitive recursive functions -- Dynamic theories of real and complex numbers -- Multiplicative complexity of a pair of bilinear forms and of the polynomial multiplication -- Some applications of algebraic semantics -- Goal-oriented derivation of logic programs -- Transforming recursion equations to algorithms -- Structural invariants for some classes of structured programs -- Synthesis of concurrent schemes -- Fast matrix multiplication by boolean RAM in linear storage -- Cycles of partial orders -- Complexity measures defined by mazurkiewicz-algorithms -- On functional grammars -- Analysis of a universal class of hash functions -- A framework for producing deterministic canonical bottom-up parsers -- Cooperating grammar systems -- Synchronized petri nets : A model for the description of non-autonomous sytems -- On divergence and halting problems for monadic program schemas -- Compression of clustered inverted files -- The completeness of propositional dynamic logic -- Improving memory utilization in transforming recursive programs -- On two subclasses of real-time grammars -- On information storage and retrieval systems an algebraic approach, part 1 -- Probabilistic LCF -- On algorithmic theory of stacks -- Analyzing program solutions of coordination problems by cp-nets -- Structural properties of petri nets -- Ensuring correctness by arbitrary postfixed-points -- String-matching in real time: Some properties of the data structure -- Name independence and database abstraction in the relational model -- Free Petri net languages -- Transformations to produce certain covering grammars -- On the computational power of extended petri nets -- Theory of relations for databases -- a tutorial survey
Bibliography Includes bibliographical references and index
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
digitized 2013 HathiTrust Digital Library committed to preserve pda MiAaHDL
Print version record
Subject Computer programming -- Congresses
Programming languages (Electronic computers) -- Congresses
Parallel processing (Electronic computers) -- Congresses
Database management -- Congresses
Databases -- Management -- Congresses
Computer programming
Database management
Parallel processing (Electronic computers)
Programming languages (Electronic computers)
Ciencia Da Computacao Ou Informatica.
Computer science -- Mathematics -- Congresses.
Ordinateurs -- Congrès.
Langages de programmation -- Congrès.
Parallélisme (informatique) -- Congrès.
Bases de données -- Gestion -- Congrès.
Genre/Form Conference papers and proceedings
Zakopane (1978)
Form Electronic book
Author Winkowski, Józef, 1934-
ISBN 9783540357575