Sign in

Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271).

Fritz HengleinRanjit JhalaShriram KrishnamurthiPeter Thiemann
Published in: Dagstuhl Reports (2014)
Keyphrases
  • statistical analysis
  • data analysis
  • future directions
  • relational databases
  • formal analysis