toggle menu
close
close menu
Search
Research products
Publications
Research data
Research software
Other research products
Projects
Data sources
Organizations
Deposit
Link
Start linking
Learn more
Data sources
Repositories
Journals
Registries
Browse all
Funders
close
search
Search
Deposit
Link
Data sources
Funders
search
search
Sign in
Found an issue?
Give us feedback
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
Bitbucket
arrow_drop_down
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
Bitbucket
Software
Data sources:
Bitbucket
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
Bitbucket
Software
Data sources:
Software Heritage
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
Software Heritage
Software
Data sources:
Software Heritage
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
Bitbucket
Software
Data sources:
Bitbucket
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
Bitbucket
Software
Data sources:
Bitbucket
versions
View all 4 versions
link
Link to
share
share
Share
cite
Cite
add
Claim
close
Please grant OpenAIRE to access and update your ORCID works.
close
close
This Research product is the result of
merged Research products in OpenAIRE
.
You have already added
0 works
in your ORCID record related to the merged Research product.
west
close
This Research product is the result of
merged Research products in OpenAIRE
.
You have already added
0 works
in your ORCID record related to the merged Research product.
Continue
close
close
close
Select content type to embed
All Research products
arrow_drop_down
COPY SCRIPT
For further information contact us at
helpdesk@openaire.eu
doop software on Bitbucket
doop software on Bitbucket in support of 'Fixpoints for the masses: programming with first-class Datalog constraints'
integration_instructions
Research software
keyboard_double_arrow_right
Software
close
close
doop software on Bitbucket
Summary
Related research
(12)
No summary information available
12
Research products, page
1
of
2
Fixpoints for the masses: programming with first-class Datalog constraints
2020
IsRelatedTo
close
close
Novel Approaches to Systematically Evaluating and Constructing Call Graphs for Java Software
2021
IsRelatedTo
close
close
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
2021
IsRelatedTo
close
close
Datalog - An overview and outlook on a decade-old technology
2021
IsRelatedTo
close
close
Proceedings of the 2020 OMI Seminars (PROMIS 2020)
2021
IsRelatedTo
close
close
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
2023
IsRelatedTo
close
close
Lifting Datalog-based analyses to software product lines
2019
IsRelatedTo
close
close
JuCify
2022
IsRelatedTo
close
close
Taint Trace Analysis For Java Web Applications
2022
IsRelatedTo
close
close
PointEval: On the Impact of Pointer Analysis Frameworks
2019
IsRelatedTo
close
close
chevron_left
1
2
chevron_right
Found an issue?
Give us feedback
close
close
close
close