Ranking Programming Languages by Energy Efficiency

Formal Software Design with Alloy 6