Sergey Velder

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 1

Top Topics

Inference Mechanism

Automated Deduction

Quasi Invariant

Top Venues

Sci. Comput. Program.

ACM Comput. Surv.

Publications

Alexander Kogtenkov, Bertrand Meyer, Sergey Velder
Alias calculus, change calculus and frame inference. Sci. Comput. Program. 97 (2015)
Carlo A. Furia, Bertrand Meyer, Sergey Velder
Loop invariants: Analysis, classification, and examples. ACM Comput. Surv. 46 (3) (2014)
Alexander Kogtenkov, Bertrand Meyer, Sergey Velder
Alias and Change Calculi, Applied to Frame Inference. CoRR (2013)
Carlo A. Furia, Bertrand Meyer, Sergey Velder
A survey of loop invariants CoRR (2012)