Adding papers in abstract interpretation, abstract machines, binary decision trees, constrainth andling rules, constraint logic programming, continuations, datalog from swannodette's collection.

2025-06-13 12:54:28 +00:00 · 2014-03-04 22:13:30 -05:00 · 2014-03-04 22:13:30 -05:00 · d29da5eab4
commit d29da5eab4
parent 89e8d47906
123 changed files with 281790 additions and 0 deletions
--- a/abstract_interpretation/AI_Prolog.pdf
+++ b/abstract_interpretation/AI_Prolog.pdf
--- a/abstract_interpretation/AI_tabling.ps
+++ b/abstract_interpretation/AI_tabling.ps
--- a/abstract_interpretation/AbramskiAI.pdf
+++ b/abstract_interpretation/AbramskiAI.pdf
--- a/abstract_interpretation/abs_int_tree_automata.pdf
+++ b/abstract_interpretation/abs_int_tree_automata.pdf
--- a/abstract_interpretation/abstract_interpr_logic_programs.pdf
+++ b/abstract_interpretation/abstract_interpr_logic_programs.pdf
--- a/abstract_interpretation/abstract_interpretation_based_formal_methods.pdf
+++ b/abstract_interpretation/abstract_interpretation_based_formal_methods.pdf
--- a/abstract_interpretation/abstract_interpreters_for_free.pdf
+++ b/abstract_interpretation/abstract_interpreters_for_free.pdf
--- a/abstract_interpretation/ciaopp-sas03.pdf
+++ b/abstract_interpretation/ciaopp-sas03.pdf
--- a/abstract_interpretation/cstva12.pdf
+++ b/abstract_interpretation/cstva12.pdf
--- a/abstract_interpretation/lec35-fa06.pdf
+++ b/abstract_interpretation/lec35-fa06.pdf
--- a/abstract_interpretation/meta_circ-2.ps
+++ b/abstract_interpretation/meta_circ-2.ps
--- a/abstract_interpretation/rel_AI.pdf
+++ b/abstract_interpretation/rel_AI.pdf
--- a/abstract_interpretation/scp31.pdf
+++ b/abstract_interpretation/scp31.pdf
--- a/abstract_interpretation/tplp95.pdf
+++ b/abstract_interpretation/tplp95.pdf
--- a/abstract_interpretation/tplp_Seq.pdf
+++ b/abstract_interpretation/tplp_Seq.pdf
--- a/abstract_machines/KAZAM.pdf
+++ b/abstract_machines/KAZAM.pdf
--- a/abstract_machines/Landin64.pdf
+++ b/abstract_machines/Landin64.pdf
--- a/abstract_machines/krivine.pdf
+++ b/abstract_machines/krivine.pdf
--- a/abstract_machines/lazymach.pdf
+++ b/abstract_machines/lazymach.pdf
--- a/abstract_machines/masters_thesis.pdf
+++ b/abstract_machines/masters_thesis.pdf
--- a/abstract_machines/systematic_abstract_machines.pdf
+++ b/abstract_machines/systematic_abstract_machines.pdf
--- a/abstract_machines/zam-kazam05.pdf
+++ b/abstract_machines/zam-kazam05.pdf
--- a/binary_decision_trees/1103.3123v2.pdf
+++ b/binary_decision_trees/1103.3123v2.pdf
--- a/binary_decision_trees/BDD_Akers.pdf
+++ b/binary_decision_trees/BDD_Akers.pdf
--- a/binary_decision_trees/Hadzicetal_WIGSK08.pdf
+++ b/binary_decision_trees/Hadzicetal_WIGSK08.pdf
--- a/binary_decision_trees/bdd.pdf
+++ b/binary_decision_trees/bdd.pdf
--- a/binary_decision_trees/bdd_bryant.ps
+++ b/binary_decision_trees/bdd_bryant.ps
--- a/binary_decision_trees/bdd_datalog.pdf
+++ b/binary_decision_trees/bdd_datalog.pdf
--- a/binary_decision_trees/bdd_ordering_heuristics_survey.pdf
+++ b/binary_decision_trees/bdd_ordering_heuristics_survey.pdf
--- a/binary_decision_trees/bdd_prolog.pdf
+++ b/binary_decision_trees/bdd_prolog.pdf
--- a/binary_decision_trees/bdd_variable_order.pdf
+++ b/binary_decision_trees/bdd_variable_order.pdf
--- a/binary_decision_trees/dynamic_var_order_bdd.pdf
+++ b/binary_decision_trees/dynamic_var_order_bdd.pdf
--- a/binary_decision_trees/efficient_bdd_package.pdf
+++ b/binary_decision_trees/efficient_bdd_package.pdf
--- a/binary_decision_trees/l13-Datalog-and-BDD.pdf
+++ b/binary_decision_trees/l13-Datalog-and-BDD.pdf
--- a/binary_decision_trees/tech01_zdd.pdf
+++ b/binary_decision_trees/tech01_zdd.pdf
--- a/constraint_handling_rules/02-Csorba-chr12.pdf
+++ b/constraint_handling_rules/02-Csorba-chr12.pdf
--- a/constraint_handling_rules/chr-stm.ps
+++ b/constraint_handling_rules/chr-stm.ps
--- a/constraint_handling_rules/chr2008.pdf
+++ b/constraint_handling_rules/chr2008.pdf
--- a/constraint_handling_rules/chr_analyses_optimizations.pdf
+++ b/constraint_handling_rules/chr_analyses_optimizations.pdf
--- a/constraint_handling_rules/chr_in_c.pdf
+++ b/constraint_handling_rules/chr_in_c.pdf
--- a/constraint_handling_rules/chr_join_calculus.pdf
+++ b/constraint_handling_rules/chr_join_calculus.pdf
--- a/constraint_handling_rules/chr_next.pdf
+++ b/constraint_handling_rules/chr_next.pdf
--- a/constraint_handling_rules/chr_theory.pdf
+++ b/constraint_handling_rules/chr_theory.pdf
--- a/constraint_handling_rules/chr_theory_practice.pdf
+++ b/constraint_handling_rules/chr_theory_practice.pdf
--- a/constraint_handling_rules/chr_to_java.pdf
+++ b/constraint_handling_rules/chr_to_java.pdf
--- a/constraint_handling_rules/compilation_chr.pdf
+++ b/constraint_handling_rules/compilation_chr.pdf
--- a/constraint_handling_rules/compiling_chr_to_java.pdf
+++ b/constraint_handling_rules/compiling_chr_to_java.pdf
--- a/constraint_handling_rules/dijkstra_chr.pdf
+++ b/constraint_handling_rules/dijkstra_chr.pdf
--- a/constraint_handling_rules/draft_chr_survey.pdf
+++ b/constraint_handling_rules/draft_chr_survey.pdf
--- a/constraint_handling_rules/ext_solvers_char.pdf
+++ b/constraint_handling_rules/ext_solvers_char.pdf
--- a/constraint_handling_rules/hmx-clpx.pdf
+++ b/constraint_handling_rules/hmx-clpx.pdf
--- a/constraint_handling_rules/impl_chr_imperative_langs.pdf
+++ b/constraint_handling_rules/impl_chr_imperative_langs.pdf
--- a/constraint_handling_rules/jfp06.pdf
+++ b/constraint_handling_rules/jfp06.pdf
--- a/constraint_handling_rules/thesis.pdf
+++ b/constraint_handling_rules/thesis.pdf
--- a/constraint_handling_rules/union-find.pdf
+++ b/constraint_handling_rules/union-find.pdf
--- a/constraint_logic_programming/02-Csorba-chr12.pdf
+++ b/constraint_logic_programming/02-Csorba-chr12.pdf
--- a/constraint_logic_programming/chr-stm.ps
+++ b/constraint_logic_programming/chr-stm.ps
--- a/constraint_logic_programming/chr2008.pdf
+++ b/constraint_logic_programming/chr2008.pdf
--- a/constraint_logic_programming/chr_analyses_optimizations.pdf
+++ b/constraint_logic_programming/chr_analyses_optimizations.pdf
--- a/constraint_logic_programming/chr_in_c.pdf
+++ b/constraint_logic_programming/chr_in_c.pdf
--- a/constraint_logic_programming/chr_join_calculus.pdf
+++ b/constraint_logic_programming/chr_join_calculus.pdf
--- a/constraint_logic_programming/chr_next.pdf
+++ b/constraint_logic_programming/chr_next.pdf
--- a/constraint_logic_programming/chr_theory.pdf
+++ b/constraint_logic_programming/chr_theory.pdf
--- a/constraint_logic_programming/chr_theory_practice.pdf
+++ b/constraint_logic_programming/chr_theory_practice.pdf
--- a/constraint_logic_programming/chr_to_java.pdf
+++ b/constraint_logic_programming/chr_to_java.pdf
--- a/constraint_logic_programming/compilation_chr.pdf
+++ b/constraint_logic_programming/compilation_chr.pdf
--- a/constraint_logic_programming/compiling_chr_to_java.pdf
+++ b/constraint_logic_programming/compiling_chr_to_java.pdf
--- a/constraint_logic_programming/dijkstra_chr.pdf
+++ b/constraint_logic_programming/dijkstra_chr.pdf
--- a/constraint_logic_programming/draft_chr_survey.pdf
+++ b/constraint_logic_programming/draft_chr_survey.pdf
--- a/constraint_logic_programming/ext_solvers_char.pdf
+++ b/constraint_logic_programming/ext_solvers_char.pdf
--- a/constraint_logic_programming/hmx-clpx.pdf
+++ b/constraint_logic_programming/hmx-clpx.pdf
--- a/constraint_logic_programming/impl_chr_imperative_langs.pdf
+++ b/constraint_logic_programming/impl_chr_imperative_langs.pdf
--- a/constraint_logic_programming/jfp06.pdf
+++ b/constraint_logic_programming/jfp06.pdf
--- a/constraint_logic_programming/thesis.pdf
+++ b/constraint_logic_programming/thesis.pdf
--- a/constraint_logic_programming/union-find.pdf
+++ b/constraint_logic_programming/union-find.pdf
--- a/continuations/abstracting_control.pdf
+++ b/continuations/abstracting_control.pdf
--- a/continuations/applications_of_continuations.pdf
+++ b/continuations/applications_of_continuations.pdf
--- a/continuations/cont_plt.pdf
+++ b/continuations/cont_plt.pdf
--- a/continuations/continuation_multiprocessing.ps
+++ b/continuations/continuation_multiprocessing.ps
--- a/continuations/continuations_concurrency.pdf
+++ b/continuations/continuations_concurrency.pdf
--- a/continuations/direct_impl_shift_reset.pdf
+++ b/continuations/direct_impl_shift_reset.pdf
--- a/continuations/recycling_conts.ps
+++ b/continuations/recycling_conts.ps
--- a/continuations/yield.subc.pdf
+++ b/continuations/yield.subc.pdf
--- a/datalog/Bloom/cidr11-bloom.pdf
+++ b/datalog/Bloom/cidr11-bloom.pdf
--- a/datalog/ChaudhuriKolaitis_DatalogApprox_JCSS1997.pdf
+++ b/datalog/ChaudhuriKolaitis_DatalogApprox_JCSS1997.pdf
--- a/datalog/FoundationsOfDatabases.pdf
+++ b/datalog/FoundationsOfDatabases.pdf
--- a/datalog/constructive_negation_under_well_founded_semantics.pdf
+++ b/datalog/constructive_negation_under_well_founded_semantics.pdf
--- a/datalog/datalog.pdf
+++ b/datalog/datalog.pdf
--- a/datalog/datalog_alice.pdf
+++ b/datalog/datalog_alice.pdf
--- a/datalog/datalog_apps.pdf
+++ b/datalog/datalog_apps.pdf
--- a/datalog/datalog_cplusplus.pdf
+++ b/datalog/datalog_cplusplus.pdf
--- a/datalog/datalog_cs345-1.key
+++ b/datalog/datalog_cs345-1.key
--- a/datalog/datalog_distributed.pdf
+++ b/datalog/datalog_distributed.pdf
--- a/datalog/datalog_gen.pdf
+++ b/datalog/datalog_gen.pdf
--- a/datalog/datalog_lite.ps
+++ b/datalog/datalog_lite.ps
--- a/datalog/datalog_logicblox.pdf
+++ b/datalog/datalog_logicblox.pdf
--- a/datalog/datalog_magic_vs_tabling.pdf
+++ b/datalog/datalog_magic_vs_tabling.pdf
--- a/datalog/datalog_monotonicity.pdf
+++ b/datalog/datalog_monotonicity.pdf
--- a/datalog/datalog_neg_slides.pdf
+++ b/datalog/datalog_neg_slides.pdf
--- a/datalog/datalog_network.pdf
+++ b/datalog/datalog_network.pdf
--- a/Show More
+++ b/Show More