The following pages link to Predicative methodology (Q1080649):
Displaying 11 items.
- Verification conditions are code (Q855274) (← links)
- Termination conventions and comparative semantics (Q1094864) (← links)
- Quasi-boolean equivalence (Q2366071) (← links)
- Simulating Turing machines on Maurer machines (Q2480963) (← links)
- From predicates to programs: the semantics of a method language (Q2870332) (← links)
- (Q3028322) (← links)
- Programs are predicates (Q3347251) (← links)
- Implementing ALGOL 68 predicates (Q3694660) (← links)
- Predicate invention and utilization (Q4290133) (← links)
- Maurer computers for pipelined instruction processing (Q5458071) (← links)
- PREDICATIVISM AS A FORM OF POTENTIALISM (Q5880421) (← links)