Skip to content

Engineering topics

Landin, Kirk

Publications and source records attributed to Landin, Kirk.

3 records

All sources NASA NTRS DOE OSTI

DOE OSTI2022

Enabling Taint Analysis of Proprietary Packaged Programs.

Abstract not provided.

Augusto, Elias↗

DOE OSTI2022

Functional First: Engineering a Research Code in the OCaml Language.

Abstract not provided.

Landin, Kirk↗

DOE OSTI2021

Toward a Science of Abstraction Design in Software.

Abstract not provided.

Landin, Kirk↗