INC: a language for incremental computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Removing unnecessary synchronization in Java
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Finite Differencing of Computable Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
A Theory of Objects
Bebop: A Symbolic Model Checker for Boolean Programs
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Efficient Reachability Analysis of Hierarchical Reactive Machines
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Analysis of Recursive State Machines
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Loop optimization for aggregate array computations
ICCL '98 Proceedings of the 1998 International Conference on Computer Languages
High-confidence operating systems
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Modelling recursive calls with UML state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
| Hi-index | 0.00 |
Concurrent Class Machines are a novel state-machinemodel that directly captures a variety of object-orientedconcepts, including classes and inheritance, objects andobject creation, methods, method invocation and exceptions,multithreading and abstract collection types. Themodel can be understood as a precise definition of UMLactivity diagrams which, at the same time, offers an executable,object-oriented alternative to event-based state-charts.It can also be understood as a visual, combined controland data flow model for multithreaded object-orientedprograms. We first introduce a visual notation and tool forConcurrent Class Machines and discuss their benefits in enhancingsystem design. We then equip this notation with aprecise semantics that allows us to define refinement andmodular refinement rules. Finally, we summarize our workon generation of optimized code, implementation and experiments,and compare with related work.