BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lagoon:Vitaly

Contributed to:

PPDP 20112011
ICLP 20082008
ESOP 20062006
RTA 20062006
ICLP 20052005
ICLP 20032003
PPDP 20022002
VMCAI 20022002
FLOPS 20012001
ICLP 19971997
SAS 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.