Vlad Saveluc

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Preserving Transformations

Quasi Invariant

Top Venues

Publications

Constantin Enea, Vlad Saveluc, Mihaela Sighireanu
Compositional Invariant Checking for Overlaid and Nested Linked Lists. ESOP (2013)
Liviu Ciortuz, Vlad Saveluc
Learning to Unlearn in Lattices of Concepts: A Case Study in Fluid Construction Grammars. SYNASC (2011)
Vlad Saveluc, Liviu Ciortuz
FCGlight: A System for Studying the Evolution of Natural Language. SYNASC (2010)