This file contains the description of the program files which were used for the computations of of Abraham-Pavoni:
Efficient Allocations with Moral Hazard and Hidden Borrowing and Lending: A Recursive Formulation

Below, we list the programes which were used to compute the different stages of our computational procedure.
The main programs are written in Fortran 90 and have extension .f90. The programs which we used to process the raw data 
to create our figures and tables in the paper are written Matlab and have extension .m.
We list our programs according to the three examples which are used to explore the properties of the ex post verification procedure
(see Section 4.4 of the paper).

Example 1 (section 4.4.1)

example1_domain.f90 computes the domain restriction as explained in section 4.1. 
example1_value.f90 computes the value function as explained in section 4.2.
example1_expost.f90 implements the ex post verification procedure as explained in section 4.3.
ex1_datgen.m creates the deviation measures we use for Table 2 and Figures 1 and 2 in the paper.  

Example 2 (section 4.4.2)

example2_value.f90 computes the value function as explained in section 4.2.
example2_expost.f90 implements the ex post verification procedure as explained in section 4.3.
ex2_datgen.m creates the deviation measures we use for Table 2 in the paper.  


Example 3 (section 4.4.3)

example3_domain.f90 computes the domain restriction as explained in section 4.1. 
example3_value.f90 computes the value function as explained in section 4.2.
example3_expost.f90 implements the ex post verification procedure as explained in section 4.3.
ex3_datgen.m creates the deviation measures we use for Table 2 and Figures 1 and 2 in the paper.