First Page | Document Content | |
---|---|---|
Date: 2018-10-21 10:52:58Software engineering Computer programming Computing Computational neuroscience Object-oriented programming languages Cross-platform software Software testing Program analysis Software bug Type system Artificial neural network Fuzzing | MLP on Wednesday, July 18th https://easychair.org/smart-program/FLoC2018... FLOC 2018: FEDERATED LOGIC CONFERENCE 2018Add to Reading ListSource URL: lara.epfl.chDownload Document from Source WebsiteFile Size: 100,26 KBShare Document on Facebook |
Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan MoorsDocID: 1xVKz - View Document | |
The Academic Failure with Alloy Alloy Amazing Type SystemDocID: 1xV4R - View Document | |
A Type System for Privacy PropertiesDocID: 1xTOq - View Document | |
A Verified Type System for CakeML Yong Kiam Tan Scott Owens IHPC, A*STARDocID: 1xTwi - View Document | |
Technical Report no. 2007:1 Integration of a Security Type System into a Program Logic Reiner H¨ahnle, Jing Pan, Philipp R¨ummer, Dennis WalterDocID: 1vrAi - View Document |