Changes between Version 44 and Version 45 of ContractReduction


Ignore:
Timestamp:
12/16/15 16:27:07 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ContractReduction

    v44 v45  
    5454}}}
    5555
     56{{{
     57literal ::= \true | \false | integer | real | string | character
     58}}}
     59
     60{{{
     61bin-op ::= + | - | * | / | % | << | >>
     62           | == | != | <= | >= | > | <
     63           
     64}}}
     65
     66{{{
     67term ::= literal | id | unary-op term | term bin-op term | term [ term ]
     68       | { term \with [ term ] = term }
     69       | term . id
     70       | {term \with.id =term }
     71       | term -> id
     72       | ( type-expr ) term
     73       | id ( term (, term)∗ )
     74       | (term)
     75       | term ? term : term
     76       | \let id = term ; term sizeof ( term )
     77       | sizeof ( C-type-name )
     78       | id : term
     79       | string : term
     80}}}
    5681
    5782== `$memory` type ==