Dava

MaRDI QIDQ45757swMATHFDO

Official website http://www.sable.mcgill.ca/dava/

Cited in

(8)

• Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types
• abc : An Extensible AspectJ Compiler
• Qooxdoo
• PPG
• PrototypeJS
• SAXON
• WeirdX
• Byte code level cross-compilation for developing web applications

This page was built for software: Dava