Login / Signup
J-ReCoVer: Java Reducer Commutativity Verifier.
Yu-Fang Chen
Chang-Yi Chiang
Lukás Holík
Wei-Tsung Kao
Hsin-Hung Lin
Tomás Vojnar
Yean-Fu Wen
Wei-Cheng Wu
Published in:
APLAS (2019)
Keyphrases
</>
source code
open source
programming language
lightweight
development environment
object oriented
web applications
genetic algorithm
database applications
database access
web services
java programs
database
java card
end users
relational databases
social networks
neural network
real time