FRINK Linked Data Fragments server

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

• W1595998412 abstract "Type checking is widely used for static analysis and code verification. This thesis investigates an alternative use of type reconstruction, as a tool for extracting knowledge from programs written in weakly typed language. We explore this avenue along two different, but related directions. In the first part we present a static analyzer that exploits typing techniques to extract information from the COBOL source code: reconstructing informative types is an effective way for automatically generating a basic tier of documentation for legacy software, and is also a reliable starting point for performing further, higher-level program understanding processing. Our type system defines special storage-types carrying along details on the size, in-memory representation and format of COBOL primitive data types, and a disjoint union type called flow-type that keeps track of the multiple storage-types a variable may assume when reused with different data types throughout the program a rather common practice in COBOL. The type analyzer follows the control-flow of the program through procedure calls, branches and jumps, possibly looping, and terminates when no more changes occur in the typing context. We formalize the analysis and present our prototype implementation of the system, which includes a parser for COBOL sources (a challenging task in itself). The analyzer consists in a stand-alone application written in F# that supports several COBOL language features used in real-world programs, and statically detects a number of additional error-prone situations, such as arithmetic operation overflows and possible runtime data corruptions due to misalignment or misfit in assignments. Similar principles may successfully be applied within an apparently distant context: for validating inter-component communication of Android applications. In the second part of this thesis we propose another type analysis technique for reconstructing the types of data within Intents the building blocks of message passing in Android. As with COBOL, we present our implementation of the analyzer which consists in an ADT (Android Development Tools) Lint plug-in written in F# and Java, which performs a number for static checks on Android code that the Java compiler cannot perform due to the design of the Android API. Being ADT Lint fully integrated within the familiar Eclipse development environment, our analyzer effectively provides a a second-tier Java type checker for Android programs." @default.
• W1595998412 created "2016-06-24" @default.
• W1595998412 creator A5075714363 @default.
• W1595998412 date "2013-04-19" @default.
• W1595998412 modified "2023-09-23" @default.
• W1595998412 title "Information extraction by type analysis" @default.
• W1595998412 cites W10596387 @default.
• W1595998412 cites W1481494287 @default.
• W1595998412 cites W1491178396 @default.
• W1595998412 cites W1512221544 @default.
• W1595998412 cites W1531174322 @default.
• W1595998412 cites W1572420362 @default.
• W1595998412 cites W1850047186 @default.
• W1595998412 cites W1863566242 @default.
• W1595998412 cites W1963971515 @default.
• W1595998412 cites W1964318791 @default.
• W1595998412 cites W1994588724 @default.
• W1595998412 cites W2011321377 @default.
• W1595998412 cites W2013399578 @default.
• W1595998412 cites W201480968 @default.
• W1595998412 cites W2018951244 @default.
• W1595998412 cites W2030360570 @default.
• W1595998412 cites W2061608017 @default.
• W1595998412 cites W2063875055 @default.
• W1595998412 cites W2094080019 @default.
• W1595998412 cites W2094835181 @default.
• W1595998412 cites W2095136535 @default.
• W1595998412 cites W2100648544 @default.
• W1595998412 cites W2101834106 @default.
• W1595998412 cites W2102979206 @default.
• W1595998412 cites W2107521173 @default.
• W1595998412 cites W2109507516 @default.
• W1595998412 cites W2110433524 @default.
• W1595998412 cites W2110825407 @default.
• W1595998412 cites W2114275288 @default.
• W1595998412 cites W2119880425 @default.
• W1595998412 cites W2124479173 @default.
• W1595998412 cites W2128466029 @default.
• W1595998412 cites W2129858079 @default.
• W1595998412 cites W2132583473 @default.
• W1595998412 cites W2133145636 @default.
• W1595998412 cites W2135681092 @default.
• W1595998412 cites W2136296832 @default.
• W1595998412 cites W2140462040 @default.
• W1595998412 cites W2150587160 @default.
• W1595998412 cites W2153542583 @default.
• W1595998412 cites W2154564703 @default.
• W1595998412 cites W2155497452 @default.
• W1595998412 cites W2163976959 @default.
• W1595998412 cites W2170988588 @default.
• W1595998412 cites W2187467573 @default.
• W1595998412 cites W2246820938 @default.
• W1595998412 cites W2278108601 @default.
• W1595998412 cites W2579796627 @default.
• W1595998412 cites W2915240685 @default.
• W1595998412 cites W2987803397 @default.
• W1595998412 cites W81879861 @default.
• W1595998412 cites W85177704 @default.
• W1595998412 hasPublicationYear "2013" @default.
• W1595998412 type Work @default.
• W1595998412 sameAs 1595998412 @default.
• W1595998412 citedByCount "0" @default.
• W1595998412 crossrefType "dissertation" @default.
• W1595998412 hasAuthorship W1595998412A5075714363 @default.
• W1595998412 hasConcept C128595289 @default.
• W1595998412 hasConcept C138958017 @default.
• W1595998412 hasConcept C145428669 @default.
• W1595998412 hasConcept C154945302 @default.
• W1595998412 hasConcept C158100120 @default.
• W1595998412 hasConcept C160191386 @default.
• W1595998412 hasConcept C169590947 @default.
• W1595998412 hasConcept C198370458 @default.
• W1595998412 hasConcept C199360897 @default.
• W1595998412 hasConcept C2776214188 @default.
• W1595998412 hasConcept C41008148 @default.
• W1595998412 hasConcept C44779574 @default.
• W1595998412 hasConcept C97686452 @default.
• W1595998412 hasConceptScore W1595998412C128595289 @default.
• W1595998412 hasConceptScore W1595998412C138958017 @default.
• W1595998412 hasConceptScore W1595998412C145428669 @default.
• W1595998412 hasConceptScore W1595998412C154945302 @default.
• W1595998412 hasConceptScore W1595998412C158100120 @default.
• W1595998412 hasConceptScore W1595998412C160191386 @default.
• W1595998412 hasConceptScore W1595998412C169590947 @default.
• W1595998412 hasConceptScore W1595998412C198370458 @default.
• W1595998412 hasConceptScore W1595998412C199360897 @default.
• W1595998412 hasConceptScore W1595998412C2776214188 @default.
• W1595998412 hasConceptScore W1595998412C41008148 @default.
• W1595998412 hasConceptScore W1595998412C44779574 @default.
• W1595998412 hasConceptScore W1595998412C97686452 @default.
• W1595998412 hasLocation W15959984121 @default.
• W1595998412 hasOpenAccess W1595998412 @default.
• W1595998412 hasPrimaryLocation W15959984121 @default.
• W1595998412 hasRelatedWork W1519345549 @default.
• W1595998412 hasRelatedWork W2032143280 @default.
• W1595998412 hasRelatedWork W2035069210 @default.
• W1595998412 hasRelatedWork W2064538205 @default.
• W1595998412 hasRelatedWork W2078124027 @default.
• W1595998412 hasRelatedWork W2106355420 @default.
• W1595998412 hasRelatedWork W2115875619 @default.

• next