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. ...

Ofront+ is a tool that translates programs in Oberon dialects into semantically equivalent C programs. Full error analysis is performed on the Oberon input program and in case of no errors up to three files are generated as output. Ofront+ does not invoke the C compiler or linkage editor. This may be done in separate shell scripts or make files and is inherently dependent on the C compiler and linkage editor being used. Although normally not read by the user, the C code generated by...

...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.