Implications of the view of programs as formal systems

DOI10.1007/3-540-44872-1_11MaRDI QIDQ4426906zbMATH OpenFDO

Authors Bertil Ekdahl

Publication date 18 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2641/26410100.htm

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99)

Recommendations

• The intentionality of formal systems
• Computer programming and formal systems
• scientific article; zbMATH DE number 4058910
• A formal model of programs
• scientific article; zbMATH DE number 4045228
• On formal specification of software components and systems
• L-systems: From formalism to programming languages
• scientific article; zbMATH DE number 4033047

Cited in

(2)

• Descriptions in software development
• On the meaning of computer programs

This page was built for publication: Implications of the view of programs as formal systems

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