Documenting software systems using types

DOI10.1016/J.SCICO.2005.10.006MaRDI QIDQ2492956zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Leon Moonen, Arie van Deursen

Publication date 9 June 2006

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.10.006

zbMATH Keywords

documentation generationhypertextprogram analysisprogram understandingsoftware explorationsoftware maintenancetype inferencevariable usage

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Software artifacts extraction for program comprehension
• scientific article; zbMATH DE number 907669
• Literate Programming
• scientific article; zbMATH DE number 3978451

Cited in

(4)

• A Type System for Usage of Software Components
• TypeExplorer
• Software artifacts extraction for program comprehension
• Tools and Algorithms for the Construction and Analysis of Systems

Describes a project that uses

Uses Software

• Lackwit
• COBOL

This page was built for publication: Documenting software systems using types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2492956)