High Assurance Software for Financial Regulation and Business Platforms
- 14 January 2022
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Automatically improving accuracy for floating point expressionsPublished by Association for Computing Machinery (ACM) ,2015
- Automatic detection of floating-point exceptionsPublished by Association for Computing Machinery (ACM) ,2013
- Improving software diagnosability via log enhancementPublished by Association for Computing Machinery (ACM) ,2011
- Precise reasoning for programs using containersPublished by Association for Computing Machinery (ACM) ,2011
- Heap analysis in the presence of collection librariesPublished by Association for Computing Machinery (ACM) ,2007
- OspreyPublished by Association for Computing Machinery (ACM) ,2006
- Finding bugs is easyACM SIGPLAN Notices, 2004
- Designing the whylinePublished by Association for Computing Machinery (ACM) ,2004
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- Using program slicing in software maintenanceIEEE Transactions on Software Engineering, 1991