| 
|
Quote: create a abstract program or program schema by removing data typing and function definition
topics >
all references >
references e-f >
Group:
program proving
Topic:
transformation of programs
Quotation Skeleton
if we view all input variables, program variables, … respectively) and if we replace all functions and … a program schema (abstract program) Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: transformation of programs (27 items)