Opened 12 years ago

Last modified 12 years ago

#55 new proposed-project

Improvements to the INBlobs tool developed at U. Minho

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

Description (last modified by paolo)

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 (2)

comment:1 Changed 12 years ago by paolo

Description: modified (diff)

comment:2 Changed 12 years ago by paolo

Summary: We propose improvements to the INBlobs tool developed at U. MinhoImprovements to the INBlobs tool developed at U. Minho
Note: See TracTickets for help on using tickets.