A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is
2010 18th Iranian Conference on Electrical Engineering
Probabilistic techniques in computer programs are becoming more and more widely used. Therefore, there is a big interest in the formal specification, verification, and development of probabilistic programs. On the other hand, Martin-Löf's theory of types is an appropriate notation for formal program development since it allows us to express both specifications and programs within the same formalism. Furthermore, the proof rules of this theory can be used to derive a correct program from adoi:10.1109/iraniancee.2010.5507014 fatcat:smc2gf7fjzf2fpjicrjgbi42la