scientific article; zbMATH DE number 1953277

MaRDI QIDQ4414729zbMATH OpenFDO

Authors John Hannan

Publication date 27 July 2003

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• On extracting static semantics
• A semantics for static type inference
• On collecting semantics for program analysis
• scientific article; zbMATH DE number 3860370
• Program Extraction in Constructive Analysis
• Static semantics, types, and binding time analysis
• Publication:4728223
• A semantics for static type inference in a nondeterministic language
• scientific article; zbMATH DE number 4052983
• Static analysis, abstract interpretation and verification in (constraint logic) programming

Cited in

(2)

• On extracting static semantics
• On collecting semantics for program analysis

This page was built for publication:

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