scientific article; zbMATH DE number 1341616

zbMATH Open0940.68021MaRDI QIDQ4263165FDOQ4263165

Authors: Frédéric Prost 

Publication date: 9 July 2000

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

Recommendations

• System F in Agda, for fun and profit
• A semantics for static type inference
• An extension of system \(F\) with subtyping
• Simple relational correctness proofs for static analyses and program transformations
• The system \({\mathcal F}\) of variable types, fifteen years later

zbMATH Keywords

functional programmingstatic analysisprogram analysistypingSystem \(F\)

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Rewriting Approximations for Fast Prototyping of Static Analyzers
• Correctness of static flow analysis in continuation semantics
• Language-oriented formal analysis: a case study on protocols and distributed systems

Uses Software

• Coq

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