Conditional rewrite rules: Confluence and termination
Journal of Computer and System Sciences
Completion of a set of rules modulo a set of equations
SIAM Journal on Computing
Term-rewriting systems with rule priorities
Theoretical Computer Science - Second Conference on Rewriting Techniques and Applications, Bordeaux, May 1987
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Termination and completion modulo associativity, commutativity and identity
Theoretical Computer Science - Selected papers on theoretical issues of design and implementation of symbolic computation systems
Handbook of logic in computer science (vol. 2)
A general data dependence test for dynamic, pointer-based data structures
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Supporting dynamic data structures on distributed-memory machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Olden: parallelizing programs with dynamic data structures on distributed-memory machines
Olden: parallelizing programs with dynamic data structures on distributed-memory machines
Operational semantics of rewriting with priorities
Theoretical Computer Science
Semantics and strong sequentiality of priority term rewriting systems
Theoretical Computer Science - Special issue on rewriting techniques and applications
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
A Dynamic Data Structure for Planar Graph Embedding (Extended Abstract)
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
Priority Rewriting: Semantics, Confluence, and Conditional
RTA '89 Proceedings of the 3rd International Conference on Rewriting Techniques and Applications
C# Language Specification
A Framework to Capture Dynamic Data Structures in Pointer-Based Codes
IEEE Transactions on Parallel and Distributed Systems
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Programming Language, The (4th Edition)
Java(TM) Programming Language, The (4th Edition)
LISP 1.5 Programmer's Manual
Dynamic Data Structure Analysis for Java Programs
ICPC '06 Proceedings of the 14th IEEE International Conference on Program Comprehension
The rational numbers as an abstract data type
Journal of the ACM (JACM)
Deletions That Preserve Randomness
IEEE Transactions on Software Engineering
Thread algebra for strategic interleaving
Formal Aspects of Computing
Towards analysing sequences of operations for dynamic data structures
SFCS '79 Proceedings of the 20th Annual Symposium on Foundations of Computer Science
Generating priority rewrite systems for OSOS process languages
Information and Computation
Analysis of Rewrite-Based Access Control Policies
Electronic Notes in Theoretical Computer Science (ENTCS)
Termination of Priority Rewriting
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Polarized process algebra and program equivalence
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
A thread calculus with molecular dynamics
Information and Computation
Data Linkage Dynamics with Shedding
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
C# Programming Language
Instruction Sequences for Computer Science
Instruction Sequences for Computer Science
The Computer Journal
Hi-index | 0.00 |
We introduce an algebra of data linkages. Data linkages are intended for modelling the states of computations in which dynamic data structures are involved. We present a simple model of computation in which states of computations are modelled as data linkages and state changes take place by means of certain actions. We describe the state changes and replies that result from performing those actions by means of a term rewriting system with rule priorities. The model in question is an upgrade of molecular dynamics. The upgrading is mainly concerned with the features to deal with values and the features to reclaim garbage.