Back to Results
First PageMeta Content
Formal methods / MapReduce / Loop invariant / Postcondition / Apache Hadoop / Control flow / Hoare logic / Generator / Predicate transformer semantics / KeY / Infinite loop / Const


Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung
Add to Reading List

Document Date: 2016-07-02 20:30:42


Open Document

File Size: 718,15 KB

Share Result on Facebook