Towards Static Verification of Clojure Contract-Based Programs.

Gheorghe Pinzaru Victor Rivera

Published in: TOOLS (2019)

Keyphrases

program code
symbolic execution
programming language
distinctive features
concurrent programming
hardware designs
functional programming
model checking
programming environment
test generation
static analysis
face verification
software engineering
java bytecode
signature verification
supply chain
database systems