[en] TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC

TEXTO

[pt] TÉCNICAS PARA O USO DO CÁLCULO DE HOARE EM PCC

Registro en:

https://hdl.handle.net/20.500.12032/42505

https://repositorioslatinoamericanos.uchile.cl/handle/2250/6152540

Autor

JULIANA CARPES IMPERIAL

Institución

Universidades Confiadas a la Compañía de Jesús en América Latina (Venezuela)

Materias

[pt] PROOF-CARRYING CODE

[pt] PROVA DE TEOREMAS

[pt] INVARIANTES DE LOOPS

[pt] LOGICA DE PRIMEIRA ORDEM

[pt] CORRECAO DE PROGRAMAS

[pt] CALCULO DE HOARE

[en] PROOF-CARRYING CODE

[en] THEOREM PROVING

[en] LOOPS INVARIANTS

[en] FIRST ORDER LOGIC

[en] PROGRAM VERIFICATION

[en] HOARE LOGIC

Mostrar el registro completo del ítem