wiki:IR2

Version 4 (modified by siegel, 5 years ago) ( diff )

--

CIVL IR

Language principles:

  • CIVL-IR is a subset of CIVL-C. A CIVL-IR program is a CIVL-C program, and has the same semantics.

Types:

  • $int : mathematical integers
  • $real : mathematical reals
  • $float<e,f> : IEEE floating-point numbers with e,f integer constants
  • _Bool
  • $proc
  • char
  • $bundle
  • $heap
  • $range
  • $domain
  • enum tag
  • struct tag
  • union tag
  • T[]
  • T[n] : do we want dependent types?
Note: See TracWiki for help on using the wiki.