scientific article

zbMath0977.68581MaRDI QIDQ2764091

Laurie Hendren, C. Verbrugge, Patrice Pominville, Feng Qian, Raja Vallée-Rai

Publication date: 22 January 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2027/20270334

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

Mathematics Subject Classification ID

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

Related Items (1)

Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types

This page was built for publication: