Thesis Topic Details

Topic ID:
3087
Title:
Isabelle Hackage
Supervisor:
Gerwin Klein
Research Area:
Databases, Web Applications, Formal Methods
Associated Staff
Assessor:
Manuel Chakravarty
Topic Details
Status:
Active
Type:
R & D
Programs:
CE BIOM BINF SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
Haskell and database knowledge
Description:
Hackage [http://hackage.haskell.org/] is a widely used system for presenting, installing, and searching user-contributed packages in the programming language Haskell. Hackage has contributed tremendously to the growth and success of the Haskell community.

The formal proof community around the theorem prover Isabelle is starting to grow and there is demand for upgrading the current web and file based system in the Archive of Formal Proofs [http://afp.sf.net/] to something more scalable and easier to use.

The aim of this topic is to provide a hackage-like infrastructure such that it is usable for the Archive of Formal Proofs. This involves defining the package and database structure, providing a web interface for searching and presentation and a command line tool for installing a package with dependencies.
Comments:
--
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.