Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019982675> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2019982675 abstract "Guardol is a domain-specific language focused on the creation of high-assurance network guards and the specification of guard properties. The Guardol system generates Ada code from Guardol programs and also provides specification and automated verification support. Guard programs and specifications are translated to higher order logic, then deductively transformed to a form suitable for a SMT-style decision procedure for recursive functions over tree-structured data. The result is that difficult properties of Guardol programs can be proved fully automatically." @default.
- W2019982675 created "2016-06-24" @default.
- W2019982675 creator A5014360702 @default.
- W2019982675 creator A5031061819 @default.
- W2019982675 creator A5041337242 @default.
- W2019982675 creator A5067020197 @default.
- W2019982675 date "2012-12-02" @default.
- W2019982675 modified "2023-09-26" @default.
- W2019982675 title "A DSL for cross-domain security" @default.
- W2019982675 cites W100631053 @default.
- W2019982675 cites W1596289178 @default.
- W2019982675 cites W1829244603 @default.
- W2019982675 cites W1831545713 @default.
- W2019982675 cites W1943070836 @default.
- W2019982675 cites W1946187443 @default.
- W2019982675 cites W197756383 @default.
- W2019982675 cites W1977764760 @default.
- W2019982675 cites W2028025798 @default.
- W2019982675 cites W2102874028 @default.
- W2019982675 cites W2110318050 @default.
- W2019982675 cites W2133808322 @default.
- W2019982675 cites W2146110773 @default.
- W2019982675 cites W2162315884 @default.
- W2019982675 cites W2296416587 @default.
- W2019982675 cites W4230729748 @default.
- W2019982675 doi "https://doi.org/10.1145/2402676.2402697" @default.
- W2019982675 hasPublicationYear "2012" @default.
- W2019982675 type Work @default.
- W2019982675 sameAs 2019982675 @default.
- W2019982675 citedByCount "0" @default.
- W2019982675 crossrefType "proceedings-article" @default.
- W2019982675 hasAuthorship W2019982675A5014360702 @default.
- W2019982675 hasAuthorship W2019982675A5031061819 @default.
- W2019982675 hasAuthorship W2019982675A5041337242 @default.
- W2019982675 hasAuthorship W2019982675A5067020197 @default.
- W2019982675 hasBestOaLocation W20199826752 @default.
- W2019982675 hasConcept C115903868 @default.
- W2019982675 hasConcept C134306372 @default.
- W2019982675 hasConcept C135257023 @default.
- W2019982675 hasConcept C141141315 @default.
- W2019982675 hasConcept C199360897 @default.
- W2019982675 hasConcept C201374245 @default.
- W2019982675 hasConcept C33923547 @default.
- W2019982675 hasConcept C36503486 @default.
- W2019982675 hasConcept C41008148 @default.
- W2019982675 hasConcept C76155785 @default.
- W2019982675 hasConceptScore W2019982675C115903868 @default.
- W2019982675 hasConceptScore W2019982675C134306372 @default.
- W2019982675 hasConceptScore W2019982675C135257023 @default.
- W2019982675 hasConceptScore W2019982675C141141315 @default.
- W2019982675 hasConceptScore W2019982675C199360897 @default.
- W2019982675 hasConceptScore W2019982675C201374245 @default.
- W2019982675 hasConceptScore W2019982675C33923547 @default.
- W2019982675 hasConceptScore W2019982675C36503486 @default.
- W2019982675 hasConceptScore W2019982675C41008148 @default.
- W2019982675 hasConceptScore W2019982675C76155785 @default.
- W2019982675 hasLocation W20199826751 @default.
- W2019982675 hasLocation W20199826752 @default.
- W2019982675 hasOpenAccess W2019982675 @default.
- W2019982675 hasPrimaryLocation W20199826751 @default.
- W2019982675 hasRelatedWork W1579149484 @default.
- W2019982675 hasRelatedWork W2159328689 @default.
- W2019982675 hasRelatedWork W2161550557 @default.
- W2019982675 hasRelatedWork W2161636786 @default.
- W2019982675 hasRelatedWork W2483415553 @default.
- W2019982675 hasRelatedWork W2506635712 @default.
- W2019982675 hasRelatedWork W2556228643 @default.
- W2019982675 hasRelatedWork W3006199460 @default.
- W2019982675 hasRelatedWork W3018952282 @default.
- W2019982675 hasRelatedWork W4235797919 @default.
- W2019982675 isParatext "false" @default.
- W2019982675 isRetracted "false" @default.
- W2019982675 magId "2019982675" @default.
- W2019982675 workType "article" @default.