scientific article; zbMATH DE number 1341616

zbMath0940.68021MaRDI QIDQ4263165

Frédéric Prost

Publication date: 9 July 2000

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

zbMATH Keywords

static analysisprogram analysisfunctional programmingtypingSystem \(F\)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

Uses Software

• Unnamed Item

This page was built for publication: