CCgen

Jump to bottom Edit New page

protin2art edited this page Dec 9, 2012 · 3 revisions

Notes about a C code generator module for Whiley.

Issues:

type representations
memory/heap management (garbage collection)
native linkage

Design decisions

Memory management

objects will be boxed (UFN - until further notice)
reference counts
COW (copy on write)

Details

[structure] (https://github.com/DavePearce/Whiley/wiki/CCgenStructure)