scientific article; zbMATH DE number 1956459

zbMath1032.68899MaRDI QIDQ4417787

Christopher League, Valery Trifonov, Zhong Shao

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2622/26220106.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Related Items (3)

Verified bytecode verification and type-certifying compilation ⋮ Security types preserving compilation ⋮ A Representation of Fω in LF

This page was built for publication: