kw.\*:("program equivalence")
Results 1 to 2 of 2
Selection :
Downgrading policies and relaxed noninterferencePENG LI; ZDANCEWIC, Steve.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 158-170, issn 1523-2867, 13 p.Conference Paper
Dependent Types and Program EquivalenceLIMIN JIA; JIANZHOU ZHAO; SJÖBERG, Vilhelm et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 275-286, issn 1523-2867, 12 p.Conference Paper