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

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

dc.creatorJULIANA CARPES IMPERIAL
dc.date.accessioned2022-09-21T21:42:15Z
dc.date.accessioned2023-03-13T19:21:30Z
dc.date.available2022-09-21T21:42:15Z
dc.date.available2023-03-13T19:21:30Z
dc.date.created2022-09-21T21:42:15Z
dc.identifierhttps://hdl.handle.net/20.500.12032/42505
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/6152540
dc.publisherMAXWELL
dc.subject[pt] SEGURANCA
dc.subject[pt] PROOF-CARRYING CODE
dc.subject[pt] PROVA DE TEOREMAS
dc.subject[pt] INVARIANTES DE LOOPS
dc.subject[pt] LOGICA DE PRIMEIRA ORDEM
dc.subject[pt] CORRECAO DE PROGRAMAS
dc.subject[pt] CALCULO DE HOARE
dc.subject[en] SECURITY
dc.subject[en] PROOF-CARRYING CODE
dc.subject[en] THEOREM PROVING
dc.subject[en] LOOPS INVARIANTS
dc.subject[en] FIRST ORDER LOGIC
dc.subject[en] PROGRAM VERIFICATION
dc.subject[en] HOARE LOGIC
dc.title[en] TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC
dc.title[pt] TÉCNICAS PARA O USO DO CÁLCULO DE HOARE EM PCC
dc.typeTEXTO


Este ítem pertenece a la siguiente institución