www.e-pig.org

This is the homepage of the Epigram project. Epigram is a dependently typed programming language and an interactive programming environment. Epigram has got a type system which is strong enough to express the behaviour of programs, the type checker then guarantees that the program is well behaved. However, you don't have to go as far, you can write ordinary programs and refactor them into more trustworthy, formally checked deliverables -- Epigram supports a pay as you go approach to formal methods.

Epigram is freely available this page provides access to downloads of version 1 as source or binaries for the major platforms along with relevant documentation.

Development on version 2 is under way we hope this will considerably improve on the first, and details of its current state are available, in the form of a developers' blog.

Testmatick offers a wide range of software testing services for web applications, desktop applications and mobile platform applications.
We gratefully accept feedback and encourage discussion at epigramATdurhamDOTacDOTuk (send 'subscribe epigram' to Durham's majordomo). The documentation below contains a number of helpful hints if you are stuck with the system The Most Profitable Offer to Buy Cheap Essays is Here

Epigram Recommends

Efficient Web Server Management with Plesk control panel

Links

We gratefully acknowledge support from EPSRC via grant Observational Equality For Dependently Typed Programming and from the EU Framework 6 via the European TYPES Coordination Action. Previously, work on Epigram has been supported by EPSRC grant Innovative Programming via Inductive Families and by previous EU projects on TYPES.

Do you want a Homework Writing Service that can get you an "A" grade?