Travelled to:1 × The Netherlands
1 × USA
Collaborated with:K.Kapp A.Sabelfeld
Talks about:synthesi (1) function (1) descript (1) behavior (1) schedul (1) program (1) problem (1) correct (1) control (1) automat (1)
Person: Viktor K. Sabelfeld
DBLP: Sabelfeld:Viktor_K=
Contributed to:
2004
1997Wrote 2 papers:
- DAC-2004-KappS #automation #behaviour #control flow #scheduling #synthesis
- Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis (KK, VKS), pp. 61–66.
- ICFP-1997-SabelfeldS #analysis #functional #problem #semantics #source code
- Simple Semantic Analysis Problems for Functional Programs (VKS, AS), p. 319.