FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112138229> ?p ?o ?g. }

• W2112138229 abstract "In this paper we give a type inference algorithm for a type system for a pi calculus. The effect type system with dependent types guarantees that well-typed processes respect an authenticity property expressed as correspondences. Given a process and a type context we generate constraints that are satisfiable if and only if the process can be made well-typed under the context. Unification is used to solve type constraints and a non-deterministic algorithm is used to solve effect constraints. Effects capture correspondences and effect solving is essentially correspondence matching. The output of the algorithm can be used to efficiently construct a proof of safety in the form of a derivation tree. Experiments with a Caml implementation have shown that the algorithm performs well in praxis." @default.
• W2112138229 created "2016-06-24" @default.
• W2112138229 creator A5040267849 @default.
• W2112138229 date "2008-01-01" @default.
• W2112138229 modified "2023-09-24" @default.
• W2112138229 title "Security Made Easy - Proving Security using Type Inference" @default.
• W2112138229 cites W1538878344 @default.
• W2112138229 cites W1542335382 @default.
• W2112138229 cites W1549245411 @default.
• W2112138229 cites W1553136405 @default.
• W2112138229 cites W1557561422 @default.
• W2112138229 cites W1566496315 @default.
• W2112138229 cites W1569589535 @default.
• W2112138229 cites W1603799276 @default.
• W2112138229 cites W1973054120 @default.
• W2112138229 cites W1991354622 @default.
• W2112138229 cites W1994676271 @default.
• W2112138229 cites W1995469872 @default.
• W2112138229 cites W2002622794 @default.
• W2112138229 cites W2005192022 @default.
• W2112138229 cites W2010939995 @default.
• W2112138229 cites W2011317854 @default.
• W2112138229 cites W2029693536 @default.
• W2112138229 cites W2046137117 @default.
• W2112138229 cites W2098830096 @default.
• W2112138229 cites W2099361263 @default.
• W2112138229 cites W2104130981 @default.
• W2112138229 cites W2118002698 @default.
• W2112138229 cites W2118042780 @default.
• W2112138229 cites W2121298157 @default.
• W2112138229 cites W2127035198 @default.
• W2112138229 cites W2129133667 @default.
• W2112138229 cites W2146973388 @default.
• W2112138229 cites W2156312287 @default.
• W2112138229 cites W2160263906 @default.
• W2112138229 cites W2161706819 @default.
• W2112138229 cites W2169908972 @default.
• W2112138229 cites W2174624365 @default.
• W2112138229 cites W2294680933 @default.
• W2112138229 cites W2494893791 @default.
• W2112138229 cites W2657786107 @default.
• W2112138229 cites W2523820186 @default.
• W2112138229 hasPublicationYear "2008" @default.
• W2112138229 type Work @default.
• W2112138229 sameAs 2112138229 @default.
• W2112138229 citedByCount "0" @default.
• W2112138229 crossrefType "journal-article" @default.
• W2112138229 hasAuthorship W2112138229A5040267849 @default.
• W2112138229 hasConcept C105795698 @default.
• W2112138229 hasConcept C111472728 @default.
• W2112138229 hasConcept C11413529 @default.
• W2112138229 hasConcept C118615104 @default.
• W2112138229 hasConcept C138885662 @default.
• W2112138229 hasConcept C151730666 @default.
• W2112138229 hasConcept C154945302 @default.
• W2112138229 hasConcept C156772000 @default.
• W2112138229 hasConcept C165064840 @default.
• W2112138229 hasConcept C18903297 @default.
• W2112138229 hasConcept C189950617 @default.
• W2112138229 hasConcept C198370458 @default.
• W2112138229 hasConcept C199360897 @default.
• W2112138229 hasConcept C20528804 @default.
• W2112138229 hasConcept C2776214188 @default.
• W2112138229 hasConcept C2777299769 @default.
• W2112138229 hasConcept C2779343474 @default.
• W2112138229 hasConcept C2780801425 @default.
• W2112138229 hasConcept C33923547 @default.
• W2112138229 hasConcept C33959348 @default.
• W2112138229 hasConcept C41008148 @default.
• W2112138229 hasConcept C62073222 @default.
• W2112138229 hasConcept C80444323 @default.
• W2112138229 hasConcept C86803240 @default.
• W2112138229 hasConcept C96146094 @default.
• W2112138229 hasConcept C98045186 @default.
• W2112138229 hasConceptScore W2112138229C105795698 @default.
• W2112138229 hasConceptScore W2112138229C111472728 @default.
• W2112138229 hasConceptScore W2112138229C11413529 @default.
• W2112138229 hasConceptScore W2112138229C118615104 @default.
• W2112138229 hasConceptScore W2112138229C138885662 @default.
• W2112138229 hasConceptScore W2112138229C151730666 @default.
• W2112138229 hasConceptScore W2112138229C154945302 @default.
• W2112138229 hasConceptScore W2112138229C156772000 @default.
• W2112138229 hasConceptScore W2112138229C165064840 @default.
• W2112138229 hasConceptScore W2112138229C18903297 @default.
• W2112138229 hasConceptScore W2112138229C189950617 @default.
• W2112138229 hasConceptScore W2112138229C198370458 @default.
• W2112138229 hasConceptScore W2112138229C199360897 @default.
• W2112138229 hasConceptScore W2112138229C20528804 @default.
• W2112138229 hasConceptScore W2112138229C2776214188 @default.
• W2112138229 hasConceptScore W2112138229C2777299769 @default.
• W2112138229 hasConceptScore W2112138229C2779343474 @default.
• W2112138229 hasConceptScore W2112138229C2780801425 @default.
• W2112138229 hasConceptScore W2112138229C33923547 @default.
• W2112138229 hasConceptScore W2112138229C33959348 @default.
• W2112138229 hasConceptScore W2112138229C41008148 @default.
• W2112138229 hasConceptScore W2112138229C62073222 @default.
• W2112138229 hasConceptScore W2112138229C80444323 @default.
• W2112138229 hasConceptScore W2112138229C86803240 @default.
• W2112138229 hasConceptScore W2112138229C96146094 @default.
• W2112138229 hasConceptScore W2112138229C98045186 @default.

• next