scientific article; zbMATH DE number 4178742

zbMATH Open0715.68008MaRDI QIDQ3201743FDOQ3201743

Authors: Gary Lindstrom 

Publication date: 1989

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

Recommendations

• Static analysis for logic-based dynamic programs
• scientific article; zbMATH DE number 512893
• Logical Interpretation: Static Program Analysis Using Theorem Proving
• Logic Programming
• scientific article; zbMATH DE number 512959
• Control-flow analysis of functional programs
• Static analysis of logic programs for independent and parallelism
• scientific article; zbMATH DE number 1696605

zbMATH Keywords

functional programmingfunctional programming languagescombinator reduction

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15)

Cited In (4)

• Title not available (Why is that?)
• A logical analysis of aliasing in imperative higher-order functions
• A logical analysis of aliasing in imperative higher-order functions
• Shapeliness analysis of functional programs with algebraic data types

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 Q3201743)