LARA Sitemap This is a sitemap over all available pages ordered by namespaces. anonymous bapa biblio cc09 cc10 cc11 cc12 cc13 cc14 cc15 cc16 cc17 cc18 cc19 cc20 ccost clp17 compilation abstract_syntax_of_while accessing_and_storing_variables ahoullman algorithm_for_first_and_follow_sets alternatives_to_compilation an_efficient_functional_map an_efficient_imperative_map applications_of_data-flow_analysis arm_architecture array_manipulation automata_for_lr_parsing_without_lookahead booleans_and_data_representation bottop-up_type_checking branching_jvm_instructions building_a_pretty_printer building_ll_parsing_table cafebabe-abc cafebabe-examples cafebabe charstream.scala collatz.while compilation_as_tree_transformation compiled_counting_examples compiled_expression_examples compiled_factorial_example compiler_construction_by_niklaus_wirth compiler_construction_tools compiler_interface_to_garbage_collector compilers_in_action compiling_conditional_expressions compiling_if_then_else compiling_statement_sequence compiling_while computing_labels concrete_execution_as_data-flow_analysis concrete_syntax_of_while concreteanalysis.scala constant_propagation constraint-based_type_checking control-flow_graph_definition control-flow_graph_to_assembly_with_global_variables copying_garbage_collector course_information cyk_parsing_algorithm dataflowanalysis.scala designing_correct_data-flow_analyses digraphs.scala earley_parser efficient_comparison_for_identifiers efficiently_emitting_code elanguage evaluating_postfix ex3-javacc-stub example_efficient_code_for_conditionals example_ocamlyacc_grammar examples_of_compiled_java exercises_01 exercises_02 exercises_03 exercises_04 exercises_05 exercises_06 exercises_07 exercises_08 exercises_09 exercises_session_06 final_projects_and_reports free_lists_by_size from_stack_to_register_machines functional_versus_imperative_maps generational_garbage_collectors hand-written_scanner_for_while_language handling_scopes_in_interpreters higher-order_functions idea_of_data_flow_analysis idea_of_garbage_collection implementing_finite_state_machines incremenatal_garbage_collectors initialization_analysis instruction_selection internal internal_grading interpreter.scala interpreting_cfg interpreting_control-flow_graphs interpreting_ll_parsing_table isquares.while jahobparser.yy java_definite_assignments java_example_for_semantic_analysis javacc jvm_classfile_construction_library jvm_instructions jvm_spec lab02-compiler.scala lab02-factorial.java lab02-lexer.scala lab02-main.scala lab02-positional.scala lab02-reporter.scala lab02-tokens.scala lab04-compiler.scala lab04-main.scala lab04-parser.scala lab04-prettyprinter.scala lab04-tokens.scala lab04-trees.scala lab06analyzer lab06compilerstub lab06mainstub lab06symbols lab06treeprinter lab06trees lab08-compiler lab08-typechecker lab08-types lab09-codegen lab09-compiler lab09-main lab11-asttocfgstub lab11-cfg lab11-cfgtrees lab11-compmods lab11-dfa lab11-labeleddirectedgraph lab11-lattices lab11-ldg labs_01 labs_02 labs_03 labs_04 labs_05 labs_06 labs_07 labs_08 labs_09 labs_10 labs_11 labs_12 labs_13 labs_14 lambda_calculi_with_types lambda_calculus languages_using_prefix_or_postfix_only lattices.scala lattices_in_dataflow_analysis lecture_01 lecture_02 lecture_03 lecture_04 lecture_05 lecture_06 lecture_07 lecture_08 lecture_09 lecture_10 lecture_11 lecture_12 lecture_13 lecture_14 lecture_15 lexer.scala lexerinterface.scala lexertest.scala limitations_of_regular_expressions linearizing_trees_with_control-flow links live_variable_analysis ll_parser_uses_leftmost_derivation llvm-intro local_higher-order_and_dispatched_procedures lr_0_parser_actions lr_1_parser_actions lr_parser_runs_automaton_over_stack lr_parser_uses_rightmost_derivation lr_parsing_tables lr_parsing_with_lookahead_items main.scala malloc_and_free mallocfree.scala mallocinfmem.scala manual_translation_into_bytecode maps_in_math mark_and_sweep_collector memory_fragmentation memory_layout_for_compiled_program method_calls minijava minijava_compiler_project minijavaplus minijavaplustyperules mjp-binarysearch mjp-binarytree mjp-bubblesort mjp-factorial mjp-linearsearch mjp-linkedlist mjp-quicksort mjp-treevisitor modifying_parser_to_construct_trees multiway_branches note_on_polymorphism_and_subtyping notion_of_hash-consing notion_of_subtyping notion_of_syntax_trees object_and_reference_manipulation official_course_description operational_semantics_of_lambda_with_letrec overview_of_an_optimizing_compiler overview_of_classfile_constant_pool overview_of_compiling_to_stack_machine parse_trees_ambiguity_and_derivations parsertrees.scala parsingtechniques phases_of_a_compiler pointer_reversal polynomials.pscala polynomialsll.grammar polytokens.jj polytokentest.java postfix_translation_of_boolean_operators precedence_in_lr_parsing prefix_infix_postfix_notation printing_prefix_infix_postfix programs.scala proving_safety_properties_using_types pushdown_automata quiz race range_analysis rangeanalysislattice.scala recursive_descent_parsing reference_counting register_allocation_using_liveness_information register_machine_in_scala reporting_errors_based_on_syntax_tree resolving_variable_names scalabestpractice semantic_analysis_as_simplified_interpretation short-circuit_evaluation sign_analysis signanalysis.scala simple_types_for_lambda_calculus simpleast.scala simplecfg.scala simpletranslate.scala simply_typed_lambda_calculus slr_parser_actions solution squares.while stack_frames_and_procedure_calls subtyping_for_assignments subtyping_for_functions subtyping_rules symbol_table_contents termination_of_data-flow_analysis test.jvm test.s testpolyinput.poly tiger_book tokens.scala tokens_words_of_while_language tools_for_constructing_lexers top transforming_to_chomsky_normal_form translating_expressions_to_stack_machine translating_expressions_to_stack_machine_code translating_syntax_tree_to_cfg translation_correctness_for_expressions translation_of_relations tree.scala treesimplifier.scala trivia_bad_languages type_checking_let_and_letrec type_soundness_for_simply_typed_lambda_calculus types_and_programming_languages types_and_programming_languages_book typestate_analysis typing_rules_for_simple_language typos_in_compiler_construction_by_wirth using_finite_state_machines_for_lexical_analysis variable_capture vm_for_expressions week_02 what_is_a_compiler while_language whileparser.scala why_study_compilers why_study_lexical_analysis xyz_example_using_gcc cost-cert crystalball dpll encyc funprog17 funprog18 fv19 fv20 internal jahob lugano mikael_msc misc p parcon16 parcon17 parcon18 people phantm playground present projects reading sar10 sav08 sav08-old sav09 sav10 sav11 sav12 sav13 sav14 sav15 sav17 semantic smartfloat solutions surveys test tmp visitors wiki alin alloy_in_jahob bank_account_example_in_jahob bapa cartesianproducts cc cc09 cc11 cc12labs_04 ccost cfm chord_notes circuits cisy closure_properties_of_finite_state_machines clp codefromscala collaboration comfusy-examples comfusy complexity confdesk-notes confdesk conferences constraint_based_analysis_of_java_using_jahob_and_amrc context-free_grammars correctness_of_formula_propagation cost-cert cvc4-synthesis cvc4 data_structure_examples.html determinization_of_finite_state_machine dp eldarica encoding_lists_using_msol_over_strings epfl_internships equivalence_of_finite_state_machine_and_regular_expression_languages equivalence_relation exchanges_for_epfl_students expressing_finite_automata_in_msol_over_strings expressing_regular_expressions_in_msol_over_strings expressive_power_of_a_fragment_of_ws1s finite_state_machine finite_state_machine_with_epsilon_transitions fmcad fmcad11 fmcad11a fmcad2014 formal functionalsynthesis funding fv fvquimsical gallier_logic_book harrison_textbook horn-nonrec-benchmarks horn-parametric-benchmarks htmldoc impro inheritance insynth interfaces_for_atomicity interpreter introduction_to_using_msol_over_strings_to_verify_linked_lists isynth isynth_home jahob_system jahob_system_sets jniz3-scala-examples jniz3 kaplan lambda_calculus lara lara_posters laragit learning lecture16_transcript leon-repair-benchmarks leon-repair leon lisp_seminar_nlp_2008 master_s_program menu minimization_of_state_machines monadic_second-order_logic_over_trees monoid msol_over_strings nenofar news nicg non-converging_iteration_in_reals note_on_buffer_overflows note_on_substitutions notes_on_context-free_grammars ocaml_resources panagiotis_email parcon partial_order phantm phd_positions pmatching pong predicate_abstraction preorder printingposters programming_in_scala projects-old projects publications publications2 pushdown_systems randomized_model_finder rbound reachable_pushdown_configurations_are_regular regsy-examples regsy regular_expression regular_expressions_for_automata_with_parallel_inputs rosa sav sav07 sav07_future_lectures sav07_homework_1 sav07_homework_1_solution sav07_homework_2 sav07_homework_3 sav07_homework_4 sav07_homework_4_solution sav07_lecture_1 sav07_lecture_2 sav07_lecture_2_skeleton sav07_lecture_3 sav07_lecture_3_skeleton sav07_lecture_4 sav07_lecture_4_skeleton sav07_lecture_5 sav07_lecture_5_skeleton sav07_lecture_6 sav07_lecture_6_skeleton sav07_lecture_7 sav07_lecture_7_skeleton sav07_lecture_8 sav07_lecture_8_skeleton sav07_lecture_9 sav07_lecture_9_skeleton sav07_lecture_10 sav07_lecture_10_skeleton sav07_lecture_11 sav07_lecture_11_skeleton sav07_lecture_12 sav07_lecture_12_skeleton sav07_lecture_13 sav07_lecture_13_skeleton sav07_lecture_14_skeleton sav07_lecture_15 sav07_lecture_15_skeleton sav07_lecture_16 sav07_lecture_17 sav07_lecture_18 sav07_lecture_19 sav07_lecture_20 sav07_lecture_21 sav07_lecture_22 sav07_lecture_23 sav07_lecture_24 sav07_lecture_25 sav07_lecture_26 sav07_lecture_27 sav07_mini_projects sav07_project_ideas sav07_projects sav07_quiz_answers sav07_resource sav08 sav09 sav11 scalaz3 scp semantic semigroup simple_linked_list_operation_in_jahob sizedatatree.java sizelist.java slickchair slin smartfloat snisy software software_verification_tools_overview solver sortedlist.java start strings_and_languages stringsolver suri sverd svtp17 tarski_fixed_point_theorem teaching test test_draw test_folded test_latex threadedtree.java tips tree_automata treeinsertion.java useful using_automata_to_decide_msol_over_finite_strings using_automata_to_decide_presburger_arithmetic variable_range_analysis verifying_data_structures_using_jahob verifying_dijkstra_s_algorithm_in_jahob verifying_pattern_matching_with_guards visibly_pushdown_languages ws1s_expressive_power_and_quantifier_elimination