Secure distributed programming with value-dependent types (Q5398328): Difference between revisions

From MaRDI portal
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Latest revision as of 20:21, 5 March 2024

scientific article; zbMATH DE number 6262155
Language Label Description Also known as
English
Secure distributed programming with value-dependent types
scientific article; zbMATH DE number 6262155

    Statements

    Secure distributed programming with value-dependent types (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    27 February 2014
    0 references
    functional languages
    0 references
    F*
    0 references
    distributed programming
    0 references
    recursion
    0 references
    type soundness
    0 references
    Coq
    0 references
    F7
    0 references
    Fine
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references