Travelled to:1 × Belgium
1 × Germany
1 × Hungary
Collaborated with:A.Mantsivoda ∅ A.Weimann
Talks about:flang (2) constraint (1) general (1) memori (1) implic (1) failur (1) compil (1) negat (1) manag (1) embed (1)
Person: Vyacheslav Petukhin
DBLP: Petukhin:Vyacheslav
Contributed to:
19971993
1992Wrote 3 papers:
- ICLP-1997-Petukhin #embedded
- Embedded Implications as a Generalization of Negation as Failure (VP), p. 420.
- ICLP-1993-MantsivodaPW #constraints #memory management
- Memory Management of Constraint in Flang (AM, VP, AW), pp. 633–646.
- CC-1992-MantsivodaP #compilation
- Compiling Flang (AM, VP), pp. 297–311.