Welcome to the wiki page of PaRTE-CEFP!

The ParaPhrase? Refactoring Tool for Erlang (​PaRTE) integrates parallel pattern discovery, candidate prioritization and semi-automated refactoring for shaping Erlang code and introducing algorithmic skeletons provided the ​skel library.

Download links

• Lecture slides: ​http://paraphrase-enlarged.elte.hu/downloads/lecture.pdf
• Lab slides: ​http://paraphrase-enlarged.elte.hu/downloads/labs.pdf
• Lab examples (matrix): ​http://paraphrase-enlarged.elte.hu/downloads/matrix.zip
• Lab examples (MAS): ​http://paraphrase-enlarged.elte.hu/downloads/mas.zip
• Download the source: ​http://paraphrase-enlarged.elte.hu/downloads/parte_cefp.zip
• Download the CEFP VM: https://plc.inf.elte.hu/erlang/dl/virtualbox_image.tar
• Download the CEFP VM (PaRTE installed): https://plc.inf.elte.hu/erlang/dl/virtualbox_image_parte.tar
• Demo video: ​http://paraphrase-enlarged.elte.hu/downloads/parte_demo_cefp.avi

Installation

• Download the source: ​http://paraphrase-enlarged.elte.hu/downloads/parte_cefp.zip
• Unzip it and from the root directory of the tool type:

  ./install_parte -build parte
  

• Edit your .emacs file based on the instructions provided by the install script

Usage

• Start a RefactorErl? node:

  cd referl/tool
  bin/referl -db nif
  

• Use the RefactorErl? shell to build the database:

ri:add("path_to_my_file/my_file.erl").

• Use the RefactorErl? shell interface of PaRTE:

refpp_api:run().
refpp_api:run([{modules, [matrix]}, {cand_types, [farm, pipe]}, {chains, false}]).
refpp_api:find().

• Start your Emacs and use the PaRTE menu:

  M-x erlang-parte-on
  M-x refactorerl-mode on