Using Dependent Types to Define Energy Augmented Semantics of Programs

There is no fulltext present in this item.

Title:	Using Dependent Types to Define Energy Augmented Semantics of Programs
Author(s):	Gastel, B.E. van; Kersten, Rody; Eekelen, M.C.J.D. van
Publication year:	2016
In:	Lecture Notes in Computer Science, (2016)Eekelen, M. van; Lago, U. Dal (ed.), Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers, pp. 20-39
Publisher:	Cham : Springer International Publishing
ISBN:	9783319465593
ISSN:	0302-9743
DOI:	https://doi.org/10.1007/978-3-319-46559-3_2
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/161348
Display more details
Editor(s):	Eekelen, M. van; Lago, U. Dal
Subject:	Digital Security
Organization:	Digital Security Security of Systems
Journal title:	Lecture Notes in Computer Science
Book title:	Eekelen, M. van; Lago, U. Dal (ed.), Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Page start:	p. 20
Page end:	p. 39