Transformational typing and unification for automatically correcting insecure programs

By Köpf Boris   Mantel Heiko  

International Journal of Information Security (IJIS), Vol. 6, Iss. 2-3, 2007-03 ,pp. : 107-131

Springer Publishing Company

Access to resources Recommend Favorite

On logic programs that do not fail

By Pedreschi D.   Ruggieri S.  

Electronic Notes in Theoretical Computer Science, Vol. 30, Iss. 1, 2004-01 ,pp. : 1-25

Elsevier

Access to resources Recommend Favorite

On logic programs that always succeed

By Pedreschi D.   Ruggieri S.  

Science of Computer Programming, Vol. 48, Iss. 2, 2003-08 ,pp. : 163-196

Elsevier

Access to resources Recommend Favorite

Transforming constraint logic programs

By Bensaou N.   Guessarian I.  

Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. : 81-125

Elsevier

Access to resources Recommend Favorite

A combinatory logic approach to higher-order E-unification

By Dougherty D.J.   Johann P.  

Theoretical Computer Science, Vol. 139, Iss. 1, 1995-03 ,pp. : 207-242

Elsevier

Access to resources Recommend Favorite