scientific article; zbMATH DE number 2087564

zbMath1051.68740MaRDI QIDQ4738380

Jerome Miecznikowski, Laurie Hendren

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2304/23040111.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 (4)

Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types ⋮ Byte code level cross-compilation for developing web applications ⋮ abc : An Extensible AspectJ Compiler ⋮ Dava

Uses Software

• Haskell
• Eiffel
• Unnamed Item

This page was built for publication: