Using Dependent Types to Define Energy Augmented Semantics of Programs.

Bernard van Gastel Rody Kersten Marko C. J. D. van Eekelen

Published in: FOPARA (2015)

Keyphrases

expert systems
genetic algorithm
logic programming
energy minimization
active rules
language constructs
stable model semantics
wireless sensor networks
object oriented
graph cuts
energy consumption
energy saving
formal semantics
stable models
low energy