Publisher
Springer International Publishing
Reference17 articles.
1. Baker, H.G.: “Use-once” variables and linear objects: storage management, reflection and multi-threading. ACM SIGPLAN Not. 30(1), 45–52 (1995)
2. Baudin, P., et al.: ACSL: ANSI/ISO C Specification Language Version 1.13, pp. 1–114 (2011)
3. Benoit, T.: Sim: a contract-based programming language for safety-critical software. In: Proceedings of the 38th Digital Avionics Systems Conference (DASC) (2019)
4. Benoit, T., Jacobs, B.: Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming - Extended Report. Technical report, Siemens Industry Software, Leuven, Belgium (2019). https://github.com/trbenoit/uniqueness-types
5. Brady, E.: Idris, a general-purpose dependently typed programming language: design and implementation. J. Funct. Program. 23(05), 552–593 (2013)