scientific article; zbMATH DE number 1332637

zbMath0924.68046MaRDI QIDQ4259964

Neil D. Jones, Mads Rosendahl

Publication date: 8 September 1999

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-02/A97-02.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

minimal function graph semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Flow analysis of lazy higher-order functional programs

This page was built for publication: