FRINK Linked Data Fragments server

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

• W1540384105 abstract "We describe the main features of JACK (Java Applet Correctness Kit), a tool for the validation of Java applications, annotated with JML specifications. JACK has been especially designed to improve the quality of trusted personal device applications. JACK is fully integrated with the IDE Eclipse, and provides an easily accessible user interface. In particular, it allows to inspect the generated proof obligations in a Java syntax, and to trace them back to the source code that gave rise to them. Further, JACK provides support for annotation generation, and for interactive verification. The whole platform works both for source code and for bytecode, which makes it particularly suitable for a proof carrying code scenario." @default.
• W1540384105 created "2016-06-24" @default.
• W1540384105 creator A5008083677 @default.
• W1540384105 creator A5041234666 @default.
• W1540384105 creator A5045181048 @default.
• W1540384105 creator A5066002251 @default.
• W1540384105 creator A5075577852 @default.
• W1540384105 creator A5076297409 @default.
• W1540384105 creator A5087015747 @default.
• W1540384105 creator A5087283928 @default.
• W1540384105 date "2007-01-01" @default.
• W1540384105 modified "2023-10-14" @default.
• W1540384105 title "JACK — A Tool for Validation of Security and Behaviour of Java Applications" @default.
• W1540384105 cites W1486696980 @default.
• W1540384105 cites W1498946538 @default.
• W1540384105 cites W1500443504 @default.
• W1540384105 cites W1512952371 @default.
• W1540384105 cites W1529227536 @default.
• W1540384105 cites W1580328473 @default.
• W1540384105 cites W1606683253 @default.
• W1540384105 cites W1817453294 @default.
• W1540384105 cites W1885955018 @default.
• W1540384105 cites W1977978965 @default.
• W1540384105 cites W1996228525 @default.
• W1540384105 cites W2031111340 @default.
• W1540384105 cites W2034711041 @default.
• W1540384105 cites W2041109742 @default.
• W1540384105 cites W2055477538 @default.
• W1540384105 cites W2066210260 @default.
• W1540384105 cites W2094160561 @default.
• W1540384105 cites W2164810907 @default.
• W1540384105 cites W2167849549 @default.
• W1540384105 cites W3046946143 @default.
• W1540384105 cites W3106729728 @default.
• W1540384105 cites W4254354208 @default.
• W1540384105 doi "https://doi.org/10.1007/978-3-540-74792-5_7" @default.
• W1540384105 hasPublicationYear "2007" @default.
• W1540384105 type Work @default.
• W1540384105 sameAs 1540384105 @default.
• W1540384105 citedByCount "38" @default.
• W1540384105 countsByYear W15403841052012 @default.
• W1540384105 countsByYear W15403841052013 @default.
• W1540384105 countsByYear W15403841052014 @default.
• W1540384105 countsByYear W15403841052019 @default.
• W1540384105 crossrefType "book-chapter" @default.
• W1540384105 hasAuthorship W1540384105A5008083677 @default.
• W1540384105 hasAuthorship W1540384105A5041234666 @default.
• W1540384105 hasAuthorship W1540384105A5045181048 @default.
• W1540384105 hasAuthorship W1540384105A5066002251 @default.
• W1540384105 hasAuthorship W1540384105A5075577852 @default.
• W1540384105 hasAuthorship W1540384105A5076297409 @default.
• W1540384105 hasAuthorship W1540384105A5087015747 @default.
• W1540384105 hasAuthorship W1540384105A5087283928 @default.
• W1540384105 hasConcept C111919701 @default.
• W1540384105 hasConcept C121332964 @default.
• W1540384105 hasConcept C1276947 @default.
• W1540384105 hasConcept C132106392 @default.
• W1540384105 hasConcept C138885662 @default.
• W1540384105 hasConcept C15524039 @default.
• W1540384105 hasConcept C168702491 @default.
• W1540384105 hasConcept C199360897 @default.
• W1540384105 hasConcept C2778505590 @default.
• W1540384105 hasConcept C2779818221 @default.
• W1540384105 hasConcept C41008148 @default.
• W1540384105 hasConcept C41895202 @default.
• W1540384105 hasConcept C43126263 @default.
• W1540384105 hasConcept C548217200 @default.
• W1540384105 hasConcept C55439883 @default.
• W1540384105 hasConcept C60945770 @default.
• W1540384105 hasConcept C75291252 @default.
• W1540384105 hasConceptScore W1540384105C111919701 @default.
• W1540384105 hasConceptScore W1540384105C121332964 @default.
• W1540384105 hasConceptScore W1540384105C1276947 @default.
• W1540384105 hasConceptScore W1540384105C132106392 @default.
• W1540384105 hasConceptScore W1540384105C138885662 @default.
• W1540384105 hasConceptScore W1540384105C15524039 @default.
• W1540384105 hasConceptScore W1540384105C168702491 @default.
• W1540384105 hasConceptScore W1540384105C199360897 @default.
• W1540384105 hasConceptScore W1540384105C2778505590 @default.
• W1540384105 hasConceptScore W1540384105C2779818221 @default.
• W1540384105 hasConceptScore W1540384105C41008148 @default.
• W1540384105 hasConceptScore W1540384105C41895202 @default.
• W1540384105 hasConceptScore W1540384105C43126263 @default.
• W1540384105 hasConceptScore W1540384105C548217200 @default.
• W1540384105 hasConceptScore W1540384105C55439883 @default.
• W1540384105 hasConceptScore W1540384105C60945770 @default.
• W1540384105 hasConceptScore W1540384105C75291252 @default.
• W1540384105 hasLocation W15403841051 @default.
• W1540384105 hasOpenAccess W1540384105 @default.
• W1540384105 hasPrimaryLocation W15403841051 @default.
• W1540384105 hasRelatedWork W1490787830 @default.
• W1540384105 hasRelatedWork W1493446239 @default.
• W1540384105 hasRelatedWork W1518080236 @default.
• W1540384105 hasRelatedWork W1595868262 @default.
• W1540384105 hasRelatedWork W1860988706 @default.
• W1540384105 hasRelatedWork W2125062340 @default.
• W1540384105 hasRelatedWork W2137409926 @default.
• W1540384105 hasRelatedWork W2919409937 @default.
• W1540384105 hasRelatedWork W3006032443 @default.
• W1540384105 hasRelatedWork W2528467228 @default.

• next