Typechecking Java Protocols with [St]Mungo.
A. Laura VoineaOrnela DardhaSimon J. GayPublished in: FORTE (2020)
Keyphrases
- source code
- open source
- object oriented
- programming language
- java programs
- lightweight
- regular expressions
- communication protocol
- web applications
- database applications
- security protocols
- application server
- cross platform
- java applets
- database
- distributed object
- communication protocols
- tree automata
- neural network
- real time