COMPCERT.ORG: Keyword Density Checker

Total words: 5122 | 2-word phrases: 1289 | 3-word phrases: 1538 | 4-word phrases: 1650

PAGE INFO

Title	Try to keep the title under 60 characters (20 characters) CompCert - Main page
Description	Try to keep the meta description between 50 - 160 characters (0 characters)
Keywords	Meta keywords are not recommended anymore (0 characters)
H1	H1 tag on the page (8 characters) CompCert

ONE WORD PHRASES 645 Words

#	Keyword	Frequency	Density
1	the	82	12.71%
2	of	79	12.25%
3	and	75	11.63%
4	compcert	60	9.30%
5	c	48	7.44%
6	for	45	6.98%
7	version	43	6.67%
8	a	41	6.36%
9	release	29	4.50%
10	compiler	26	4.03%

TWO WORD PHRASES 1289 Words

#	Keyword	Frequency	Density
1	compcert c	38	2.95%
2	of the	24	1.86%
3	release of	24	1.86%
4	support for	21	1.63%
5	of c	20	1.55%
6	the c	18	1.40%
7	of compcert	17	1.32%
8	c version	15	1.16%
9	the compcert	15	1.16%
10	c compiler	12	0.93%
11	of version	9	0.70%
12	iso c	8	0.62%
13	for the	8	0.62%
14	verified c	8	0.62%
15	c a	8	0.62%
16	with coq	7	0.54%
17	compatibility with	7	0.54%
18	is released	7	0.54%
19	xavier leroy	7	0.54%
20	novelties include	7	0.54%

THREE WORD PHRASES 1538 Words

#	Keyword	Frequency	Density
1	compcert c version	15	0.98%
2	release of compcert	12	0.78%
3	the compcert c	12	0.78%
4	of the c	11	0.72%
5	of the compcert	10	0.65%
6	compcert c compiler	9	0.59%
7	of compcert c	8	0.52%
8	release of version	8	0.52%
9	novelties include a	5	0.33%
10	xavier leroy sandrine	5	0.33%
11	leroy sandrine blazy	4	0.26%
12	compatibility with coq	4	0.26%
13	and compatibility with	4	0.26%
14	awarded to xavier	4	0.26%
15	adds support for	4	0.26%
16	to xavier leroy	4	0.26%
17	and jeanbaptiste tristan	3	0.20%
18	blazy zaynah dargaye	3	0.20%
19	a formally verified	3	0.20%
20	formally verified optimizing	3	0.20%
21	a few bugs	3	0.20%
22	is released novelties	3	0.20%
23	fixes a few	3	0.20%
24		3	0.20%
25	of compcert version	3	0.20%
26	released novelties include	3	0.20%
27	support for the	3	0.20%
28	compcert verified c	3	0.20%
29	compatible with coq	3	0.20%
30	floatingpoint arithmetic and	3	0.20%

FOUR WORD PHRASES 1650 Words

#	Keyword	Frequency	Density
1	of the compcert c	10	0.61%
2	release of compcert c	8	0.48%
3	the compcert c compiler	7	0.42%
4	of compcert c version	7	0.42%
5	xavier leroy sandrine blazy	4	0.24%
6	and compatibility with coq	4	0.24%
7	awarded to xavier leroy	4	0.24%
8	fixes a few bugs	3	0.18%
9	to xavier leroy sandrine	3	0.18%
10	release of compcert version	3	0.18%
11	software system that has	2	0.12%
12	bernhard schommer and jeanbaptiste	2	0.12%
13	that has had a	2	0.12%
14	was awarded to xavier	2	0.12%
15	leroy sandrine blazy zaynah	2	0.12%
16	sandrine blazy zaynah dargaye	2	0.12%
17	blazy zaynah dargaye jacqueshenri	2	0.12%
18	jourdan michael schmidt bernhard	2	0.12%
19	michael schmidt bernhard schommer	2	0.12%
20	schmidt bernhard schommer and	2	0.12%
21	schommer and jeanbaptiste tristan	2	0.12%
22	a software system that	2	0.12%
23	released novelties include a	2	0.12%
24	is released novelties include	2	0.12%
25	system that has had	2	0.12%
26	a few bugs and	2	0.12%
27	of dwarf debugging information	2	0.12%
28	this award recognizes a	2	0.12%
29	award recognizes a software	2	0.12%
30	adds support for coq	2	0.12%
31	recognizes a software system	2	0.12%
32	featuring a new c	2	0.12%
33	novelties include support for	2	0.12%
34	time software and systems	2	0.12%
35	real time software and	2	0.12%
36	formally verified optimizing compiler	2	0.12%
37		2	0.12%
38	this is a minor	2	0.12%
39	generation of dwarf debugging	2	0.12%
40	complete generation of dwarf	2	0.12%

EXTERNAL LINKS

#	URL	Whois	Check
1	https://www.sigplan.org/Awards/Software/	Whois	sigplan.org
2	https://xavierleroy.org	Whois	xavierleroy.org
3	https://people.irisa.fr/Sandrine.Blazy/	Whois	irisa.fr
4	https://www.linkedin.com/in/zaynah-dargaye-70a1122	Whois	linkedin.com
5	https://jhjourdan.mketjh.fr/	Whois	mketjh.fr
6	https://github.com/m-schmidt	Whois	github.com
7	https://github.com/bschommer	Whois	github.com
8	https://jtristan.github.io/	Whois	github.io
9	https://awards.acm.org/software-system	Whois	acm.org
10	https://xavierleroy.org	Whois	xavierleroy.org
11	https://people.irisa.fr/Sandrine.Blazy/	Whois	irisa.fr
12	https://www.linkedin.com/in/zaynah-dargaye-70a1122	Whois	linkedin.com
13	https://jhjourdan.mketjh.fr/	Whois	mketjh.fr
14	https://github.com/m-schmidt	Whois	github.com
15	https://github.com/bschommer	Whois	github.com
16	https://jtristan.github.io/	Whois	github.io
17	https://absint.com	Whois	absint.com
18	https://hal.inria.fr/hal-01643290	Whois	inria.fr
19	https://hal.inria.fr/hal-01399482	Whois	inria.fr
20	https://hal.inria.fr/hal-01238879	Whois	inria.fr
21	https://github.com/AbsInt/CompCert	Whois	github.com
22	https://www.absint.com/	Whois	absint.com
23	https://sites.google.com/site/verifiedsoftwareinitiative/mrs-award/2012-award	Whois	google.com
24	http://hal.inria.fr/hal-00703441	Whois	inria.fr
25	http://hal.inria.fr/hal-00653367/	Whois	inria.fr
26	http://www.leprixlarecherche.com/	Whois	leprixlarecherche.com
27	http://gallium.inria.fr/~xleroy/publi/compcert-backend.pdf	Whois	inria.fr
28	http://gallium.inria.fr/~xleroy/publi/compcert-CACM.pdf	Whois	inria.fr
29	http://doi.acm.org/10.1145/1538788.1538813	Whois	acm.org
30	http://www.sixshootermedia.com/	Whois	sixshootermedia.com