scientific article; zbMATH DE number 1330435

zbMath0924.68072MaRDI QIDQ4261077

George C. Necula

Publication date: 20 September 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=20#20008

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

zbMATH Keywords

proof-carrying code

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Related Items (3)

ANF preserves dependent types up to extensional equality ⋮ CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types ⋮ Computing Preconditions and Postconditions of While Loops

This page was built for publication: