Data Types & Type Checking - Ace

More documents

Recommendations

Info

Array Categories• Static: subscript ranges are statically bound and storageallocation is static (before run-time)– Advantage: efficiency – no dynamic allocation/deallocation.– Example: arrays declared as static in C/C++ functions.• Fixed Stack-Dynamic: subscript ranges are staticallybound, but the allocation is done at declaration time (atrun-time)– Advantage: space efficiency – stack space is reused.– Example: arrays declared in C/C++ functions without the staticmodifier.Lecture 068
Array Categories• Conformant Arrays: array parameters where bounds aresymbolic names rather than constants:– Pascal, Modula-2, Ada, C99.• C only supports single dimensional conformant arrays.function DotProduct(A, B: array[lower .. uper : integer] of real) : real;void square(int n, double M[n][n]);Lecture 069
Page 1 and 2: Organization of Programming Languag
Page 3 and 4: Primitive Data Types• Integers -
Page 5 and 6: Scalar Types• Scalar types (also
Page 7: Array Types• An array is an aggre
Page 11 and 12: Implementation of Stack Dynamic Arr
Page 13 and 14: Array Categories• Heap-dynamic: b
Page 15 and 16: Array Initialization• Some langua
Page 17 and 18: Slices• A slice is some substruct
Page 19 and 20: Slices Examples in Fortran 95Lectur
Page 21 and 22: Row vs. Column major orderLecture 0
Page 23 and 24: Contiguous vs. Row Pointer layout i
Page 25 and 26: Access Function for a Multi-Dimensi
Page 27 and 28: Character String Types• Character
Page 29 and 30: Strings in Programming Languages•
Page 31 and 32: Ada Strings• Static Length:X: Str
Page 33 and 34: Record Types• C, C++, C#: support
Page 35 and 36: Unions: Free (Fortran, C/C++)union
Page 37 and 38: Unions: Discriminated (Algol 68, Ad
Page 39 and 40: Pointer Operations• Two fundament
Page 41 and 42: Problems with Pointers• Dangling
Page 43 and 44: Pointer Arithmetic in C/C++float st
Page 45 and 46: Evaluation of Pointers & References
Page 47 and 48: Type Checking• A type error resul
Page 49 and 50: Strong Typing & Type Coercion• Co

Data Types & Type Checking - Ace

Create successful ePaper yourself

Delete template?

Save as template?