predicate programming

V. Shelekhov Comparison of automata-based engineering method and Event-B modeling method // System Informatics. — . — # 18.  — P. 53-84
V. Shelekhov Lists and strings in predicate programming // System Informatics. — . — # 3.  — P. 25-43
V. Kasyanov E. Kasyanova Methods and technologies for constructing efficient and reliable programs and software systems based on graph models and semantic transformations // System Informatics. — . — # 19.  — P. 1-14
V. Shelekhov Transformation and verification of the OS program sorting devices in a computer bus // System Informatics. — . — # 18.  — P. 1-34
E. Tumurov V. Shelekhov Transformation, specification, and verification of the program calculating the elements number of a set presented by a bit vector // System Informatics. — . — # 16.  — P. 103-136
A. Zubarev Type analysis for the predicate programming language // System Informatics. — . — # 9.  — P. 1-22
V. Shelekhov Verification of a predicate heapsort program using inverse transformations // System Informatics. — . — # 16.  — P. 75-102
V. Shelekhov Verification of a string to integer conversion program // System Informatics. — . — # 17.  — P. 43-90
Subscribe to predicate programming