Home
Surveys
Transformation
Reengineering
DSL
Domain Engineering
Decompilation
Generative Progr.
Collections
Categories
Systems
Conferences
People
Companies
Papers
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
Rev 1
Total History
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Spec Ware
Program-Transformation.Org: The Program Transformation Wiki
SpecWare
is a
ProgramSynthesis
system based on
CategoryTheory
.
Homepage:
http://www.kestrel.edu/HTML/prototypes/specware.html
