scientific article; zbMATH DE number 1953277

zbMATH Open1026.68026MaRDI QIDQ4414729FDOQ4414729

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

Title of this publication is not available (Why is that?)

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

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)

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)