Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("program equivalence")

Results 1 to 2 of 2

  • Page / 1
Export

Selection :

  • and

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

  • Page / 1