Matches in SemOpenAlex for { <https://semopenalex.org/work/W2131963129> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2131963129 abstract "This paper introduces a proposal for a Proof Carrying Code (PCC) architecture called Lissom. Started as a challenge for final year Computing students, Lissom was thought as a mean to prove to a sceptic community, and in particular to students, that formal verification tools can be put to practice in a realistic environment, and be used to solve complex and concrete problems. The attractiveness of the problems that PCC addresses has already brought students to show interest in this project." @default.
- W2131963129 created "2016-06-24" @default.
- W2131963129 creator A5023613177 @default.
- W2131963129 creator A5024828202 @default.
- W2131963129 creator A5056967331 @default.
- W2131963129 creator A5064382108 @default.
- W2131963129 date "2006-01-01" @default.
- W2131963129 modified "2023-09-26" @default.
- W2131963129 title "Lissom, a source level proof carrying code platform" @default.
- W2131963129 cites W1964830323 @default.
- W2131963129 cites W2110980218 @default.
- W2131963129 cites W2142949137 @default.
- W2131963129 cites W2205368557 @default.
- W2131963129 cites W1503362450 @default.
- W2131963129 cites W2583967285 @default.
- W2131963129 hasPublicationYear "2006" @default.
- W2131963129 type Work @default.
- W2131963129 sameAs 2131963129 @default.
- W2131963129 citedByCount "0" @default.
- W2131963129 crossrefType "posted-content" @default.
- W2131963129 hasAuthorship W2131963129A5023613177 @default.
- W2131963129 hasAuthorship W2131963129A5024828202 @default.
- W2131963129 hasAuthorship W2131963129A5056967331 @default.
- W2131963129 hasAuthorship W2131963129A5064382108 @default.
- W2131963129 hasConcept C111472728 @default.
- W2131963129 hasConcept C11171543 @default.
- W2131963129 hasConcept C115903868 @default.
- W2131963129 hasConcept C123657996 @default.
- W2131963129 hasConcept C138885662 @default.
- W2131963129 hasConcept C15744967 @default.
- W2131963129 hasConcept C166957645 @default.
- W2131963129 hasConcept C177264268 @default.
- W2131963129 hasConcept C18296254 @default.
- W2131963129 hasConcept C199360897 @default.
- W2131963129 hasConcept C205649164 @default.
- W2131963129 hasConcept C2776760102 @default.
- W2131963129 hasConcept C31173074 @default.
- W2131963129 hasConcept C41008148 @default.
- W2131963129 hasConcept C43126263 @default.
- W2131963129 hasConceptScore W2131963129C111472728 @default.
- W2131963129 hasConceptScore W2131963129C11171543 @default.
- W2131963129 hasConceptScore W2131963129C115903868 @default.
- W2131963129 hasConceptScore W2131963129C123657996 @default.
- W2131963129 hasConceptScore W2131963129C138885662 @default.
- W2131963129 hasConceptScore W2131963129C15744967 @default.
- W2131963129 hasConceptScore W2131963129C166957645 @default.
- W2131963129 hasConceptScore W2131963129C177264268 @default.
- W2131963129 hasConceptScore W2131963129C18296254 @default.
- W2131963129 hasConceptScore W2131963129C199360897 @default.
- W2131963129 hasConceptScore W2131963129C205649164 @default.
- W2131963129 hasConceptScore W2131963129C2776760102 @default.
- W2131963129 hasConceptScore W2131963129C31173074 @default.
- W2131963129 hasConceptScore W2131963129C41008148 @default.
- W2131963129 hasConceptScore W2131963129C43126263 @default.
- W2131963129 hasLocation W21319631291 @default.
- W2131963129 hasOpenAccess W2131963129 @default.
- W2131963129 hasPrimaryLocation W21319631291 @default.
- W2131963129 hasRelatedWork W1517312625 @default.
- W2131963129 hasRelatedWork W1525740764 @default.
- W2131963129 hasRelatedWork W1541990207 @default.
- W2131963129 hasRelatedWork W1573022308 @default.
- W2131963129 hasRelatedWork W175550112 @default.
- W2131963129 hasRelatedWork W1836717328 @default.
- W2131963129 hasRelatedWork W1977710457 @default.
- W2131963129 hasRelatedWork W2003048918 @default.
- W2131963129 hasRelatedWork W2064172314 @default.
- W2131963129 hasRelatedWork W2088654757 @default.
- W2131963129 hasRelatedWork W2098478828 @default.
- W2131963129 hasRelatedWork W2133047062 @default.
- W2131963129 hasRelatedWork W2135337149 @default.
- W2131963129 hasRelatedWork W2156731113 @default.
- W2131963129 hasRelatedWork W2212093233 @default.
- W2131963129 hasRelatedWork W2505656361 @default.
- W2131963129 hasRelatedWork W2763992091 @default.
- W2131963129 hasRelatedWork W294391505 @default.
- W2131963129 hasRelatedWork W565232785 @default.
- W2131963129 hasRelatedWork W571800500 @default.
- W2131963129 isParatext "false" @default.
- W2131963129 isRetracted "false" @default.
- W2131963129 magId "2131963129" @default.
- W2131963129 workType "article" @default.