Sabelfeld Andrey

Search

By title

By abstract

By keywords

By author

By series

Bu issue

By year

Andrey V. Sabelfeld

E-mail

sabelfeld@cs.chalmers.se

List of Articles:

Sabelfeld V. Sabelfeld A. Simple semantic analysis problems for functional programs // Computer Science. — 1996 . — # 5. — P. 43-53

Sabelfeld A. Correct transformations of logic programs // Computer Science. — 1996 . — # 5. — P. 55-67