An Introduction to the PL/CV2 Programming Logic

1982 ◽  
Author(s):  
R. L. Constable ◽  
S. D. Johnson ◽  
C. D. Eichenlaub
Keyword(s):  
Programming Logic

scholarly journals Resolution methods in proving the program correctness

2007 ◽  
Vol 17 (2) ◽  
pp. 275-285
Author(s):  
Branko Markoski ◽  
Petar Hotomski ◽  
Dusan Malbaski ◽  
Danilo Obradovic
Keyword(s):  
Formal Theory ◽  
Basic Information ◽  
Pascal Program ◽  
Program Correctness ◽  
Program Testing ◽  
Final Failure ◽  
Programming Logic

Program testing determines whether its behavior matches the specification, and also how it behaves in different exploitation conditions. Proving of program correctness is reduced to finding a proof for assertion that given sequence of formulas represents derivation within a formal theory of special predicted calculus. A well-known variant of this conception is described: correctness based on programming logic rules. It is shown that programming logic rules may be used in automatic resolution procedure. Illustrative examples are given, realized in prolog-like LP-language (with no restrictions to Horn's clauses and without the final failure). Basic information on LP-language are also given. It has been shown how a Pascal-program is being executed in LP-system proffer.

BLOCKY CODING – INTERACTIVE TEACHING OF PROGRAMMING LOGIC FOR CHILDREN

2019 ◽  
Author(s):  
Veronica Isabela Quandt ◽  
João Lucas Bontorin Savazzi ◽  
Gabriel Parizotto Ecard ◽  
Caroline Mazetto Mendes
Keyword(s):  
Interactive Teaching ◽  
Programming Logic

scholarly journals A programming logic

1982 ◽  
Vol 8 (2) ◽  
pp. 165-166
Author(s):  
John Thomas Love
Keyword(s):  
Programming Logic

A programming logic

1980 ◽  
Vol 5 (1) ◽  
pp. 59
Keyword(s):  
Programming Logic
Sign in / Sign up

Export Citation Format

Share Document