Differences

This shows you the differences between two versions of the page.

Link to this comparison view

research:software:gradualtalk:cgt [2014/05/25 21:15] – created eallenderesearch:software:gradualtalk:cgt [2014/05/25 21:17] (current) – eallende
Line 1: Line 1:
-====== Gradual Gradual Typing: Benchmarks ======+====== Confined Gradual Typing: Benchmarks ======
  
-The benchmarks used in the paper "Gradual Gradual Typing" can be downloaded here:+The benchmarks used in the paper "Confined Gradual Typing" can be downloaded here:
 {{research:software:gradualtalk:ggt-benchmarks.zip|OOPSLA paper benchmark suite}}. {{research:software:gradualtalk:ggt-benchmarks.zip|OOPSLA paper benchmark suite}}.
-This file also include example images for SGGT and RGGT.+This file also include example images for SCGT and RCGT.
  
  
Line 14: Line 14:
  
 This image includes: This image includes:
-  * examples of SGGT and RGGT+  * examples of SCGT and RCGT
   * the micro and macro benchmarks   * the micro and macro benchmarks
  
Line 22: Line 22:
  
 ===== Examples =====  ===== Examples ===== 
-The example images of SGGT and RGGT are located in the example folder.+The example images of SCGT and RCGT are located in the example folder.
  
-To run the SGGT image, execute:+To run the SCGT image, execute:
  
   Win:   .\sggt.bat   Win:   .\sggt.bat
   Linux: ./sggt.sh   Linux: ./sggt.sh
  
-To run the RGGT image, execute:+To run the RCGT image, execute:
  
   Win:   .\rggt.bat   Win:   .\rggt.bat