Observational equivalence and compiler correctness

von Silva, Fabio Q. B. da
Veröffentlicht 1992

Correctness proofs of compilers and debuggers : an overview of an approach based on structural operational semantics

von Silva, Fabio Q. B. da
Veröffentlicht 1992

The Role of Job Specialization in the Software Industry

von Magalhães, Cleyton V. C.
Veröffentlicht in ICITS (2022 : San Carlos, Costa Rica) Information technology and systems (2022)

Using Local Refinements on 360 Stitching from Dual-fisheye Cameras

von Roberto, Rafael
Veröffentlicht in VISAPP (15. : 2020 : Valletta) VISIGRAPP 2020 ; Volume 5 (2020)