Search Results for "precise"

...Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished. The precise effect typing gives Koka rock-solid semantics backed by well-studied category theory, which makes Koka particularly easy to reason about for both humans and compilers. Effect handlers let you define advanced control abstractions, like exceptions, async/await, or probabilistic programs, as a user library in a typed and composable way. ...

...It uses Boehm GC as its garbage collector. While BoehmGC can be easily employed in any C++ projects to enable automatic garbage collection, it can only run in conservative mode. MCP uses BoehmGC in precise mode.

Portable PRECISE tracing collector for C++ (as oposed to popular Hans Boehm CONSERVATIVE collector). It should not mess other data with collected pointers ! And thats a feat! Smieciuch defines smart pointer classes which behave like normal C/C++ pointers

http://chuck.cs.princeton.edu/ --- ChucK is a new programming language for real-time audio synthesis, composition, and performance. It supports concurrency, powerful/precise control over time, and the ability to add, remove, and modify code, on-the-fly.