Now showing items 1-2 of 2
Feasible Algorithms for Semantics — Employing Automata and Inference Systems
(The University of Bergen, 2010-12-16)
Type Systems for Guaranteeing Resource Bounds of Component Software
(The University of Bergen, 2006-05-15)
Since the early days of the development of programming languages, people have been developing various methods to reduce the runtime errors of software programs. These methods range from static analysis, testing to runtime ...