Ticket #55 (new proposed-project)

Opened 7 years ago

Last modified 7 years ago

Improvements to the INBlobs tool developed at U. Minho

Reported by: jsp@… Owned by: none
Priority: Keywords: Interaction Net interpreter
Cc: Topic: Graphics
Difficulty: 1 person Summer Mentor: not-accepted

Description (last modified by paolo) (diff)

We propose the following improvements to the  INblobs tool developed at U. Minho:

- To fix graphical portability problems of  INblobs. This implies a few tricks with  wxHaskell and the wx toolkit.

- Adding new features to the tool, namely:

  • Archetypes
  • Better layout after application of reduction
  • Automatic align of nodes
  • A macro feature
  • A graphical editor for symbols (agents shapes)
  • Better verification of Interaction Net systems

Interested Mentors

  • Jorge Sousa Pinto <jsp@…>

Interested Students

  • ?

Change History

Changed 7 years ago by paolo

  • description modified (diff)

Changed 7 years ago by paolo

  • summary changed from We propose improvements to the INBlobs tool developed at U. Minho to Improvements to the INBlobs tool developed at U. Minho
Note: See TracTickets for help on using tickets.