Please enable JavaScript.

Coggle requires JavaScript to display documents.

Lecture 17 - Coggle Diagram

- - - - Implementable scalar
        
        INT
        
        BOOL
        
        Defined SETS or enumerated
      - Concrete variables
        
        scalar
        
        arrays
        
        cartesian product
        
        functions of functions
      - concrete constants
        
        Subsets of INT or defined Sets
        
        Must be valued
    - - Sequencies
      - Local variables
      - valuation
      - skip
      - IF/ELSE
      - WHILE
      - Operation Call
    - - conditions
      - equality
      - inequality
      - Impossible to use +, -, x, / in a condition
        
        Use local variable
      - identifier or literal constant
      - access to an element of an array
      - Bool condition
      - Array initialisation
      - EXP
    - - 4 operations
      - mod
      - f(x)
  - - - No formal guaranty that the source code is correct
      - Should be tested
      - Write a trivial implementation then complete the skeleton