Matches in SemOpenAlex for { <https://semopenalex.org/work/W102550497> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W102550497 startingPage "26" @default.
- W102550497 abstract "We address in this paper the problem of statically determining whether a JavaCard applet may produce a memory overflow because of the dynamic instantiation of classes inside cycles. We provide a constraint-based algorithm which determines potential loops and (mutually) recursive methods. The algorithm operates on the byte-code of an applet. It is written as a set of rules -one for each byte-code instruction- which allows a compositional reasoning and it comprises both inter- and intra-procedural analysis. We aimed at an algorithm suitable to be fed into the proof assistant Coq in order to extract a certified memory usage analyser. We prove termination of the algorithm as well as its soundness and completeness with respect to an abstraction of the operational semantics of the language." @default.
- W102550497 created "2016-06-24" @default.
- W102550497 creator A5051084250 @default.
- W102550497 date "2004-01-01" @default.
- W102550497 modified "2023-09-23" @default.
- W102550497 title "A constraint-based algorithm for analysing memory usage on Java cards" @default.
- W102550497 hasPublicationYear "2004" @default.
- W102550497 type Work @default.
- W102550497 sameAs 102550497 @default.
- W102550497 citedByCount "0" @default.
- W102550497 crossrefType "journal-article" @default.
- W102550497 hasAuthorship W102550497A5051084250 @default.
- W102550497 hasConcept C11413529 @default.
- W102550497 hasConcept C134306372 @default.
- W102550497 hasConcept C15524039 @default.
- W102550497 hasConcept C17231256 @default.
- W102550497 hasConcept C199360897 @default.
- W102550497 hasConcept C33923547 @default.
- W102550497 hasConcept C39920170 @default.
- W102550497 hasConcept C41008148 @default.
- W102550497 hasConcept C548217200 @default.
- W102550497 hasConcept C80444323 @default.
- W102550497 hasConceptScore W102550497C11413529 @default.
- W102550497 hasConceptScore W102550497C134306372 @default.
- W102550497 hasConceptScore W102550497C15524039 @default.
- W102550497 hasConceptScore W102550497C17231256 @default.
- W102550497 hasConceptScore W102550497C199360897 @default.
- W102550497 hasConceptScore W102550497C33923547 @default.
- W102550497 hasConceptScore W102550497C39920170 @default.
- W102550497 hasConceptScore W102550497C41008148 @default.
- W102550497 hasConceptScore W102550497C548217200 @default.
- W102550497 hasConceptScore W102550497C80444323 @default.
- W102550497 hasOpenAccess W102550497 @default.
- W102550497 hasRelatedWork W1510258819 @default.
- W102550497 hasRelatedWork W1553390188 @default.
- W102550497 hasRelatedWork W1573557248 @default.
- W102550497 hasRelatedWork W1576658223 @default.
- W102550497 hasRelatedWork W1594975933 @default.
- W102550497 hasRelatedWork W1633108902 @default.
- W102550497 hasRelatedWork W1978864988 @default.
- W102550497 hasRelatedWork W2012470235 @default.
- W102550497 hasRelatedWork W2036526036 @default.
- W102550497 hasRelatedWork W2042465389 @default.
- W102550497 hasRelatedWork W205553832 @default.
- W102550497 hasRelatedWork W2064087174 @default.
- W102550497 hasRelatedWork W2091928639 @default.
- W102550497 hasRelatedWork W2197133764 @default.
- W102550497 hasRelatedWork W2219689161 @default.
- W102550497 hasRelatedWork W2372461695 @default.
- W102550497 hasRelatedWork W2378519917 @default.
- W102550497 hasRelatedWork W2380901871 @default.
- W102550497 hasRelatedWork W2383333048 @default.
- W102550497 hasRelatedWork W302277691 @default.
- W102550497 isParatext "false" @default.
- W102550497 isRetracted "false" @default.
- W102550497 magId "102550497" @default.
- W102550497 workType "article" @default.