Vladimir Komendantsky

According to our database, Vladimir Komendantsky authored at least 7 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Matching Problem for Regular Expressions with Variables.

Vladimir Komendantsky

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Reflexive toolbox for regular expression matching: verification of functional programs in Coq+Ssreflect.

Vladimir Komendantsky

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2011

Subtyping by Folding an Inductive Relation into a Coinductive One.

Vladimir Komendantsky

Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

View of Computer Algebra Data from Coq.

Vladimir Komendantsky, Alexander Konovalov, Steve Linton

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Interfacing Coq + SSReflect with GAP.

Vladimir Komendantsky, Alexander Konovalov, Steve Linton

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010

2008

Fixed point semantics and partial recursion in Coq.

Yves Bertot, Vladimir Komendantsky

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

2006

Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus.

Vladimir Komendantsky

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006