Java Typestate Checker.

João Mota Marco Giunti António Ravara

Published in: COORDINATION (2021)

Keyphrases

programming language
source code
open source
lightweight
object oriented
development environment
java applets
java programs
cross platform
high level
web services
general purpose
information retrieval
evolutionary algorithm
artificial intelligence
advanced features
java virtual machine
byte code