Cited By
View all- Shingarov BLaval JEtien A(2017)Programming a Smalltalk VM in CoqProceedings of the 12th edition of the International Workshop on Smalltalk Technologies10.1145/3139903.3139905(1-8)Online publication date: 4-Sep-2017
- Rodchenko AKotselidis CNisbet APop ALujan M(2017)MaxSim: A simulation platform for managed applications2017 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)10.1109/ISPASS.2017.7975286(141-152)Online publication date: Apr-2017