/[eiffelstudio]
ViewVC logotype

Revision 88244


Jump to revision: Previous Next
Author: bmeyer
Date: Tue Jan 31 21:49:31 2012 UTC (7 years, 7 months ago)
Changed paths: 44
Log Message:
Integrating the alias calculus implementation
See http://se.ethz.ch/~meyer/publications/aliasing/alias-revised.pdf
This will be defined as version 1.0.


Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/alias_calculus/ added
Directorybranches/eth/eve/Src/framework/alias_calculus/BK.TXT added
Directorybranches/eth/eve/Src/framework/alias_calculus/alias_calculus.ecf added
Directorybranches/eth/eve/Src/framework/alias_calculus/alias_calculus.rc added
Directorybranches/eth/eve/Src/framework/alias_calculus/alias_relation.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/aliases_canonical.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/aliases_sorted.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/aliasing_constants.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/application.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/application_constants.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/application_with_printout.BK added
Directorybranches/eth/eve/Src/framework/alias_calculus/assignment.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/builder.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/call.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/call_qualified.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/call_unqualified.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/compound.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/conditional.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/construct.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/control.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/creator.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/current_expression.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/cut.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/example_programs.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/exception_trace.log added
Directorybranches/eth/eve/Src/framework/alias_calculus/expression.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/forget.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/instruction.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/iter.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/loop1.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/multidot.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/printout.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/procedure1.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/program.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/repetition.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/results.txt added
Directorybranches/eth/eve/Src/framework/alias_calculus/shared_objects.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/simple.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/simple_assignment.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/simple_expression.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/simple_variable.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/sizing.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/sortable_expression_list.e added
Directorybranches/eth/eve/Src/framework/alias_calculus/variable.e added

  ViewVC Help
Powered by ViewVC 1.1.23