Program refinement Forum

Forum Jar : Program refinement Forum

Welcome to Program refinement Forum

Thank you for using Forum Jar. Due to a growing number of inappropriate messages on our forums, it has gotten to the point where we are unable to moderate our website properly. For that reason, Forum Jar will be closed indefinitely until we find a better way to moderate our forums. If you want to meet new people online, please visit our dating site at 111dating.com.

Other Forums
• Formal methods Forum
• Formal verification Forum
• Formal specification Forum
• Executable program Forum
• Stepwise refinement Forum
• Implication Forum
• Set (mathematics) Forum
• Data structures Forum
• Array data structure Forum
• Specification Forum
• Computer program Forum
• Procedure (computer science) Forum
• Postcondition Forum
• Precondition Forum
• Nondeterministic algorithm Forum
• Deterministic Forum
• Variable (programming) Forum
• Element (mathematics) Forum
• Empty set Forum
• Reification (computer science) Forum
• Cliff Jones (computer scientist) Forum
• Retrenchment (computing) Forum
• Abstraction (computer science) Forum
• Refinement calculus Forum
• FermaT Transformation System Forum