Login / Signup

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java.

Dimitrios KouzapasOrnela DardhaRoly PereraSimon J. Gay
Published in: Sci. Comput. Program. (2018)
Keyphrases
  • programming language
  • neural network
  • genetic algorithm
  • open source
  • lightweight
  • databases
  • data model
  • source code
  • web applications
  • java programs