Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966703274> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1966703274 endingPage "162" @default.
- W1966703274 startingPage "145" @default.
- W1966703274 abstract "Using transactions in Java Card bytecode programs can be rather tricky and requires special attention from the programmer in order to work around some of the limitations imposed and to avoid introducing serious run-time errors due to inappropriate use of transactions. In this paper we present a novel analysis that combines control and data flow analysis with an analysis that tracks active transactions in a Java Card bytecode program. We formally prove the correctness of the analysis and show how it can be used to solve the above problem of guaranteeing that transactions in a Java Card bytecode program are well-formed and thus do not give rise to run-time errors." @default.
- W1966703274 created "2016-06-24" @default.
- W1966703274 creator A5015957442 @default.
- W1966703274 creator A5051122243 @default.
- W1966703274 date "2005-12-01" @default.
- W1966703274 modified "2023-09-27" @default.
- W1966703274 title "Towards Verification of Well-Formed Transactions in Java Card Bytecode" @default.
- W1966703274 cites W1488612566 @default.
- W1966703274 cites W1502745543 @default.
- W1966703274 cites W1553894716 @default.
- W1966703274 cites W1964830323 @default.
- W1966703274 cites W2035069210 @default.
- W1966703274 cites W2116590474 @default.
- W1966703274 cites W2166985644 @default.
- W1966703274 doi "https://doi.org/10.1016/j.entcs.2005.02.032" @default.
- W1966703274 hasPublicationYear "2005" @default.
- W1966703274 type Work @default.
- W1966703274 sameAs 1966703274 @default.
- W1966703274 citedByCount "2" @default.
- W1966703274 countsByYear W19667032742014 @default.
- W1966703274 crossrefType "journal-article" @default.
- W1966703274 hasAuthorship W1966703274A5015957442 @default.
- W1966703274 hasAuthorship W1966703274A5051122243 @default.
- W1966703274 hasBestOaLocation W19667032741 @default.
- W1966703274 hasConcept C110406131 @default.
- W1966703274 hasConcept C111919701 @default.
- W1966703274 hasConcept C132106392 @default.
- W1966703274 hasConcept C151340760 @default.
- W1966703274 hasConcept C160191386 @default.
- W1966703274 hasConcept C168702491 @default.
- W1966703274 hasConcept C199360897 @default.
- W1966703274 hasConcept C22847425 @default.
- W1966703274 hasConcept C2777472213 @default.
- W1966703274 hasConcept C2778514511 @default.
- W1966703274 hasConcept C2779818221 @default.
- W1966703274 hasConcept C41008148 @default.
- W1966703274 hasConcept C47747970 @default.
- W1966703274 hasConcept C548217200 @default.
- W1966703274 hasConcept C55439883 @default.
- W1966703274 hasConcept C98183937 @default.
- W1966703274 hasConceptScore W1966703274C110406131 @default.
- W1966703274 hasConceptScore W1966703274C111919701 @default.
- W1966703274 hasConceptScore W1966703274C132106392 @default.
- W1966703274 hasConceptScore W1966703274C151340760 @default.
- W1966703274 hasConceptScore W1966703274C160191386 @default.
- W1966703274 hasConceptScore W1966703274C168702491 @default.
- W1966703274 hasConceptScore W1966703274C199360897 @default.
- W1966703274 hasConceptScore W1966703274C22847425 @default.
- W1966703274 hasConceptScore W1966703274C2777472213 @default.
- W1966703274 hasConceptScore W1966703274C2778514511 @default.
- W1966703274 hasConceptScore W1966703274C2779818221 @default.
- W1966703274 hasConceptScore W1966703274C41008148 @default.
- W1966703274 hasConceptScore W1966703274C47747970 @default.
- W1966703274 hasConceptScore W1966703274C548217200 @default.
- W1966703274 hasConceptScore W1966703274C55439883 @default.
- W1966703274 hasConceptScore W1966703274C98183937 @default.
- W1966703274 hasIssue "1" @default.
- W1966703274 hasLocation W19667032741 @default.
- W1966703274 hasOpenAccess W1966703274 @default.
- W1966703274 hasPrimaryLocation W19667032741 @default.
- W1966703274 hasRelatedWork W1902013399 @default.
- W1966703274 hasRelatedWork W1966703274 @default.
- W1966703274 hasRelatedWork W1970806266 @default.
- W1966703274 hasRelatedWork W2068737373 @default.
- W1966703274 hasRelatedWork W2068892086 @default.
- W1966703274 hasRelatedWork W2197133764 @default.
- W1966703274 hasRelatedWork W2347958312 @default.
- W1966703274 hasRelatedWork W2374056735 @default.
- W1966703274 hasRelatedWork W2779411928 @default.
- W1966703274 hasRelatedWork W2464014640 @default.
- W1966703274 hasVolume "141" @default.
- W1966703274 isParatext "false" @default.
- W1966703274 isRetracted "false" @default.
- W1966703274 magId "1966703274" @default.
- W1966703274 workType "article" @default.