The Programming and Proof System ATES: Advanced Techniques Integration Into Efficient Scientific SoftwareArmand Puccetti |
Other editions - View all
The Programming and Proof System ATES: Advanced Techniques Integration into ... Armand Puccetti No preview available - 1991 |
Common terms and phrases
abstract abstract data types Ada semantic algorithm allocated application array assertion axiom chapters Bool boolean BOX.NUMBER cartesian product command computation const construction context data-type declaration defined definition Delaunay triangulation dim(b dimension dimension_1 domain equations example execution expression finite element finite element method formal specification formula FORTRAN functions goal GRAMMAR Hoare logic identifier implementation index_1 input integer inv_S invariant lambda logical loop LOTOS m_simple_expr mathematical mathematical_expr matrix mesh method module node_vector nodes operand operator chapter pcur post-condition Pre-cond pre-condition problem programming language proof chapter proof system properties prove Qps3 refinement rq_cnt rq_get rq_put Scnt semantic tree set_definition simplification skip solved statement status(construct strategy structure subgoal syntax tactic TASK_MBX temperature theorem prover token token_file transition triangle University of Liège vector