Μεταγλωττιστές

Λέξεις Κλειδιά: Compiler, high level programming language, compilation problem, translation process, compiler structure

Λέξεις κλειδιά: Translation strategy, compilation strategy, basic compiler structure, Compiler front end, lexical analysis, specifications, parsing, using grammar, replication, semantic analysis, semantic analysis in programs, IR, IR-lowering, Optimization, back-end, finished program, runtime system.

Λέξεις κλειδιά: Lexical analysis, Scanner, hand coded scanner, scanner construction, lookahead, Regular Expressions, Formal languages, Finite Automata, Finite Automata state graphs, RE and DFA, Non-deterministic Finite Automata (NDF), Deterministic Finite Automata (DFA), Scanner constructions, Thomson construction, transitions, subset construction, DFA minimization, Hopcroft algorithm, DFA minimization, register specification, partitioning, lexer, building a lexer

Λέξεις κλειδιά: Parsing, parser, lexical analysis, derivation, context free grammar, top-down parser, Bottom up parser, LR parser, Backus Naur form (BNF), rewriting rules, expressions, language of expressions, Rightmost-, leftmost-derivation, derivations as parse trees, Abstract syntax tree, Ambiguous grammar, if-then-else ambiguity, removing ambiguity, Backtracking, Retrying , successful parse, Left recursion, Right recursion grammar, lookahead, First and Follow sets, computing First sets, Computing Follow sets, LL(1), left factoring, predictive parsing, recursive descent

Λέξεις κλειδιά: Hierarchy of Grammar classes, syntax directed translation, Errors, program checking, Semantic checking, Static checking, dynamic checking, Uniqueness check, type checking, flow-of-control-checks, scope, procedures, lexical scoping, shadowing, name spaces, compile-time, run-time, chained implementation, stack implementation, threaded stack implementation, symbol tables, type errors, type system, expressiveness, static type, conservative, properties of types, type expressions, type constructors, Arrays, products, records, pointers, function signatures, type equivalence, structural equivalence, representation, name equivalence, recursive types, coercions, integral promotions, overloading

Λέξεις κλειδιά: Visitor patterns for compiler, design pattern

Λέξεις κλειδία: Intermediate Representation (IR), Code generation, Structural-IR, linear-IR, Hybrid-IR, High level IR, Abstract syntax tree, Directed Acyclic Graph, Low level IR, abstract instructions, virtual registers, stack machines, lowering the code, linearizing the code, lowering scheme, Generation scheme, short circuit OR, short circuit AND, array access, statements, loops, assignment, l-values, nesting, code quality, leaves

Λέξεις κλειδιά: Optimization, constant propagation, constant folding, partial evaluation, algebraic simplifications, sub-expression elimination, dead code elimination, copy propagation, unreachable code elimination, loop optimization, strength reduction, induction variables, inlining, control flow, flow sensitive, control flow graph (CFG), node, Edge, basic blocks, program points, live variable analysis, liveness, computing liveness, analyzing instructions, liveness across instructions, analyzing control flow, system of equations, generalization, Lattice, confluence operator, Meet-, join-operator, termination, fixpoint, Knaster Tarski theorem

Λέξεις κλειδιά: Bottom up parser, LR-parsing, Right most derivation, shift, reduce, reductions, implications, DFA, closure operation, DFA transitions, shift/reduce conflicts, precedence, LALR(1) DFA, conversion LR(1) to LALR(1) DFA, LALR states

Λέξεις κλειδια: Register allocation, memory hierarchy, registers, graph coloring, K-coloring, optimal coloring, spilling, Chaitin’s algorithm, Chaitin-Briggs-algorithm, Bin packing, linear scan

Λέξεις κλειδιά: Instruction selection, IR, ISA, Tree representation, Tiles, tiling, dynamic programming, recursive algorithm, pseudocode, ad-hoc algorithm, RISC, code generator generators, tree notation, rewriting rules, rewriting process, implementation