Browsing Computer Science by Title
Now showing items 1508-1509 of 1509
-
µProfiler: A Concurrent Profiler for Concurrent C++ (µC++)
(University of Waterloo, 2007-08-21)A concurrent program, unlike a sequential program, has multiple threads of execution, resulting in numerous advantages (e.g., faster execution), but also in complex and unpredictable interaction. As a consequence, a ... -
κDOT: A DOT Calculus with Mutation and Constructors
(University of Waterloo, 2018-09-26)Scala is a functional and object-oriented programming language which unifies concepts from object and module systems by allowing for objects with type members which are referenced via path-dependent types. The Dependent ...