Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319141244, 9783319141251
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models

2014 ◽  
pp. 72-90 ◽  
Author(s):  
Umer Liqat ◽  
Steve Kerrison ◽  
Alejandro Serrano ◽  
Kyriakos Georgiou ◽  
Pedro Lopez-Garcia ◽  
...  
Keyword(s):  
Energy Consumption ◽  
Energy Consumption Analysis

Information Flow in Object-Oriented Software

2014 ◽  
pp. 19-37 ◽  
Author(s):  
Bernhard Beckert ◽  
Daniel Bruns ◽  
Vladimir Klebanov ◽  
Christoph Scheben ◽  
Peter H. Schmitt ◽  
...  
Keyword(s):  
Information Flow ◽  
Object Oriented
Load More ...
Sign in / Sign up

Export Citation Format

Share Document