scientific article; zbMATH DE number 1617290

zbMATH Open0966.68515MaRDI QIDQ2722014FDOQ2722014

Authors: Natarajan Shankar, Sam Owre 

Publication date: 11 July 2001

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

Recommendations

• scientific article; zbMATH DE number 1156716
• scientific article; zbMATH DE number 1863390
• scientific article; zbMATH DE number 1301735
• Subtyping dependent types
• scientific article; zbMATH DE number 1512607

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (12)

• Pragmatic subtyping in polymorphic languages
• A mechanical verification of the stressing algorithm for negative cost cycle detection in networks
• Title not available (Why is that?)
• PVS embedding of cCSP semantic models and their relationship
• PVS
• A framework for type inference with subtyping
• Invariants for the FoCaL language
• Interactive tool support for CSP \(\parallel\) B consistency checking
• The mechanical verification of a DPLL-based satisfiability solver
• A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance
• Title not available (Why is that?)
• Fixpoints and search in PVS

Uses Software

• Coq
• CASL
• ETPS

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