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. |
||