scientific article; zbMATH DE number 1231622
From MaRDI portal
Publication:4222945
zbMath0925.68079MaRDI QIDQ4222945
Stephen N. Freund, John C. Mitchell
Publication date: 6 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Verified bytecode verifiers. ⋮ Verified bytecode verification and type-certifying compilation ⋮ A flexible model for dynamic linking in Java and C\#
