Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Fairness
Computer
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Language and visualization support for large-scale concurrency
ICSE '88 Proceedings of the 10th international conference on Software engineering
Parallel program design: a foundation
Parallel program design: a foundation
Communications of the ACM
Declarative visualization in the shared dataspace paradigm
ICSE '89 Proceedings of the 11th international conference on Software engineering
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
The Closure Statement: A Programming Language Construct Allowing Ultraconcurrent Execution
Journal of the ACM (JACM)
Associons: A Program Notation with Tuples Instead of Variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
An improved algorithm for decentralized extrema-finding in circular configurations of processes
Communications of the ACM
Communicating sequential processes
Communications of the ACM
A Discipline of Programming
A Relational Notation for State Transition Systems
A Relational Notation for State Transition Systems
The shared dataspace approach to concurrent computation: the swarm programming model, notation, and logic
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
Seeking concurrency in rule-based programming
ICSE '92 Proceedings of the 14th international conference on Software engineering
Formal specification and design of a message router
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic Synchrony Among Atomic Actions
IEEE Transactions on Parallel and Distributed Systems
Formal Derivation of Rule-Based Programs
IEEE Transactions on Software Engineering
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Formal Specification and Design of Mobile Systems
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Visual Presentation of Software Specifications and Designs
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Swarming over the software barrier
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A Perspective on the Future of Middleware-based Software Engineering
FOSE '07 2007 Future of Software Engineering
Biochemical Tuple Spaces for Self-organising Coordination
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Performance comparison of models for multiple rule firing
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Formal verification of pure production system programs
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
A proof system for a shared dataspace programming notation called Swarm (a programming logic similar in style to that of UNITY) is specified. Relevant aspects of the Swarm language and model are overviewed. To illustrate the proof system, the Swarmlogic is used to verify the correctness of a program for labeling connected equal-intensity regions of a digital image. Like UNITY, the Swarm proof system uses an assertional programming logic which relies upon proof of programwide properties, e.g. global invariants and progress properties. The Swarm logic is defined in terms of the same logical relations as UNITY (unless, ensures, and leads-to), but several of the concepts are reformulated to accommodate Swarm's distinctive features.