Category:Journal Acta Informatica

From BibNetWiki

Papers published in the Journal "Acta Informatica"

Articles in category "Journal Acta Informatica"

There are 50 articles in this category.

A A Distributed Operational Semantics for CCS Based on Condition/Event Systems A Fair Calculus of Communicating Systems A Logic Covering Undefinedness in Program Proofs A Logic for the Specification and Proof of Regular Controllable Processes of CCS A Typed Logic of Partial Functions Reconstructed Classically A closer look at termination A fast algorithm for Steiner trees. A linear space algorithm for the LCS problem A longest common subsequence algorithm suitable for similar text strings. A model and a fast algorithm for multiple errors spelling correction Automatic Program Verification I: A Logical Basis and Its Implementation Axiomatising Finite Delay Operators B B. Klebansky Backtracking in recursive computations C Complexity of analyzing the synchronization structure of concurrent programs Constructing a Theory of a Data Structure as an Aid to Program Development D Drawing plane graphs nicely

D cont. Dynamic multi-dimensional data structures E Efficient Comparison of Program Slices Efficient comparison of program slices Extensional Equivalences for Transition Systems F First-Order Identities as a Defining Language H Hierarchical ordering of sequential processes O On computing the transitive closure of a relation. On merging software extensions On the Efficient Implementation of Conditional Critical Regions and the Construction of Monitors On the semantics of polymorphism On the synthesis of function inverses. Ordered attribute grammars Organization and Maintenance of Large Ordered Indexes Organization and maintenance of large ordered indexes. P PROCOL: a Concurrent Object-Oriented Langugae with Protocols delegation and constraints Partial parameterization eliminates multiple traversals of data structures Program proving: jumps and functions

P cont. Proof of Correctness of Data Representation Properties of data flow frameworks Q Quad Trees: A Data Structure for Retrieval on Composite Keys R Referential Transparency, Definiteness and Unfoldability Referential transparency, definiteness and unfoldability S Space Sweep Solves Intersection of Convex Polyhedra Specification-Oriented Semantics for Communicating Processes Specification-oriented semantics for communicating processes Symmetric Binary B-Trees: Data Structure and Maintenance Algorithms Symmetric binary B-trees: data structure and maintenance algorithms. T The Algebraic Specification of Abstract Data Types The Complexity of Drawing Trees Nicely. The Correctness of the Schorr-Waite List Marking Algorithm The Programming Language PASCAL The Temporal Logic of Branching TimeThe Temporal Logic of Branching Time Two notions of correctness and their relation to testing U Using circular programs to eliminate multiple traversals of data