FRINK Linked Data Fragments server

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

• W4310506268 abstract "We present property probes, a mechanism for helping a developer interactively explore partial program analysis results in terms of the source program, and as the program is edited. A node locator data structure is introduced that maps between source code spans and program representation nodes, and that helps identify probed nodes in a robust way, after modifications to the source code. We have developed a client-server based tool supporting property probes, and argue that it is very helpful in debugging and understanding program analyses. We have evaluated our tool on several languages and analyses, including a full Java compiler and a tool for intraprocedural dataflow analysis. Our performance results show that the probe overhead is negligible even when analyzing large projects." @default.
• W4310506268 created "2022-12-11" @default.
• W4310506268 creator A5003798517 @default.
• W4310506268 creator A5045120654 @default.
• W4310506268 creator A5063346042 @default.
• W4310506268 creator A5075313890 @default.
• W4310506268 date "2022-11-29" @default.
• W4310506268 modified "2023-10-16" @default.
• W4310506268 title "Property Probes: Source Code Based Exploration of Program Analysis Results" @default.
• W4310506268 cites W1833557437 @default.
• W4310506268 cites W205294145 @default.
• W4310506268 cites W2065489029 @default.
• W4310506268 cites W2067492562 @default.
• W4310506268 cites W2515936044 @default.
• W4310506268 cites W2536155965 @default.
• W4310506268 cites W2536833319 @default.
• W4310506268 cites W2794673032 @default.
• W4310506268 cites W2900777821 @default.
• W4310506268 cites W2979991936 @default.
• W4310506268 cites W3001351914 @default.
• W4310506268 cites W3023580939 @default.
• W4310506268 cites W3216328947 @default.
• W4310506268 cites W4212902469 @default.
• W4310506268 doi "https://doi.org/10.1145/3567512.3567525" @default.
• W4310506268 hasPublicationYear "2022" @default.
• W4310506268 type Work @default.
• W4310506268 citedByCount "0" @default.
• W4310506268 crossrefType "proceedings-article" @default.
• W4310506268 hasAuthorship W4310506268A5003798517 @default.
• W4310506268 hasAuthorship W4310506268A5045120654 @default.
• W4310506268 hasAuthorship W4310506268A5063346042 @default.
• W4310506268 hasAuthorship W4310506268A5075313890 @default.
• W4310506268 hasBestOaLocation W43105062681 @default.
• W4310506268 hasConcept C111472728 @default.
• W4310506268 hasConcept C127413603 @default.
• W4310506268 hasConcept C137287247 @default.
• W4310506268 hasConcept C138885662 @default.
• W4310506268 hasConcept C168065819 @default.
• W4310506268 hasConcept C169590947 @default.
• W4310506268 hasConcept C177264268 @default.
• W4310506268 hasConcept C189950617 @default.
• W4310506268 hasConcept C190902152 @default.
• W4310506268 hasConcept C199360897 @default.
• W4310506268 hasConcept C2776760102 @default.
• W4310506268 hasConcept C2777904410 @default.
• W4310506268 hasConcept C2779960059 @default.
• W4310506268 hasConcept C41008148 @default.
• W4310506268 hasConcept C43126263 @default.
• W4310506268 hasConcept C489000 @default.
• W4310506268 hasConcept C529173508 @default.
• W4310506268 hasConcept C548217200 @default.
• W4310506268 hasConcept C62611344 @default.
• W4310506268 hasConcept C66938386 @default.
• W4310506268 hasConcept C77088390 @default.
• W4310506268 hasConcept C88468194 @default.
• W4310506268 hasConcept C91071405 @default.
• W4310506268 hasConcept C96324660 @default.
• W4310506268 hasConcept C97686452 @default.
• W4310506268 hasConcept C98183937 @default.
• W4310506268 hasConceptScore W4310506268C111472728 @default.
• W4310506268 hasConceptScore W4310506268C127413603 @default.
• W4310506268 hasConceptScore W4310506268C137287247 @default.
• W4310506268 hasConceptScore W4310506268C138885662 @default.
• W4310506268 hasConceptScore W4310506268C168065819 @default.
• W4310506268 hasConceptScore W4310506268C169590947 @default.
• W4310506268 hasConceptScore W4310506268C177264268 @default.
• W4310506268 hasConceptScore W4310506268C189950617 @default.
• W4310506268 hasConceptScore W4310506268C190902152 @default.
• W4310506268 hasConceptScore W4310506268C199360897 @default.
• W4310506268 hasConceptScore W4310506268C2776760102 @default.
• W4310506268 hasConceptScore W4310506268C2777904410 @default.
• W4310506268 hasConceptScore W4310506268C2779960059 @default.
• W4310506268 hasConceptScore W4310506268C41008148 @default.
• W4310506268 hasConceptScore W4310506268C43126263 @default.
• W4310506268 hasConceptScore W4310506268C489000 @default.
• W4310506268 hasConceptScore W4310506268C529173508 @default.
• W4310506268 hasConceptScore W4310506268C548217200 @default.
• W4310506268 hasConceptScore W4310506268C62611344 @default.
• W4310506268 hasConceptScore W4310506268C66938386 @default.
• W4310506268 hasConceptScore W4310506268C77088390 @default.
• W4310506268 hasConceptScore W4310506268C88468194 @default.
• W4310506268 hasConceptScore W4310506268C91071405 @default.
• W4310506268 hasConceptScore W4310506268C96324660 @default.
• W4310506268 hasConceptScore W4310506268C97686452 @default.
• W4310506268 hasConceptScore W4310506268C98183937 @default.
• W4310506268 hasLocation W43105062681 @default.
• W4310506268 hasOpenAccess W4310506268 @default.
• W4310506268 hasPrimaryLocation W43105062681 @default.
• W4310506268 hasRelatedWork W1492721812 @default.
• W4310506268 hasRelatedWork W1550050390 @default.
• W4310506268 hasRelatedWork W1814870153 @default.
• W4310506268 hasRelatedWork W2110281220 @default.
• W4310506268 hasRelatedWork W2151229769 @default.
• W4310506268 hasRelatedWork W2153174871 @default.
• W4310506268 hasRelatedWork W2599014345 @default.
• W4310506268 hasRelatedWork W2955524408 @default.
• W4310506268 hasRelatedWork W3084917208 @default.
• W4310506268 hasRelatedWork W60611840 @default.
• W4310506268 isParatext "false" @default.
• W4310506268 isRetracted "false" @default.

• next