About: Understanding GCC Builtins to Develop Better Tools

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Understanding GCC Builtins to Develop Better Tools Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:AcademicArticle, within Data Space : linkeddata.uriburner.com:28898 associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/ConferenceItemEPrint http://eprints.org/ontology/EPrint Article Academic Article
seeAlso	HTML Summary of #75258 Understanding GCC Builtins to Develop Better Tools
sameAs	Understanding GCC Builtins to Develop Better Tools
http://eprints.org/ontology/hasAccepted	Understanding GCC Builtins to Develop Better Tools (PDF)
http://eprints.org/ontology/hasDocument	Understanding GCC Builtins to Develop Better Tools (PDF) Understanding GCC Builtins to Develop Better Tools (Other) Understanding GCC Builtins to Develop Better Tools (Other) Understanding GCC Builtins to Develop Better Tools (Other) Understanding GCC Builtins to Develop Better Tools (Other) Understanding GCC Builtins to Develop Better Tools (Other)
dc:hasVersion	Understanding GCC Builtins to Develop Better Tools (PDF)
Title	Understanding GCC Builtins to Develop Better Tools
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
Date	2019-08-08
Creator	Hanspeter Mössenböck Manuel Rigger Bram Adams Stefan Marr
status	peer reviewed published
Publisher	ACM
abstract	C programs can use compiler builtins to provide functionality that the C language lacks. On Linux, GCC provides several thousands of builtins that are also supported by other mature compilers, such as Clang and ICC. Maintainers of other tools lack guidance on whether and which builtins should be implemented to support popular projects. To assist tool developers who want to support GCC builtins, we analyzed builtin use in 4,913 C projects from GitHub. We found that 37% of these projects relied on at least one builtin. Supporting an increasing proportion of projects requires support of an exponentially increasing number of builtins; however, implementing only 10 builtins already covers over 30% of the projects. Since we found that many builtins in our corpus remained unused, the effort needed to support 90% of the projects is moderate, requiring about 110 builtins to be implemented. For each project, we analyzed the evolution of builtin use over time and found that the majority of projects mostly added builtins. This suggests that builtins are not a legacy feature and must be supported in future tools. Systematic testing of builtin support in existing tools revealed that many lacked support for builtins either partially or completely; we also discovered incorrect implementations in various tools, including the formally verified CompCert compiler.
Is Part Of	ESEC/FSE 2019 Proceedings of the 2019 27th ACM https://kar.kent.ac.uk/id/repository
list of authors	https://kar.kent.ac.uk/id/eprint/75258#authors
presented at	27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #75258 Understanding GCC Builtins to Develop Better Tools

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 37 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software