FRINK Linked Data Fragments server

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

• W2054827240 endingPage "58" @default.
• W2054827240 startingPage "58" @default.
• W2054827240 abstract "Java programmers have the security of knowing that errors like out-of-bounds array indexes or attempts to dereference a null pointer will be detected and reported at run time. C and C++ programmers count on tools like Purify to achieve a similar level of confidence. The run-time checks provided by Purify have proved to be extremely useful to programmers in debugging their programs.Java also provides security via its strong type system. For example:&bull; There are no union types in Java, so it is not possible for a program to write into a field of one type and then access that value via a field of a different type.&bull; Only very restricted kinds of casting are allowed; for example, it is not possible to treat a pointer as if it were an integer or vice versa.&bull; When an object is down-cast to a subtype, a run-time check will be performed to ensure that the actual type of the object is consistent with the cast.However, tools like Purify do not provide similar checks for C/C++ programs. This research involves the design and implementation of a tool to provide new kinds of run-time checks based on type information. That is, the goal of the tool is to help C/C++ programmers find errors in their programs that manifest themselves as bad run-time types, in the same way that Purify helps programmers find errors in their programs that manifest themselves as bad run-time memory accesses.The basic idea is to associate a run-time type with every piece of data. Whenever data is used by some operation, a check is performed to ensure that its run-time type is consistent with the type expected by the operation. For example, when a pointer is dereferenced, its run-time type must be pointer (not int, float, uninitialized, etc). When an integer multiplication is performed, the operands' run-time types must be int (not pointer, float, uninitialized, etc)." @default.
• W2054827240 created "2016-06-24" @default.
• W2054827240 creator A5088390204 @default.
• W2054827240 date "2000-01-01" @default.
• W2054827240 modified "2023-10-16" @default.
• W2054827240 title "Debugging via run-time type checking" @default.
• W2054827240 cites W1518169998 @default.
• W2054827240 cites W1538458686 @default.
• W2054827240 cites W1579850852 @default.
• W2054827240 cites W1587667242 @default.
• W2054827240 cites W1726238843 @default.
• W2054827240 cites W1969550081 @default.
• W2054827240 cites W1973326708 @default.
• W2054827240 cites W1984248430 @default.
• W2054827240 cites W2032049634 @default.
• W2054827240 cites W2040384644 @default.
• W2054827240 cites W2043647957 @default.
• W2054827240 cites W2061117785 @default.
• W2054827240 cites W2091141964 @default.
• W2054827240 cites W2099587209 @default.
• W2054827240 cites W2103856817 @default.
• W2054827240 cites W2110066339 @default.
• W2054827240 cites W2116818527 @default.
• W2054827240 cites W2130711572 @default.
• W2054827240 cites W2132661148 @default.
• W2054827240 cites W2293624369 @default.
• W2054827240 cites W3016667857 @default.
• W2054827240 doi "https://doi.org/10.1145/340855.340960" @default.
• W2054827240 hasPublicationYear "2000" @default.
• W2054827240 type Work @default.
• W2054827240 sameAs 2054827240 @default.
• W2054827240 citedByCount "1" @default.
• W2054827240 countsByYear W20548272402012 @default.
• W2054827240 crossrefType "journal-article" @default.
• W2054827240 hasAuthorship W2054827240A5088390204 @default.
• W2054827240 hasConcept C150202949 @default.
• W2054827240 hasConcept C154945302 @default.
• W2054827240 hasConcept C168065819 @default.
• W2054827240 hasConcept C199360897 @default.
• W2054827240 hasConcept C2778485113 @default.
• W2054827240 hasConcept C41008148 @default.
• W2054827240 hasConcept C548217200 @default.
• W2054827240 hasConceptScore W2054827240C150202949 @default.
• W2054827240 hasConceptScore W2054827240C154945302 @default.
• W2054827240 hasConceptScore W2054827240C168065819 @default.
• W2054827240 hasConceptScore W2054827240C199360897 @default.
• W2054827240 hasConceptScore W2054827240C2778485113 @default.
• W2054827240 hasConceptScore W2054827240C41008148 @default.
• W2054827240 hasConceptScore W2054827240C548217200 @default.
• W2054827240 hasIssue "1" @default.
• W2054827240 hasLocation W20548272401 @default.
• W2054827240 hasOpenAccess W2054827240 @default.
• W2054827240 hasPrimaryLocation W20548272401 @default.
• W2054827240 hasRelatedWork W1587224678 @default.
• W2054827240 hasRelatedWork W1601811574 @default.
• W2054827240 hasRelatedWork W181842068 @default.
• W2054827240 hasRelatedWork W1965397772 @default.
• W2054827240 hasRelatedWork W2058350064 @default.
• W2054827240 hasRelatedWork W2115737686 @default.
• W2054827240 hasRelatedWork W2135396778 @default.
• W2054827240 hasRelatedWork W2151170412 @default.
• W2054827240 hasRelatedWork W2515251270 @default.
• W2054827240 hasRelatedWork W4237428255 @default.
• W2054827240 hasVolume "25" @default.
• W2054827240 isParatext "false" @default.
• W2054827240 isRetracted "false" @default.
• W2054827240 magId "2054827240" @default.
• W2054827240 workType "article" @default.