State machine specification directly in Java and C++ (poster session)

Authors:
Alexander Sakharov
Affiliations:
GTE Laboratories, 40 Sylvan Road, Waltham, MA
Venue:
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Year:
2000

Citing 2
Cited 2

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
A hybrid state machine notation for component specification

ACM SIGPLAN Notices

A Java toolkit for the design and the automatic checking of server architectures

Proceedings of the 5th international symposium on Principles and practice of programming in Java
Type Theory and Language Constructs for Objects with States

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract