Category:Journal Acta Informatica
From BibNetWiki
Jump to:
navigation
,
search
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
Category
:
Journal
Views
Category
Discussion
Edit
History
Personal tools
Log in / create account
Navigation
Main Page
Community portal
Current events
Recent changes
Random page
Help
Donations
Search
Toolbox
What links here
Related changes
Upload file
Special pages
Printable version
Permanent link
related