Data linkage algebra, data linkage dynamics, and priority rewriting

Details Data linkage algebra, data linkage dynamics, and priority rewriting Data linkage algebra, data linkage dynamics, and priority rewriting

2008-04-29

arxiv.org/abs/0804.4565v2

Computer Science

Logic in Computer Science

40 pages, typos corrected, phrasing improved, definition of services replaced

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Data linkage algebra, data linkage dynamics, and priority rewriting does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Data linkage algebra, data linkage dynamics, and priority rewriting, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Data linkage algebra, data linkage dynamics, and priority rewriting will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-209523