Dava

MaRDI QIDQ45757swMATHFDO

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

Cited in

(8)

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

This page was built for software: Dava