Publisher
Springer Nature Switzerland
Reference63 articles.
1. Affeldt, R., Nowak, D., Saikawa, T.: A hierarchy of monadic effects for program verification using equational reasoning. In: Hutton, G. (ed.) Mathematics of Program Construction, pp. 226–254 (2019)
2. Andrews, D.: Will the future success of reconfigurable computing require a paradigm shift in our research community’s thinking?, keynote address, Applied Reconfigurable Computing (2015)
3. Armstrong, A., et al.: The state of sail. In: SpISA 2019: Workshop on Instruction Set Architecture Specification (2019)
4. Bachrach, J., et al.: Chisel: constructing hardware in a scala embedded language. In: DAC, pp. 1216–1225 (2012)
5. Lecture Notes in Computer Science;N Benton,2009