Travelled to:1 × Austria
1 × Belgium
1 × Denmark
1 × France
1 × India
1 × Japan
1 × Spain
2 × Italy
2 × USA
Collaborated with:P.J.Stuckey M.Codish F.Bueno ∅ F.Mesnard P.Schachte S.Genaim J.P.Gallagher
Talks about:analysi (6) termin (5) constraint (4) program (4) logic (4) share (3) partial (2) order (2) type (2) test (2)
Person: Vitaly Lagoon
DBLP: Lagoon:Vitaly
Contributed to:
2011
2008
2006
2006200520032002
2002
20011997
1997Wrote 11 papers:
- PPDP-2011-Lagoon #challenge #constraints #generative #testing
- The challenges of constraint-based test generation (VL), pp. 1–2.
- ICLP-2008-CodishLS #constraints #partial order #problem
- Telecommunications Feature Subscription as a Partial Order Constraint Problem (MC, VL, PJS), pp. 749–753.
- ESOP-2006-CodishLSS #analysis #termination
- Size-Change Termination Analysis in k-Bits (MC, VL, PS, PJS), pp. 230–245.
- RTA-2006-CodishLS #constraints #partial order #termination
- Solving Partial Order Constraints for LPO Termination (MC, VL, PJS), pp. 4–18.
- ICLP-2005-CodishLS #constraints #termination #testing
- Testing for Termination with Monotonicity Constraints (MC, VL, PJS), pp. 326–340.
- ICLP-2003-LagoonMS #analysis #termination
- Termination Analysis with Types Is More Accurate (VL, FM, PJS), pp. 254–268.
- PPDP-2002-LagoonS #analysis #logic programming #precise #source code
- Precise pair-sharing analysis of logic programs (VL, PJS), pp. 99–108.
- VMCAI-2002-GenaimCGL #termination
- Combining Norms to Prove Termination (SG, MC, JPG, VL), pp. 126–138.
- FLOPS-2001-LagoonS #analysis #framework #logic programming #source code
- A Framework for Analysis of Typed Logic Programs (VL, PJS), pp. 296–310.
- ICLP-1997-BuenoCL #analysis #logic programming #set #source code #using
- Sharing Analysis Using Set Logic Programs (FB, MC, VL), p. 417.
- SAS-1997-CodishLB #algebra #analysis #approach #logic programming #source code
- An Algebraic Approach to Sharing Analysis of Logic Programs (MC, VL, FB), pp. 68–82.