GitHub - iiithf/software-foundations: Software Foundations is a broad introduction to the mathematical underpinnings of reliable software.

Software Foundations is a broad introduction to the mathematical underpinnings of reliable software.

Course: Software Foundations, Spring 2020
Taught by: Prof. Venkatesh Chopella

See Coq for Coq proofs assignment, merge-sort for multi-stage transition system design assignment, and balanced-sliding-window for transition system project.

Similar courses:

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
Assignments/Coq		Assignments/Coq
Lectures		Lectures
Project		Project
.gitignore		.gitignore
00. Course Topics.pdf		00. Course Topics.pdf
01. Transition System.pdf		01. Transition System.pdf
02. Factorial.pdf		02. Factorial.pdf
03. Bubble Sort.pdf		03. Bubble Sort.pdf
04. Nth Fibonacci.pdf		04. Nth Fibonacci.pdf
05. Functional Programming in Coq.pdf		05. Functional Programming in Coq.pdf
06. Type Safety of IFAD.pdf		06. Type Safety of IFAD.pdf
07. Spanning and Disjointness Lemma.pdf		07. Spanning and Disjointness Lemma.pdf
08. Proof of Preservation.pdf		08. Proof of Preservation.pdf
09. Proof of Disjointedness.pdf		09. Proof of Disjointedness.pdf
10. Proof of Spanning.pdf		10. Proof of Spanning.pdf
11. Proof of Partitioning.pdf		11. Proof of Partitioning.pdf
12. Destiny Theorm.pdf		12. Destiny Theorm.pdf
13. Type Checking.pdf		13. Type Checking.pdf
14. Type Preservation and Progress.pdf		14. Type Preservation and Progress.pdf
15. Type Safety in Programming Languages.pdf		15. Type Safety in Programming Languages.pdf
16. What is a Type.pdf		16. What is a Type.pdf
17. Type Safety.pdf		17. Type Safety.pdf
18. Type Checking and Inference.pdf		18. Type Checking and Inference.pdf
19. Type Unification.pdf		19. Type Unification.pdf
20. Type Inference Algorithm.pdf		20. Type Inference Algorithm.pdf
21. Polymorphic Types.pdf		21. Polymorphic Types.pdf
22. Recognizing Type Errors.pdf		22. Recognizing Type Errors.pdf
23. Pattern Matching.pdf		23. Pattern Matching.pdf
24. Recursion.pdf		24. Recursion.pdf
25. Most General Type.pdf		25. Most General Type.pdf
26. Polymorphism vs Overloading.pdf		26. Polymorphism vs Overloading.pdf
27. Overview.pdf		27. Overview.pdf
99. End.pdf		99. End.pdf
LICENSE		LICENSE
README.md		README.md

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

About

Languages

License

iiithf/software-foundations

Folders and files

Latest commit

History

Repository files navigation

About

Topics

Resources

License

Stars

Watchers

Forks

Languages