id	sid	tid	token	lemma	pos
app01-4437	1	1	acta	acta	PROPN
app01-4437	1	2	polytechnica	polytechnica	PROPN
app01-4437	1	3	ctu	ctu	PROPN
app01-4437	1	4	proceedings	proceeding	NOUN
app01-4437	1	5	doi:10.14311	doi:10.14311	NOUN
app01-4437	1	6	/	/	SYM
app01-4437	1	7	app.2017.11.0001	app.2017.11.0001	PROPN
app01-4437	1	8	acta	acta	PROPN
app01-4437	1	9	polytechnica	polytechnica	PROPN
app01-4437	1	10	ctu	ctu	NOUN
app01-4437	1	11	proceedings	proceeding	NOUN
app01-4437	1	12	11:1–5	11:1–5	NUM
app01-4437	1	13	,	,	PUNCT
app01-4437	1	14	2017	2017	NUM
app01-4437	1	15	©	©	PROPN
app01-4437	1	16	czech	czech	PROPN
app01-4437	1	17	technical	technical	PROPN
app01-4437	1	18	university	university	PROPN
app01-4437	1	19	in	in	ADP
app01-4437	1	20	prague	prague	PROPN
app01-4437	1	21	,	,	PUNCT
app01-4437	1	22	2017	2017	NUM
app01-4437	1	23	available	available	ADJ
app01-4437	1	24	online	online	ADV
app01-4437	1	25	at	at	ADP
app01-4437	1	26	http://ojs.cvut.cz/ojs/index.php/app	http://ojs.cvut.cz/ojs/index.php/app	NOUN
app01-4437	1	27	comparison	comparison	NOUN
app01-4437	1	28	of	of	ADP
app01-4437	1	29	language	language	NOUN
app01-4437	1	30	subset	subset	NOUN
app01-4437	1	31	and	and	CCONJ
app01-4437	1	32	language	language	NOUN
app01-4437	1	33	extension	extension	NOUN
app01-4437	1	34	by	by	ADP
app01-4437	1	35	safe	safe	ADJ
app01-4437	1	36	related	relate	VERB
app01-4437	1	37	information	information	NOUN
app01-4437	1	38	approach	approach	NOUN
app01-4437	1	39	to	to	ADP
app01-4437	1	40	safe	safe	ADJ
app01-4437	1	41	system	system	NOUN
app01-4437	1	42	development	development	NOUN
app01-4437	1	43	tomáš	tomáš	PROPN
app01-4437	1	44	brandejský∗	brandejský∗	PROPN
app01-4437	1	45	,	,	PUNCT
app01-4437	1	46	vít	vít	NOUN
app01-4437	1	47	fábera	fábera	NOUN
app01-4437	1	48	department	department	NOUN
app01-4437	1	49	of	of	ADP
app01-4437	1	50	applied	apply	VERB
app01-4437	1	51	informatics	informatic	NOUN
app01-4437	1	52	in	in	ADP
app01-4437	1	53	transportation	transportation	NOUN
app01-4437	1	54	,	,	PUNCT
app01-4437	1	55	faculty	faculty	NOUN
app01-4437	1	56	of	of	ADP
app01-4437	1	57	transportation	transportation	NOUN
app01-4437	1	58	sciences	science	NOUN
app01-4437	1	59	,	,	PUNCT
app01-4437	1	60	ctu	ctu	NOUN
app01-4437	1	61	in	in	ADP
app01-4437	1	62	prague	prague	PROPN
app01-4437	1	63	∗	∗	NOUN
app01-4437	1	64	corresponding	correspond	VERB
app01-4437	1	65	author	author	NOUN
app01-4437	1	66	:	:	PUNCT
app01-4437	1	67	brandejsky@fd.cvut.cz	brandejsky@fd.cvut.cz	ADJ
app01-4437	1	68	abstract	abstract	NOUN
app01-4437	1	69	.	.	PUNCT
app01-4437	2	1	presented	present	VERB
app01-4437	2	2	contribution	contribution	NOUN
app01-4437	2	3	is	be	AUX
app01-4437	2	4	dedicated	dedicate	VERB
app01-4437	2	5	to	to	ADP
app01-4437	2	6	discussion	discussion	NOUN
app01-4437	2	7	of	of	ADP
app01-4437	2	8	two	two	NUM
app01-4437	2	9	different	different	ADJ
app01-4437	2	10	approaches	approach	NOUN
app01-4437	2	11	into	into	ADP
app01-4437	2	12	increase	increase	NOUN
app01-4437	2	13	of	of	ADP
app01-4437	2	14	programming	programming	NOUN
app01-4437	2	15	language	language	NOUN
app01-4437	2	16	safety	safety	NOUN
app01-4437	2	17	.	.	PUNCT
app01-4437	3	1	they	they	PRON
app01-4437	3	2	are	be	AUX
app01-4437	3	3	language	language	NOUN
app01-4437	3	4	subset	subset	NOUN
app01-4437	3	5	and	and	CCONJ
app01-4437	3	6	extension	extension	NOUN
app01-4437	3	7	of	of	ADP
app01-4437	3	8	original	original	ADJ
app01-4437	3	9	safety	safety	NOUN
app01-4437	3	10	mechanisms	mechanism	NOUN
app01-4437	3	11	.	.	PUNCT
app01-4437	4	1	as	as	SCONJ
app01-4437	4	2	examples	example	NOUN
app01-4437	4	3	we	we	PRON
app01-4437	4	4	used	use	VERB
app01-4437	4	5	misra	misra	NOUN
app01-4437	4	6	c	c	NOUN
app01-4437	4	7	/	/	SYM
app01-4437	4	8	c++	c++	NOUN
app01-4437	4	9	subset	subset	NOUN
app01-4437	4	10	and	and	CCONJ
app01-4437	4	11	spark	spark	NOUN
app01-4437	4	12	language	language	NOUN
app01-4437	4	13	builded	build	VERB
app01-4437	4	14	on	on	ADP
app01-4437	4	15	the	the	DET
app01-4437	4	16	base	base	NOUN
app01-4437	4	17	of	of	ADP
app01-4437	4	18	ada	ada	PROPN
app01-4437	4	19	language	language	PROPN
app01-4437	4	20	.	.	PUNCT
app01-4437	5	1	in	in	ADP
app01-4437	5	2	the	the	DET
app01-4437	5	3	last	last	ADJ
app01-4437	5	4	chapters	chapter	NOUN
app01-4437	5	5	we	we	PRON
app01-4437	5	6	discuss	discuss	VERB
app01-4437	5	7	novel	novel	ADJ
app01-4437	5	8	approaches	approach	NOUN
app01-4437	5	9	based	base	VERB
app01-4437	5	10	on	on	ADP
app01-4437	5	11	application	application	NOUN
app01-4437	5	12	of	of	ADP
app01-4437	5	13	programmable	programmable	ADJ
app01-4437	5	14	hardware	hardware	NOUN
app01-4437	5	15	which	which	PRON
app01-4437	5	16	is	be	AUX
app01-4437	5	17	described	describe	VERB
app01-4437	5	18	in	in	ADP
app01-4437	5	19	vhdl	vhdl	PROPN
app01-4437	5	20	language	language	PROPN
app01-4437	5	21	,	,	PUNCT
app01-4437	5	22	which	which	PRON
app01-4437	5	23	is	be	AUX
app01-4437	5	24	also	also	ADV
app01-4437	5	25	modification	modification	NOUN
app01-4437	5	26	of	of	ADP
app01-4437	5	27	ada	ada	PROPN
app01-4437	5	28	language	language	PROPN
app01-4437	5	29	.	.	PUNCT
app01-4437	6	1	especially	especially	ADV
app01-4437	6	2	spark	spark	NOUN
app01-4437	6	3	and	and	CCONJ
app01-4437	6	4	vhdl	vhdl	PROPN
app01-4437	6	5	languages	language	NOUN
app01-4437	6	6	represents	represent	VERB
app01-4437	6	7	novel	novel	ADJ
app01-4437	6	8	approaches	approach	NOUN
app01-4437	6	9	to	to	ADP
app01-4437	6	10	safe	safe	ADJ
app01-4437	6	11	system	system	NOUN
app01-4437	6	12	development	development	NOUN
app01-4437	6	13	which	which	PRON
app01-4437	6	14	are	be	AUX
app01-4437	6	15	now	now	ADV
app01-4437	6	16	discussed	discuss	VERB
app01-4437	6	17	in	in	ADP
app01-4437	6	18	relation	relation	NOUN
app01-4437	6	19	to	to	ADP
app01-4437	6	20	new	new	ADJ
app01-4437	6	21	railway	railway	NOUN
app01-4437	6	22	sw	sw	NOUN
app01-4437	6	23	projects	project	NOUN
app01-4437	6	24	.	.	PUNCT
app01-4437	7	1	keywords	keyword	NOUN
app01-4437	7	2	:	:	PUNCT
app01-4437	7	3	misra	misra	ADJ
app01-4437	7	4	,	,	PUNCT
app01-4437	7	5	ada	ada	PROPN
app01-4437	7	6	,	,	PUNCT
app01-4437	7	7	spark	spark	PROPN
app01-4437	7	8	,	,	PUNCT
app01-4437	7	9	vhdl	vhdl	PROPN
app01-4437	7	10	,	,	PUNCT
app01-4437	7	11	programmable	programmable	ADJ
app01-4437	7	12	hardware	hardware	NOUN
app01-4437	7	13	,	,	PUNCT
app01-4437	7	14	software	software	NOUN
app01-4437	7	15	safety	safety	NOUN
app01-4437	7	16	.	.	PUNCT
app01-4437	8	1	1	1	X
app01-4437	8	2	.	.	X
app01-4437	8	3	introduction	introduction	NOUN
app01-4437	8	4	nowadays	nowadays	ADV
app01-4437	8	5	we	we	PRON
app01-4437	8	6	can	can	AUX
app01-4437	8	7	observe	observe	VERB
app01-4437	8	8	two	two	NUM
app01-4437	8	9	opposite	opposite	ADJ
app01-4437	8	10	approaches	approach	NOUN
app01-4437	8	11	to	to	ADP
app01-4437	8	12	modification	modification	NOUN
app01-4437	8	13	of	of	ADP
app01-4437	8	14	programming	programming	NOUN
app01-4437	8	15	languages	language	NOUN
app01-4437	8	16	to	to	PART
app01-4437	8	17	be	be	AUX
app01-4437	8	18	more	more	ADV
app01-4437	8	19	suitable	suitable	ADJ
app01-4437	8	20	to	to	ADP
app01-4437	8	21	safe	safe	ADJ
app01-4437	8	22	system	system	NOUN
app01-4437	8	23	development	development	NOUN
app01-4437	8	24	.	.	PUNCT
app01-4437	9	1	the	the	DET
app01-4437	9	2	first	first	ADJ
app01-4437	9	3	is	be	AUX
app01-4437	9	4	the	the	DET
app01-4437	9	5	reduction	reduction	NOUN
app01-4437	9	6	of	of	ADP
app01-4437	9	7	chosen	choose	VERB
app01-4437	9	8	programming	programming	NOUN
app01-4437	9	9	language	language	NOUN
app01-4437	9	10	expressions	expression	NOUN
app01-4437	9	11	to	to	ADP
app01-4437	9	12	safe	safe	ADJ
app01-4437	9	13	subset	subset	NOUN
app01-4437	9	14	,	,	PUNCT
app01-4437	9	15	like	like	ADP
app01-4437	9	16	misra	misra	NOUN
app01-4437	9	17	c	c	NOUN
app01-4437	9	18	/	/	SYM
app01-4437	9	19	c++	c++	NOUN
app01-4437	9	20	[	[	X
app01-4437	9	21	1	1	NUM
app01-4437	9	22	,	,	PUNCT
app01-4437	9	23	2	2	NUM
app01-4437	9	24	]	]	PUNCT
app01-4437	9	25	and	and	CCONJ
app01-4437	9	26	this	this	DET
app01-4437	9	27	approach	approach	NOUN
app01-4437	9	28	is	be	AUX
app01-4437	9	29	also	also	ADV
app01-4437	9	30	supported	support	VERB
app01-4437	9	31	by	by	ADP
app01-4437	9	32	today	today	NOUN
app01-4437	9	33	standards	standard	NOUN
app01-4437	9	34	of	of	ADP
app01-4437	9	35	safe	safe	ADJ
app01-4437	9	36	software	software	NOUN
app01-4437	9	37	development	development	NOUN
app01-4437	9	38	like	like	ADP
app01-4437	9	39	iso61508	iso61508	NOUN
app01-4437	9	40	[	[	X
app01-4437	9	41	3	3	NUM
app01-4437	9	42	]	]	PUNCT
app01-4437	9	43	or	or	CCONJ
app01-4437	9	44	en50128	en50128	NOUN
app01-4437	9	45	[	[	X
app01-4437	9	46	4	4	NUM
app01-4437	9	47	]	]	PUNCT
app01-4437	9	48	.	.	PUNCT
app01-4437	10	1	in	in	ADP
app01-4437	10	2	the	the	DET
app01-4437	10	3	last	last	ADJ
app01-4437	10	4	few	few	ADJ
app01-4437	10	5	years	year	NOUN
app01-4437	10	6	,	,	PUNCT
app01-4437	10	7	novel	novel	NOUN
app01-4437	10	8	and	and	CCONJ
app01-4437	10	9	partially	partially	ADV
app01-4437	10	10	opposite	opposite	ADJ
app01-4437	10	11	development	development	NOUN
app01-4437	10	12	is	be	AUX
app01-4437	10	13	expanded	expand	VERB
app01-4437	10	14	.	.	PUNCT
app01-4437	11	1	it	it	PRON
app01-4437	11	2	is	be	AUX
app01-4437	11	3	based	base	VERB
app01-4437	11	4	on	on	ADP
app01-4437	11	5	extension	extension	NOUN
app01-4437	11	6	of	of	ADP
app01-4437	11	7	original	original	ADJ
app01-4437	11	8	language	language	NOUN
app01-4437	11	9	by	by	ADP
app01-4437	11	10	additional	additional	ADJ
app01-4437	11	11	explanations	explanation	NOUN
app01-4437	11	12	containing	contain	VERB
app01-4437	11	13	description	description	NOUN
app01-4437	11	14	of	of	ADP
app01-4437	11	15	such	such	ADJ
app01-4437	11	16	aspects	aspect	NOUN
app01-4437	11	17	of	of	ADP
app01-4437	11	18	software	software	NOUN
app01-4437	11	19	,	,	PUNCT
app01-4437	11	20	that	that	PRON
app01-4437	11	21	are	be	AUX
app01-4437	11	22	not	not	PART
app01-4437	11	23	described	describe	VERB
app01-4437	11	24	enough	enough	ADV
app01-4437	11	25	by	by	ADP
app01-4437	11	26	original	original	ADJ
app01-4437	11	27	language	language	NOUN
app01-4437	11	28	.	.	PUNCT
app01-4437	12	1	typical	typical	ADJ
app01-4437	12	2	example	example	NOUN
app01-4437	12	3	is	be	AUX
app01-4437	12	4	spark	spark	NOUN
app01-4437	12	5	[	[	X
app01-4437	12	6	5	5	NUM
app01-4437	12	7	]	]	SYM
app01-4437	12	8	language	language	NOUN
app01-4437	12	9	precisiating	precisiate	VERB
app01-4437	12	10	original	original	ADJ
app01-4437	12	11	ada	ada	NOUN
app01-4437	12	12	one	one	NUM
app01-4437	13	1	[	[	X
app01-4437	13	2	6	6	NUM
app01-4437	13	3	]	]	PUNCT
app01-4437	13	4	even	even	ADV
app01-4437	13	5	though	though	SCONJ
app01-4437	13	6	it	it	PRON
app01-4437	13	7	was	be	AUX
app01-4437	13	8	originally	originally	ADV
app01-4437	13	9	designed	design	VERB
app01-4437	13	10	as	as	ADP
app01-4437	13	11	language	language	NOUN
app01-4437	13	12	specialized	specialize	VERB
app01-4437	13	13	to	to	ADP
app01-4437	13	14	safe	safe	ADJ
app01-4437	13	15	control	control	NOUN
app01-4437	13	16	system	system	NOUN
app01-4437	13	17	development	development	NOUN
app01-4437	13	18	.	.	PUNCT
app01-4437	14	1	2	2	X
app01-4437	14	2	.	.	NUM
app01-4437	14	3	misra	misra	PROPN
app01-4437	14	4	c	c	X
app01-4437	14	5	/	/	SYM
app01-4437	14	6	c++	c++	NOUN
app01-4437	15	1	misra	misra	PROPN
app01-4437	15	2	c	c	PROPN
app01-4437	15	3	(	(	PUNCT
app01-4437	15	4	motor	motor	NOUN
app01-4437	15	5	industry	industry	NOUN
app01-4437	15	6	software	software	NOUN
app01-4437	15	7	reliability	reliability	NOUN
app01-4437	15	8	association	association	PROPN
app01-4437	15	9	)	)	PUNCT
app01-4437	15	10	c	c	PROPN
app01-4437	15	11	language	language	NOUN
app01-4437	15	12	subset	subset	NOUN
app01-4437	15	13	was	be	AUX
app01-4437	15	14	developed	develop	VERB
app01-4437	15	15	in	in	ADP
app01-4437	15	16	1998	1998	NUM
app01-4437	15	17	,	,	PUNCT
app01-4437	15	18	latter	latter	ADV
app01-4437	15	19	it	it	PRON
app01-4437	15	20	was	be	AUX
app01-4437	15	21	updated	update	VERB
app01-4437	15	22	and	and	CCONJ
app01-4437	15	23	also	also	ADV
app01-4437	15	24	there	there	PRON
app01-4437	15	25	was	be	VERB
app01-4437	15	26	developed	develop	VERB
app01-4437	15	27	analogical	analogical	ADJ
app01-4437	15	28	support	support	NOUN
app01-4437	15	29	for	for	ADP
app01-4437	15	30	c++	c++	NOUN
app01-4437	15	31	(	(	PUNCT
app01-4437	15	32	misra	misra	NOUN
app01-4437	15	33	c++	c++	NOUN
app01-4437	15	34	)	)	PUNCT
app01-4437	15	35	.	.	PUNCT
app01-4437	16	1	misra	misra	PROPN
app01-4437	17	1	c	c	X
app01-4437	17	2	/	/	SYM
app01-4437	17	3	c++	c++	NOUN
app01-4437	17	4	defines	define	VERB
app01-4437	17	5	itself	itself	PRON
app01-4437	17	6	as	as	ADP
app01-4437	17	7	guidelines	guideline	NOUN
app01-4437	17	8	.	.	PUNCT
app01-4437	18	1	it	it	PRON
app01-4437	18	2	defines	define	VERB
app01-4437	18	3	language	language	NOUN
app01-4437	18	4	subset	subset	NOUN
app01-4437	18	5	in	in	ADP
app01-4437	18	6	the	the	DET
app01-4437	18	7	form	form	NOUN
app01-4437	18	8	of	of	ADP
app01-4437	18	9	rules	rule	NOUN
app01-4437	18	10	partially	partially	ADV
app01-4437	18	11	suggesting	suggest	VERB
app01-4437	18	12	good	good	ADJ
app01-4437	18	13	practice	practice	NOUN
app01-4437	18	14	solutions	solution	NOUN
app01-4437	18	15	,	,	PUNCT
app01-4437	18	16	frequently	frequently	ADV
app01-4437	18	17	warning	warning	NOUN
app01-4437	18	18	programmers	programmer	NOUN
app01-4437	18	19	away	away	ADV
app01-4437	18	20	of	of	ADP
app01-4437	18	21	wrong	wrong	ADJ
app01-4437	18	22	application	application	NOUN
app01-4437	18	23	of	of	ADP
app01-4437	18	24	the	the	DET
app01-4437	18	25	language	language	NOUN
app01-4437	18	26	.	.	PUNCT
app01-4437	19	1	especially	especially	ADV
app01-4437	19	2	valuable	valuable	ADJ
app01-4437	19	3	of	of	ADP
app01-4437	19	4	misra	misra	ADJ
app01-4437	19	5	guideline	guideline	NOUN
app01-4437	19	6	are	be	AUX
app01-4437	19	7	parts	part	NOUN
app01-4437	19	8	explaining	explain	VERB
app01-4437	19	9	why	why	SCONJ
app01-4437	19	10	was	be	AUX
app01-4437	19	11	each	each	DET
app01-4437	19	12	rule	rule	NOUN
app01-4437	19	13	formed	form	VERB
app01-4437	19	14	,	,	PUNCT
app01-4437	19	15	explaining	explain	VERB
app01-4437	19	16	what	what	PRON
app01-4437	19	17	is	be	AUX
app01-4437	19	18	the	the	DET
app01-4437	19	19	subject	subject	NOUN
app01-4437	19	20	of	of	ADP
app01-4437	19	21	possible	possible	ADJ
app01-4437	19	22	future	future	ADJ
app01-4437	19	23	problem	problem	NOUN
app01-4437	19	24	.	.	PUNCT
app01-4437	20	1	applying	apply	VERB
app01-4437	20	2	of	of	ADP
app01-4437	20	3	this	this	DET
app01-4437	20	4	rules	rule	NOUN
app01-4437	20	5	allows	allow	VERB
app01-4437	20	6	to	to	PART
app01-4437	20	7	write	write	VERB
app01-4437	20	8	robust	robust	ADJ
app01-4437	20	9	code	code	NOUN
app01-4437	20	10	with	with	ADP
app01-4437	20	11	decreased	decrease	VERB
app01-4437	20	12	probability	probability	NOUN
app01-4437	20	13	of	of	ADP
app01-4437	20	14	malfunction	malfunction	NOUN
app01-4437	20	15	.	.	PUNCT
app01-4437	21	1	now	now	ADV
app01-4437	21	2	it	it	PRON
app01-4437	21	3	is	be	AUX
app01-4437	21	4	possible	possible	ADJ
app01-4437	21	5	to	to	PART
app01-4437	21	6	apply	apply	VERB
app01-4437	21	7	compilers	compiler	NOUN
app01-4437	21	8	and	and	CCONJ
app01-4437	21	9	source	source	NOUN
app01-4437	21	10	code	code	NOUN
app01-4437	21	11	checkers	checker	NOUN
app01-4437	21	12	implementing	implement	VERB
app01-4437	21	13	misra	misra	ADJ
app01-4437	21	14	guidelines	guideline	NOUN
app01-4437	21	15	to	to	PART
app01-4437	21	16	allow	allow	VERB
app01-4437	21	17	automatic	automatic	ADJ
app01-4437	21	18	static	static	ADJ
app01-4437	21	19	analysis	analysis	NOUN
app01-4437	21	20	of	of	ADP
app01-4437	21	21	code	code	NOUN
app01-4437	21	22	.	.	PUNCT
app01-4437	22	1	even	even	ADV
app01-4437	22	2	,	,	PUNCT
app01-4437	22	3	there	there	PRON
app01-4437	22	4	exists	exist	VERB
app01-4437	22	5	free	free	ADJ
app01-4437	22	6	software	software	NOUN
app01-4437	22	7	tool	tool	NOUN
app01-4437	22	8	clang	clang	NOUN
app01-4437	22	9	-	-	PUNCT
app01-4437	22	10	misracpp2008	misracpp2008	PROPN
app01-4437	22	11	[	[	X
app01-4437	22	12	7	7	NUM
app01-4437	22	13	]	]	PUNCT
app01-4437	22	14	but	but	CCONJ
app01-4437	22	15	the	the	DET
app01-4437	22	16	development	development	NOUN
app01-4437	22	17	of	of	ADP
app01-4437	22	18	this	this	DET
app01-4437	22	19	tool	tool	NOUN
app01-4437	22	20	probably	probably	ADV
app01-4437	22	21	stopped	stop	VERB
app01-4437	22	22	before	before	ADP
app01-4437	22	23	two	two	NUM
app01-4437	22	24	years	year	NOUN
app01-4437	22	25	.	.	PUNCT
app01-4437	23	1	from	from	ADP
app01-4437	23	2	the	the	DET
app01-4437	23	3	practical	practical	ADJ
app01-4437	23	4	viewpoint	viewpoint	NOUN
app01-4437	23	5	,	,	PUNCT
app01-4437	23	6	misra	misra	PROPN
app01-4437	23	7	guidelines	guideline	NOUN
app01-4437	23	8	checker	checker	NOUN
app01-4437	23	9	implemented	implement	VERB
app01-4437	23	10	in	in	ADP
app01-4437	23	11	compiler	compiler	NOUN
app01-4437	23	12	is	be	AUX
app01-4437	23	13	also	also	ADV
app01-4437	23	14	very	very	ADV
app01-4437	23	15	interesting	interesting	ADJ
app01-4437	23	16	.	.	PUNCT
app01-4437	24	1	it	it	PRON
app01-4437	24	2	is	be	AUX
app01-4437	24	3	even	even	ADV
app01-4437	24	4	better	well	ADJ
app01-4437	24	5	than	than	ADP
app01-4437	24	6	standalone	standalone	ADJ
app01-4437	24	7	checker	checker	NOUN
app01-4437	24	8	because	because	SCONJ
app01-4437	24	9	checking	check	VERB
app01-4437	24	10	in	in	ADP
app01-4437	24	11	compiler	compiler	NOUN
app01-4437	24	12	runs	run	NOUN
app01-4437	24	13	in	in	ADP
app01-4437	24	14	each	each	DET
app01-4437	24	15	code	code	NOUN
app01-4437	24	16	making	making	NOUN
app01-4437	24	17	and	and	CCONJ
app01-4437	24	18	does	do	AUX
app01-4437	24	19	not	not	PART
app01-4437	24	20	require	require	VERB
app01-4437	24	21	additional	additional	ADJ
app01-4437	24	22	checking	checking	NOUN
app01-4437	24	23	operation	operation	NOUN
app01-4437	24	24	step	step	NOUN
app01-4437	24	25	.	.	PUNCT
app01-4437	25	1	many	many	ADJ
app01-4437	25	2	companies	company	NOUN
app01-4437	25	3	producing	produce	VERB
app01-4437	25	4	compilers	compiler	NOUN
app01-4437	25	5	for	for	ADP
app01-4437	25	6	development	development	NOUN
app01-4437	25	7	of	of	ADP
app01-4437	25	8	embedded	embed	VERB
app01-4437	25	9	systems	system	NOUN
app01-4437	25	10	based	base	VERB
app01-4437	25	11	especially	especially	ADV
app01-4437	25	12	on	on	ADP
app01-4437	25	13	single	single	ADJ
app01-4437	25	14	chip	chip	NOUN
app01-4437	25	15	micro	micro	NOUN
app01-4437	25	16	-	-	NOUN
app01-4437	25	17	controllers	controller	NOUN
app01-4437	25	18	,	,	PUNCT
app01-4437	25	19	for	for	ADP
app01-4437	25	20	example	example	NOUN
app01-4437	25	21	keil	keil	PROPN
app01-4437	25	22	software	software	PROPN
app01-4437	25	23	company	company	NOUN
app01-4437	25	24	which	which	PRON
app01-4437	25	25	is	be	AUX
app01-4437	25	26	widely	widely	ADV
app01-4437	25	27	used	use	VERB
app01-4437	25	28	by	by	ADP
app01-4437	25	29	railway	railway	NOUN
app01-4437	25	30	control	control	NOUN
app01-4437	25	31	system	system	NOUN
app01-4437	25	32	developers	developer	NOUN
app01-4437	25	33	community	community	VERB
app01-4437	25	34	in	in	ADP
app01-4437	25	35	our	our	PRON
app01-4437	25	36	country	country	NOUN
app01-4437	25	37	.	.	PUNCT
app01-4437	26	1	there	there	PRON
app01-4437	26	2	exists	exist	VERB
app01-4437	26	3	effort	effort	NOUN
app01-4437	26	4	to	to	PART
app01-4437	26	5	implement	implement	VERB
app01-4437	26	6	misra	misra	ADJ
app01-4437	26	7	rules	rule	NOUN
app01-4437	26	8	into	into	ADP
app01-4437	26	9	gnu	gnu	NOUN
app01-4437	26	10	c	c	PROPN
app01-4437	26	11	/	/	SYM
app01-4437	26	12	c++	c++	NOUN
app01-4437	26	13	compilers	compiler	NOUN
app01-4437	26	14	because	because	SCONJ
app01-4437	26	15	these	these	DET
app01-4437	26	16	compilers	compiler	NOUN
app01-4437	26	17	are	be	AUX
app01-4437	26	18	free	free	ADJ
app01-4437	26	19	,	,	PUNCT
app01-4437	26	20	proven	prove	VERB
app01-4437	26	21	in	in	ADP
app01-4437	26	22	use	use	NOUN
app01-4437	26	23	and	and	CCONJ
app01-4437	26	24	supports	support	VERB
app01-4437	26	25	many	many	ADJ
app01-4437	26	26	processors	processor	NOUN
app01-4437	26	27	and	and	CCONJ
app01-4437	26	28	micro	micro	NOUN
app01-4437	26	29	-	-	NOUN
app01-4437	26	30	controllers	controller	NOUN
app01-4437	26	31	.	.	PUNCT
app01-4437	27	1	one	one	NUM
app01-4437	27	2	of	of	ADP
app01-4437	27	3	the	the	DET
app01-4437	27	4	first	first	ADJ
app01-4437	27	5	works	work	NOUN
app01-4437	27	6	in	in	ADP
app01-4437	27	7	this	this	DET
app01-4437	27	8	areas	area	NOUN
app01-4437	27	9	was	be	AUX
app01-4437	27	10	[	[	X
app01-4437	27	11	8	8	NUM
app01-4437	27	12	]	]	PUNCT
app01-4437	27	13	,	,	PUNCT
app01-4437	27	14	where	where	SCONJ
app01-4437	27	15	authors	author	NOUN
app01-4437	27	16	describe	describe	VERB
app01-4437	27	17	its	its	PRON
app01-4437	27	18	checker	checker	NOUN
app01-4437	27	19	for	for	ADP
app01-4437	27	20	gnu	gnu	PROPN
app01-4437	27	21	c	c	X
app01-4437	27	22	which	which	PRON
app01-4437	27	23	is	be	AUX
app01-4437	27	24	written	write	VERB
app01-4437	27	25	in	in	ADP
app01-4437	27	26	ciao	ciao	PROPN
app01-4437	27	27	prolog	prolog	NOUN
app01-4437	27	28	language	language	NOUN
app01-4437	27	29	into	into	ADP
app01-4437	27	30	which	which	PRON
app01-4437	27	31	misra	misra	NOUN
app01-4437	27	32	rules	rule	NOUN
app01-4437	27	33	they	they	PRON
app01-4437	27	34	were	be	AUX
app01-4437	27	35	transformed	transform	VERB
app01-4437	27	36	.	.	PUNCT
app01-4437	28	1	ciao	ciao	PROPN
app01-4437	28	2	prolog	prolog	PROPN
app01-4437	28	3	is	be	AUX
app01-4437	28	4	similar	similar	ADJ
app01-4437	28	5	to	to	ADP
app01-4437	28	6	gnu	gnu	PROPN
app01-4437	28	7	prolog	prolog	NOUN
app01-4437	28	8	and	and	CCONJ
app01-4437	28	9	is	be	AUX
app01-4437	28	10	also	also	ADV
app01-4437	28	11	free	free	ADJ
app01-4437	28	12	and	and	CCONJ
app01-4437	28	13	compatible	compatible	ADJ
app01-4437	28	14	with	with	ADP
app01-4437	28	15	gnu	gnu	PROPN
app01-4437	28	16	one	one	NUM
app01-4437	29	1	but	but	CCONJ
app01-4437	29	2	it	it	PRON
app01-4437	29	3	seems	seem	VERB
app01-4437	29	4	to	to	PART
app01-4437	29	5	be	be	AUX
app01-4437	29	6	more	more	ADV
app01-4437	29	7	advanced	advanced	ADJ
app01-4437	29	8	than	than	ADP
app01-4437	29	9	gnu	gnu	PROPN
app01-4437	29	10	prolog	prolog	NOUN
app01-4437	29	11	in	in	ADP
app01-4437	29	12	its	its	PRON
app01-4437	29	13	design	design	NOUN
app01-4437	29	14	.	.	PUNCT
app01-4437	30	1	this	this	DET
app01-4437	30	2	project	project	NOUN
app01-4437	30	3	probably	probably	ADV
app01-4437	30	4	is	be	AUX
app01-4437	30	5	not	not	PART
app01-4437	30	6	active	active	ADJ
app01-4437	30	7	now	now	ADV
app01-4437	30	8	.	.	PUNCT
app01-4437	31	1	there	there	PRON
app01-4437	31	2	was	be	VERB
app01-4437	31	3	also	also	ADV
app01-4437	31	4	european	european	ADJ
app01-4437	31	5	project	project	NOUN
app01-4437	31	6	within	within	ADP
app01-4437	31	7	the	the	DET
app01-4437	31	8	frame	frame	NOUN
app01-4437	31	9	of	of	ADP
app01-4437	31	10	itea3	itea3	ADJ
app01-4437	31	11	call	call	NOUN
app01-4437	31	12	for	for	ADP
app01-4437	31	13	development	development	NOUN
app01-4437	31	14	of	of	ADP
app01-4437	31	15	gcc	gcc	NOUN
app01-4437	31	16	fork	fork	NOUN
app01-4437	31	17	called	call	VERB
app01-4437	31	18	ggcc	ggcc	NOUN
app01-4437	32	1	[	[	X
app01-4437	32	2	9	9	NUM
app01-4437	32	3	]	]	PUNCT
app01-4437	32	4	with	with	ADP
app01-4437	32	5	aim	aim	NOUN
app01-4437	32	6	to	to	PART
app01-4437	32	7	implement	implement	VERB
app01-4437	32	8	misra	misra	ADJ
app01-4437	32	9	rule	rule	NOUN
app01-4437	32	10	checking	check	VERB
app01-4437	32	11	into	into	ADP
app01-4437	32	12	gcc	gcc	NOUN
app01-4437	32	13	compiler	compiler	NOUN
app01-4437	32	14	.	.	PUNCT
app01-4437	33	1	this	this	DET
app01-4437	33	2	project	project	NOUN
app01-4437	33	3	probably	probably	ADV
app01-4437	33	4	newer	newer	ADV
app01-4437	33	5	started	start	VERB
app01-4437	33	6	or	or	CCONJ
app01-4437	33	7	produced	produce	VERB
app01-4437	33	8	no	no	DET
app01-4437	33	9	reasonable	reasonable	ADJ
app01-4437	33	10	result	result	NOUN
app01-4437	33	11	.	.	PUNCT
app01-4437	34	1	thus	thus	ADV
app01-4437	34	2	it	it	PRON
app01-4437	34	3	is	be	AUX
app01-4437	34	4	possible	possible	ADJ
app01-4437	34	5	to	to	PART
app01-4437	34	6	conclude	conclude	VERB
app01-4437	34	7	that	that	SCONJ
app01-4437	34	8	now	now	ADV
app01-4437	34	9	there	there	PRON
app01-4437	34	10	is	be	VERB
app01-4437	34	11	no	no	DET
app01-4437	34	12	applicable	applicable	ADJ
app01-4437	34	13	support	support	NOUN
app01-4437	34	14	of	of	ADP
app01-4437	34	15	misra	misra	NOUN
app01-4437	34	16	for	for	ADP
app01-4437	34	17	gnu	gnu	NOUN
app01-4437	34	18	c	c	PROPN
app01-4437	34	19	compilers	compiler	NOUN
app01-4437	34	20	and	and	CCONJ
app01-4437	34	21	that	that	SCONJ
app01-4437	34	22	gnu	gnu	PROPN
app01-4437	34	23	compilers	compiler	NOUN
app01-4437	34	24	development	development	NOUN
app01-4437	34	25	effort	effort	NOUN
app01-4437	34	26	now	now	ADV
app01-4437	34	27	focuses	focus	VERB
app01-4437	34	28	rather	rather	ADV
app01-4437	34	29	to	to	PART
app01-4437	34	30	support	support	VERB
app01-4437	34	31	of	of	ADP
app01-4437	34	32	parallel	parallel	ADJ
app01-4437	34	33	(	(	PUNCT
app01-4437	34	34	super-)computers	super-)computer	NOUN
app01-4437	34	35	,	,	PUNCT
app01-4437	34	36	like	like	ADP
app01-4437	34	37	implementation	implementation	NOUN
app01-4437	34	38	of	of	ADP
app01-4437	34	39	acc	acc	PROPN
app01-4437	34	40	extension	extension	NOUN
app01-4437	34	41	of	of	ADP
app01-4437	34	42	standard	standard	ADJ
app01-4437	34	43	c	c	NOUN
app01-4437	34	44	/	/	SYM
app01-4437	34	45	c++	c++	NOUN
app01-4437	34	46	languages	language	NOUN
app01-4437	34	47	.	.	PUNCT
app01-4437	35	1	misra	misra	PROPN
app01-4437	35	2	c	c	PROPN
app01-4437	35	3	specification	specification	NOUN
app01-4437	35	4	is	be	AUX
app01-4437	35	5	not	not	PART
app01-4437	35	6	public	public	ADJ
app01-4437	35	7	domain	domain	NOUN
app01-4437	35	8	and	and	CCONJ
app01-4437	35	9	this	this	DET
app01-4437	35	10	fact	fact	NOUN
app01-4437	35	11	might	might	AUX
app01-4437	35	12	also	also	ADV
app01-4437	35	13	cause	cause	VERB
app01-4437	35	14	small	small	ADJ
app01-4437	35	15	interest	interest	NOUN
app01-4437	35	16	of	of	ADP
app01-4437	35	17	gnu	gnu	PROPN
app01-4437	35	18	community	community	NOUN
app01-4437	35	19	to	to	PART
app01-4437	35	20	implement	implement	VERB
app01-4437	35	21	this	this	DET
app01-4437	35	22	subset	subset	NOUN
app01-4437	35	23	.	.	PUNCT
app01-4437	36	1	there	there	PRON
app01-4437	36	2	exist	exist	VERB
app01-4437	36	3	also	also	ADV
app01-4437	36	4	similar	similar	ADJ
app01-4437	36	5	subset	subset	NOUN
app01-4437	36	6	called	call	VERB
app01-4437	36	7	high	high	ADJ
app01-4437	36	8	integrity	integrity	NOUN
app01-4437	36	9	c++	c++	NOUN
app01-4437	36	10	[	[	X
app01-4437	36	11	10	10	NUM
app01-4437	36	12	]	]	PUNCT
app01-4437	36	13	by	by	ADP
app01-4437	36	14	programming	programming	NOUN
app01-4437	36	15	research	research	NOUN
app01-4437	36	16	,	,	PUNCT
app01-4437	36	17	but	but	CCONJ
app01-4437	36	18	also	also	ADV
app01-4437	36	19	this	this	DET
app01-4437	36	20	specification	specification	NOUN
app01-4437	36	21	is	be	AUX
app01-4437	36	22	not	not	PART
app01-4437	36	23	public	public	ADJ
app01-4437	36	24	domain	domain	NOUN
app01-4437	36	25	as	as	ADV
app01-4437	36	26	well	well	ADV
app01-4437	36	27	as	as	ADP
app01-4437	36	28	checking	check	VERB
app01-4437	36	29	tools	tool	NOUN
app01-4437	36	30	.	.	PUNCT
app01-4437	37	1	1	1	NUM
app01-4437	37	2	http://dx.doi.org/10.14311/app.2017.11.0001	http://dx.doi.org/10.14311/app.2017.11.0001	VERB
app01-4437	37	3	http://ojs.cvut.cz/ojs/index.php/app	http://ojs.cvut.cz/ojs/index.php/app	NOUN
app01-4437	37	4	tomáš	tomáš	PROPN
app01-4437	37	5	brandejský	brandejský	PROPN
app01-4437	37	6	,	,	PUNCT
app01-4437	37	7	vít	vít	PROPN
app01-4437	37	8	fábera	fábera	NOUN
app01-4437	37	9	acta	acta	PROPN
app01-4437	37	10	polytechnica	polytechnica	PROPN
app01-4437	37	11	ctu	ctu	NOUN
app01-4437	37	12	proceedings	proceeding	NOUN
app01-4437	37	13	3	3	NUM
app01-4437	37	14	.	.	PUNCT
app01-4437	37	15	ada	ada	PROPN
app01-4437	37	16	language	language	PROPN
app01-4437	37	17	origin	origin	NOUN
app01-4437	37	18	of	of	ADP
app01-4437	37	19	ada	ada	PROPN
app01-4437	37	20	language	language	PROPN
app01-4437	37	21	falls	fall	VERB
app01-4437	37	22	into	into	ADP
app01-4437	37	23	falls	fall	NOUN
app01-4437	37	24	into	into	ADP
app01-4437	37	25	80	80	NUM
app01-4437	37	26	’s	’s	NOUN
app01-4437	37	27	of	of	ADP
app01-4437	37	28	previous	previous	ADJ
app01-4437	37	29	century	century	NOUN
app01-4437	37	30	.	.	PUNCT
app01-4437	38	1	this	this	DET
app01-4437	38	2	language	language	NOUN
app01-4437	38	3	was	be	AUX
app01-4437	38	4	developed	develop	VERB
app01-4437	38	5	for	for	ADP
app01-4437	38	6	us	us	PROPN
app01-4437	38	7	army	army	NOUN
app01-4437	38	8	applications	application	NOUN
app01-4437	38	9	as	as	ADP
app01-4437	38	10	safe	safe	ADJ
app01-4437	38	11	,	,	PUNCT
app01-4437	38	12	strong	strong	ADJ
app01-4437	38	13	typing	type	VERB
app01-4437	38	14	programming	programming	NOUN
app01-4437	38	15	language	language	NOUN
app01-4437	38	16	supporting	support	VERB
app01-4437	38	17	parallelism	parallelism	NOUN
app01-4437	38	18	,	,	PUNCT
app01-4437	38	19	inter	inter	ADJ
app01-4437	38	20	-	-	NOUN
app01-4437	38	21	process	process	ADJ
app01-4437	38	22	safe	safe	ADJ
app01-4437	38	23	communication	communication	NOUN
app01-4437	38	24	and	and	CCONJ
app01-4437	38	25	defensive	defensive	ADJ
app01-4437	38	26	programming	programming	NOUN
app01-4437	38	27	style	style	NOUN
app01-4437	38	28	preventing	prevent	VERB
app01-4437	38	29	programmers	programmer	NOUN
app01-4437	38	30	errors	error	NOUN
app01-4437	38	31	and	and	CCONJ
app01-4437	38	32	decreasing	decrease	VERB
app01-4437	38	33	the	the	DET
app01-4437	38	34	need	need	NOUN
app01-4437	38	35	of	of	ADP
app01-4437	38	36	testing	testing	NOUN
app01-4437	38	37	.	.	PUNCT
app01-4437	39	1	this	this	DET
app01-4437	39	2	pascal	pascal	ADJ
app01-4437	39	3	(	(	PUNCT
app01-4437	39	4	or	or	CCONJ
app01-4437	39	5	algol	algol	NOUN
app01-4437	39	6	)	)	PUNCT
app01-4437	39	7	like	like	ADP
app01-4437	39	8	language	language	NOUN
app01-4437	39	9	was	be	AUX
app01-4437	39	10	adopted	adopt	VERB
app01-4437	39	11	in	in	ADP
app01-4437	39	12	avionics	avionic	NOUN
app01-4437	39	13	and	and	CCONJ
app01-4437	39	14	nuclear	nuclear	ADJ
app01-4437	39	15	industry	industry	NOUN
app01-4437	39	16	and	and	CCONJ
app01-4437	39	17	it	it	PRON
app01-4437	39	18	is	be	AUX
app01-4437	39	19	referred	refer	VERB
app01-4437	39	20	by	by	ADP
app01-4437	39	21	safe	safe	ADJ
app01-4437	39	22	software	software	NOUN
app01-4437	39	23	system	system	NOUN
app01-4437	39	24	development	development	NOUN
app01-4437	39	25	standards	standard	NOUN
app01-4437	39	26	[	[	X
app01-4437	39	27	3	3	NUM
app01-4437	39	28	,	,	PUNCT
app01-4437	39	29	4	4	NUM
app01-4437	39	30	]	]	PUNCT
app01-4437	39	31	.	.	PUNCT
app01-4437	40	1	because	because	SCONJ
app01-4437	40	2	the	the	DET
app01-4437	40	3	language	language	NOUN
app01-4437	40	4	was	be	AUX
app01-4437	40	5	designed	design	VERB
app01-4437	40	6	with	with	ADP
app01-4437	40	7	respect	respect	NOUN
app01-4437	40	8	to	to	ADP
app01-4437	40	9	extremely	extremely	ADV
app01-4437	40	10	large	large	ADJ
app01-4437	40	11	scale	scale	NOUN
app01-4437	40	12	control	control	NOUN
app01-4437	40	13	system	system	NOUN
app01-4437	40	14	design	design	NOUN
app01-4437	40	15	operated	operate	VERB
app01-4437	40	16	by	by	ADP
app01-4437	40	17	us	us	PROPN
app01-4437	40	18	ministry	ministry	PROPN
app01-4437	40	19	of	of	ADP
app01-4437	40	20	defence	defence	PROPN
app01-4437	40	21	,	,	PUNCT
app01-4437	40	22	it	it	PRON
app01-4437	40	23	was	be	AUX
app01-4437	40	24	designed	design	VERB
app01-4437	40	25	to	to	PART
app01-4437	40	26	eliminate	eliminate	VERB
app01-4437	40	27	maximum	maximum	NOUN
app01-4437	40	28	of	of	ADP
app01-4437	40	29	programmers	programmer	NOUN
app01-4437	40	30	errors	error	NOUN
app01-4437	40	31	,	,	PUNCT
app01-4437	40	32	ability	ability	NOUN
app01-4437	40	33	to	to	PART
app01-4437	40	34	detect	detect	VERB
app01-4437	40	35	large	large	ADJ
app01-4437	40	36	percentage	percentage	NOUN
app01-4437	40	37	of	of	ADP
app01-4437	40	38	them	they	PRON
app01-4437	40	39	during	during	ADP
app01-4437	40	40	compilation	compilation	NOUN
app01-4437	40	41	of	of	ADP
app01-4437	40	42	code	code	NOUN
app01-4437	40	43	and	and	CCONJ
app01-4437	40	44	with	with	ADP
app01-4437	40	45	ability	ability	NOUN
app01-4437	40	46	to	to	PART
app01-4437	40	47	operate	operate	VERB
app01-4437	40	48	in	in	ADP
app01-4437	40	49	distributed	distributed	ADJ
app01-4437	40	50	environment	environment	NOUN
app01-4437	40	51	with	with	ADP
app01-4437	40	52	respect	respect	NOUN
app01-4437	40	53	to	to	ADP
app01-4437	40	54	possible	possible	ADJ
app01-4437	40	55	communication	communication	NOUN
app01-4437	40	56	errors	error	NOUN
app01-4437	40	57	and	and	CCONJ
app01-4437	40	58	system	system	NOUN
app01-4437	40	59	component	component	NOUN
app01-4437	40	60	faults	fault	NOUN
app01-4437	40	61	.	.	PUNCT
app01-4437	41	1	the	the	DET
app01-4437	41	2	language	language	NOUN
app01-4437	41	3	was	be	AUX
app01-4437	41	4	equipped	equip	VERB
app01-4437	41	5	by	by	ADP
app01-4437	41	6	specific	specific	ADJ
app01-4437	41	7	typing	typing	NOUN
app01-4437	41	8	mechanism	mechanism	NOUN
app01-4437	41	9	supporting	support	VERB
app01-4437	41	10	defensive	defensive	ADJ
app01-4437	41	11	programming	programming	NOUN
app01-4437	41	12	to	to	PART
app01-4437	41	13	support	support	VERB
app01-4437	41	14	ability	ability	NOUN
app01-4437	41	15	of	of	ADP
app01-4437	41	16	error	error	NOUN
app01-4437	41	17	detection	detection	NOUN
app01-4437	41	18	by	by	ADP
app01-4437	41	19	compiler	compiler	NOUN
app01-4437	41	20	.	.	PUNCT
app01-4437	42	1	defensive	defensive	ADJ
app01-4437	42	2	programming	programming	NOUN
app01-4437	42	3	is	be	AUX
app01-4437	42	4	related	relate	VERB
app01-4437	42	5	to	to	ADP
app01-4437	42	6	strong	strong	ADJ
app01-4437	42	7	typing	typing	NOUN
app01-4437	42	8	,	,	PUNCT
app01-4437	42	9	which	which	PRON
app01-4437	42	10	means	mean	VERB
app01-4437	42	11	,	,	PUNCT
app01-4437	42	12	that	that	SCONJ
app01-4437	42	13	magnitudes	magnitude	VERB
app01-4437	42	14	between	between	ADP
app01-4437	42	15	variables	variable	NOUN
app01-4437	42	16	of	of	ADP
app01-4437	42	17	different	different	ADJ
app01-4437	42	18	types	type	NOUN
app01-4437	42	19	can	can	AUX
app01-4437	42	20	not	not	PART
app01-4437	42	21	be	be	AUX
app01-4437	42	22	shared	share	VERB
app01-4437	42	23	without	without	ADP
app01-4437	42	24	explicit	explicit	ADJ
app01-4437	42	25	conversion	conversion	NOUN
app01-4437	42	26	.	.	PUNCT
app01-4437	43	1	because	because	SCONJ
app01-4437	43	2	mainstream	mainstream	NOUN
app01-4437	43	3	programming	programming	NOUN
app01-4437	43	4	languages	language	NOUN
app01-4437	43	5	like	like	SCONJ
app01-4437	43	6	c	c	PROPN
app01-4437	43	7	offer	offer	VERB
app01-4437	43	8	limited	limited	ADJ
app01-4437	43	9	list	list	NOUN
app01-4437	43	10	of	of	ADP
app01-4437	43	11	types	type	NOUN
app01-4437	43	12	(	(	PUNCT
app01-4437	43	13	integer	integer	NOUN
app01-4437	43	14	,	,	PUNCT
app01-4437	43	15	real	real	ADJ
app01-4437	43	16	,	,	PUNCT
app01-4437	43	17	character	character	NOUN
app01-4437	43	18	)	)	PUNCT
app01-4437	43	19	,	,	PUNCT
app01-4437	43	20	the	the	DET
app01-4437	43	21	use	use	NOUN
app01-4437	43	22	of	of	ADP
app01-4437	43	23	type	type	NOUN
app01-4437	43	24	control	control	NOUN
app01-4437	43	25	is	be	AUX
app01-4437	43	26	able	able	ADJ
app01-4437	43	27	to	to	PART
app01-4437	43	28	discover	discover	VERB
app01-4437	43	29	only	only	ADV
app01-4437	43	30	limited	limited	ADJ
app01-4437	43	31	number	number	NOUN
app01-4437	43	32	of	of	ADP
app01-4437	43	33	programmer	programmer	NOUN
app01-4437	43	34	errors	error	NOUN
app01-4437	43	35	when	when	SCONJ
app01-4437	43	36	such	such	ADJ
app01-4437	43	37	languages	language	NOUN
app01-4437	43	38	are	be	AUX
app01-4437	43	39	used	use	VERB
app01-4437	43	40	.	.	PUNCT
app01-4437	44	1	on	on	ADP
app01-4437	44	2	the	the	DET
app01-4437	44	3	opposite	opposite	ADJ
app01-4437	44	4	side	side	NOUN
app01-4437	44	5	,	,	PUNCT
app01-4437	44	6	ada	ada	PROPN
app01-4437	44	7	language	language	NOUN
app01-4437	44	8	offers	offer	VERB
app01-4437	44	9	ways	way	NOUN
app01-4437	44	10	how	how	SCONJ
app01-4437	44	11	to	to	PART
app01-4437	44	12	define	define	VERB
app01-4437	44	13	new	new	ADJ
app01-4437	44	14	data	datum	NOUN
app01-4437	44	15	types	type	NOUN
app01-4437	44	16	e.g.	e.g.	ADV
app01-4437	44	17	by	by	ADP
app01-4437	44	18	constraining	constrain	VERB
app01-4437	44	19	of	of	ADP
app01-4437	44	20	definition	definition	NOUN
app01-4437	44	21	domain	domain	NOUN
app01-4437	44	22	of	of	ADP
app01-4437	44	23	sample	sample	NOUN
app01-4437	44	24	type	type	NOUN
app01-4437	44	25	(	(	PUNCT
app01-4437	44	26	e.g.	e.g.	ADV
app01-4437	44	27	type	type	NOUN
app01-4437	44	28	secondfloornumbers	secondfloornumber	NOUN
app01-4437	44	29	is	be	AUX
app01-4437	44	30	range	range	NOUN
app01-4437	44	31	200	200	NUM
app01-4437	44	32	..	..	SYM
app01-4437	44	33	253	253	NUM
app01-4437	44	34	;	;	PUNCT
app01-4437	44	35	defines	define	VERB
app01-4437	44	36	data	datum	NOUN
app01-4437	44	37	type	type	NOUN
app01-4437	44	38	which	which	DET
app01-4437	44	39	magnitudes	magnitude	NOUN
app01-4437	44	40	are	be	AUX
app01-4437	44	41	constrained	constrain	VERB
app01-4437	44	42	to	to	PART
app01-4437	44	43	really	really	ADV
app01-4437	44	44	existing	exist	VERB
app01-4437	44	45	scale	scale	NOUN
app01-4437	44	46	of	of	ADP
app01-4437	44	47	numbers	number	NOUN
app01-4437	44	48	and	and	CCONJ
app01-4437	44	49	allows	allow	VERB
app01-4437	44	50	to	to	PART
app01-4437	44	51	compiler	compiler	VERB
app01-4437	44	52	to	to	PART
app01-4437	44	53	identify	identify	VERB
app01-4437	44	54	each	each	DET
app01-4437	44	55	impossible	impossible	ADJ
app01-4437	44	56	magnitude	magnitude	NOUN
app01-4437	44	57	caused	cause	VERB
app01-4437	44	58	by	by	ADP
app01-4437	44	59	programmer	programmer	NOUN
app01-4437	44	60	or	or	CCONJ
app01-4437	44	61	communication	communication	NOUN
app01-4437	44	62	error	error	NOUN
app01-4437	44	63	,	,	PUNCT
app01-4437	44	64	e.g.	e.g.	ADV
app01-4437	44	65	0	0	NUM
app01-4437	44	66	)	)	PUNCT
app01-4437	44	67	.	.	PUNCT
app01-4437	45	1	because	because	SCONJ
app01-4437	45	2	strong	strong	ADJ
app01-4437	45	3	typing	typing	NOUN
app01-4437	45	4	might	might	AUX
app01-4437	45	5	be	be	AUX
app01-4437	45	6	exhausting	exhausting	ADJ
app01-4437	45	7	,	,	PUNCT
app01-4437	45	8	when	when	SCONJ
app01-4437	45	9	it	it	PRON
app01-4437	45	10	is	be	AUX
app01-4437	45	11	required	require	VERB
app01-4437	45	12	in	in	ADP
app01-4437	45	13	situations	situation	NOUN
app01-4437	45	14	when	when	SCONJ
app01-4437	45	15	it	it	PRON
app01-4437	45	16	brings	bring	VERB
app01-4437	45	17	to	to	PART
app01-4437	45	18	benefit	benefit	VERB
app01-4437	45	19	,	,	PUNCT
app01-4437	45	20	in	in	ADP
app01-4437	45	21	ada	ada	PROPN
app01-4437	45	22	it	it	PRON
app01-4437	45	23	is	be	AUX
app01-4437	45	24	possible	possible	ADJ
app01-4437	45	25	to	to	PART
app01-4437	45	26	define	define	VERB
app01-4437	45	27	subtypes	subtype	NOUN
app01-4437	45	28	,	,	PUNCT
app01-4437	45	29	which	which	DET
app01-4437	45	30	magnitudes	magnitude	NOUN
app01-4437	45	31	are	be	AUX
app01-4437	45	32	transformed	transform	VERB
app01-4437	45	33	automatically	automatically	ADV
app01-4437	45	34	without	without	ADP
app01-4437	45	35	explicit	explicit	ADJ
app01-4437	45	36	type	type	NOUN
app01-4437	45	37	conversions	conversion	NOUN
app01-4437	45	38	between	between	ADP
app01-4437	45	39	original	original	ADJ
app01-4437	45	40	type	type	NOUN
app01-4437	45	41	and	and	CCONJ
app01-4437	45	42	all	all	PRON
app01-4437	45	43	its	its	PRON
app01-4437	45	44	subtypes	subtype	NOUN
app01-4437	45	45	.	.	PUNCT
app01-4437	46	1	all	all	DET
app01-4437	46	2	data	datum	NOUN
app01-4437	46	3	structures	structure	NOUN
app01-4437	46	4	use	use	VERB
app01-4437	46	5	closing	closing	NOUN
app01-4437	46	6	clause	clause	NOUN
app01-4437	46	7	unambiguously	unambiguously	ADV
app01-4437	46	8	defining	define	VERB
app01-4437	46	9	its	its	PRON
app01-4437	46	10	end	end	NOUN
app01-4437	46	11	to	to	PART
app01-4437	46	12	prevent	prevent	VERB
app01-4437	46	13	mistakes	mistake	NOUN
app01-4437	46	14	caused	cause	VERB
app01-4437	46	15	by	by	ADP
app01-4437	46	16	wrong	wrong	ADJ
app01-4437	46	17	understanding	understanding	NOUN
app01-4437	46	18	of	of	ADP
app01-4437	46	19	nested	nested	ADJ
app01-4437	46	20	structures	structure	NOUN
app01-4437	46	21	in	in	ADP
app01-4437	46	22	the	the	DET
app01-4437	46	23	time	time	NOUN
app01-4437	46	24	of	of	ADP
app01-4437	46	25	development	development	NOUN
app01-4437	46	26	,	,	PUNCT
app01-4437	46	27	testing	testing	NOUN
app01-4437	46	28	and	and	CCONJ
app01-4437	46	29	maintenance	maintenance	NOUN
app01-4437	46	30	.	.	PUNCT
app01-4437	47	1	on	on	ADP
app01-4437	47	2	the	the	DET
app01-4437	47	3	end	end	NOUN
app01-4437	47	4	of	of	ADP
app01-4437	47	5	function	function	NOUN
app01-4437	47	6	and	and	CCONJ
app01-4437	47	7	procedure	procedure	NOUN
app01-4437	47	8	definition	definition	NOUN
app01-4437	47	9	it	it	PRON
app01-4437	47	10	is	be	AUX
app01-4437	47	11	supported	support	VERB
app01-4437	47	12	its	its	PRON
app01-4437	47	13	name	name	NOUN
app01-4437	47	14	stating	state	VERB
app01-4437	47	15	.	.	PUNCT
app01-4437	48	1	for	for	ADP
app01-4437	48	2	many	many	ADJ
app01-4437	48	3	years	year	NOUN
app01-4437	48	4	,	,	PUNCT
app01-4437	48	5	in	in	ADP
app01-4437	48	6	mainstream	mainstream	NOUN
app01-4437	48	7	programming	programming	NOUN
app01-4437	48	8	languages	language	NOUN
app01-4437	48	9	the	the	DET
app01-4437	48	10	support	support	NOUN
app01-4437	48	11	of	of	ADP
app01-4437	48	12	concurrent	concurrent	ADJ
app01-4437	48	13	programming	programming	NOUN
app01-4437	48	14	was	be	AUX
app01-4437	48	15	extraordinary	extraordinary	ADJ
app01-4437	48	16	.	.	PUNCT
app01-4437	49	1	ada	ada	PROPN
app01-4437	49	2	language	language	PROPN
app01-4437	49	3	contains	contain	VERB
app01-4437	49	4	it	it	PRON
app01-4437	49	5	from	from	ADP
app01-4437	49	6	its	its	PRON
app01-4437	49	7	origin	origin	NOUN
app01-4437	49	8	in	in	ADP
app01-4437	49	9	70	70	NUM
app01-4437	49	10	’s	’s	NOUN
app01-4437	49	11	.	.	PUNCT
app01-4437	50	1	ada	ada	PROPN
app01-4437	50	2	allows	allow	VERB
app01-4437	50	3	not	not	PART
app01-4437	50	4	only	only	ADV
app01-4437	50	5	define	define	VERB
app01-4437	50	6	processes	process	NOUN
app01-4437	50	7	,	,	PUNCT
app01-4437	50	8	but	but	CCONJ
app01-4437	50	9	it	it	PRON
app01-4437	50	10	contains	contain	VERB
app01-4437	50	11	strong	strong	ADJ
app01-4437	50	12	support	support	NOUN
app01-4437	50	13	of	of	ADP
app01-4437	50	14	safe	safe	ADJ
app01-4437	50	15	inter	inter	ADJ
app01-4437	50	16	-	-	ADJ
app01-4437	50	17	process	process	NOUN
app01-4437	50	18	communication	communication	NOUN
app01-4437	50	19	and	and	CCONJ
app01-4437	50	20	process	process	NOUN
app01-4437	50	21	synchronization	synchronization	NOUN
app01-4437	50	22	called	call	VERB
app01-4437	50	23	rendezvous	rendezvous	ADJ
app01-4437	50	24	.	.	PUNCT
app01-4437	51	1	each	each	DET
app01-4437	51	2	process	process	NOUN
app01-4437	51	3	has	have	AUX
app01-4437	51	4	defined	define	VERB
app01-4437	51	5	so	so	ADV
app01-4437	51	6	called	call	VERB
app01-4437	51	7	entries	entry	NOUN
app01-4437	51	8	to	to	PART
app01-4437	51	9	accept	accept	VERB
app01-4437	51	10	messages	message	NOUN
app01-4437	51	11	sent	send	VERB
app01-4437	51	12	by	by	ADP
app01-4437	51	13	other	other	ADJ
app01-4437	51	14	processes	process	NOUN
app01-4437	51	15	and	and	CCONJ
app01-4437	51	16	is	be	AUX
app01-4437	51	17	able	able	ADJ
app01-4437	51	18	to	to	PART
app01-4437	51	19	send	send	VERB
app01-4437	51	20	messages	message	NOUN
app01-4437	51	21	to	to	ADP
app01-4437	51	22	entries	entry	NOUN
app01-4437	51	23	of	of	ADP
app01-4437	51	24	other	other	ADJ
app01-4437	51	25	ones	one	NOUN
app01-4437	51	26	.	.	PUNCT
app01-4437	52	1	but	but	CCONJ
app01-4437	52	2	not	not	PART
app01-4437	52	3	only	only	ADV
app01-4437	52	4	.	.	PUNCT
app01-4437	53	1	it	it	PRON
app01-4437	53	2	is	be	AUX
app01-4437	53	3	possible	possible	ADJ
app01-4437	53	4	to	to	PART
app01-4437	53	5	choose	choose	VERB
app01-4437	53	6	,	,	PUNCT
app01-4437	53	7	which	which	DET
app01-4437	53	8	messages	message	NOUN
app01-4437	53	9	will	will	AUX
app01-4437	53	10	be	be	AUX
app01-4437	53	11	accepted	accept	VERB
app01-4437	53	12	in	in	ADP
app01-4437	53	13	given	give	VERB
app01-4437	53	14	state	state	NOUN
app01-4437	53	15	of	of	ADP
app01-4437	53	16	process	process	NOUN
app01-4437	53	17	and	and	CCONJ
app01-4437	53	18	it	it	PRON
app01-4437	53	19	is	be	AUX
app01-4437	53	20	possible	possible	ADJ
app01-4437	53	21	to	to	PART
app01-4437	53	22	define	define	VERB
app01-4437	53	23	reactions	reaction	NOUN
app01-4437	53	24	to	to	ADP
app01-4437	53	25	unexpected	unexpected	ADJ
app01-4437	53	26	situations	situation	NOUN
app01-4437	53	27	,	,	PUNCT
app01-4437	53	28	especially	especially	ADV
app01-4437	53	29	to	to	PART
app01-4437	53	30	fact	fact	VERB
app01-4437	53	31	,	,	PUNCT
app01-4437	53	32	that	that	SCONJ
app01-4437	53	33	given	give	VERB
app01-4437	53	34	message	message	NOUN
app01-4437	53	35	was	be	AUX
app01-4437	53	36	not	not	PART
app01-4437	53	37	received	receive	VERB
app01-4437	53	38	for	for	ADP
app01-4437	53	39	given	give	VERB
app01-4437	53	40	time	time	NOUN
app01-4437	53	41	.	.	PUNCT
app01-4437	54	1	each	each	DET
app01-4437	54	2	process	process	NOUN
app01-4437	54	3	might	might	AUX
app01-4437	54	4	define	define	VERB
app01-4437	54	5	its	its	PRON
app01-4437	54	6	local	local	ADJ
app01-4437	54	7	variables	variable	NOUN
app01-4437	54	8	and	and	CCONJ
app01-4437	54	9	separate	separate	VERB
app01-4437	54	10	itself	itself	PRON
app01-4437	54	11	from	from	ADP
app01-4437	54	12	others	other	NOUN
app01-4437	54	13	.	.	PUNCT
app01-4437	55	1	due	due	ADP
app01-4437	55	2	to	to	ADP
app01-4437	55	3	its	its	PRON
app01-4437	55	4	real	real	ADJ
app01-4437	55	5	time	time	NOUN
app01-4437	55	6	orientation	orientation	NOUN
app01-4437	55	7	,	,	PUNCT
app01-4437	55	8	ada	ada	PROPN
app01-4437	55	9	language	language	NOUN
app01-4437	55	10	supports	support	VERB
app01-4437	55	11	exception	exception	NOUN
app01-4437	55	12	handling	handling	NOUN
app01-4437	55	13	to	to	PART
app01-4437	55	14	solve	solve	VERB
app01-4437	55	15	unexpected	unexpected	ADJ
app01-4437	55	16	situation	situation	NOUN
app01-4437	55	17	without	without	ADP
app01-4437	55	18	program	program	NOUN
app01-4437	55	19	fail	fail	VERB
app01-4437	55	20	.	.	PUNCT
app01-4437	56	1	there	there	PRON
app01-4437	56	2	is	be	VERB
app01-4437	56	3	present	present	ADJ
app01-4437	56	4	concept	concept	NOUN
app01-4437	56	5	of	of	ADP
app01-4437	56	6	modular	modular	ADJ
app01-4437	56	7	programming	programming	NOUN
app01-4437	56	8	which	which	PRON
app01-4437	56	9	applied	apply	VERB
app01-4437	56	10	templates	template	NOUN
app01-4437	56	11	(	(	PUNCT
app01-4437	56	12	modules	module	NOUN
app01-4437	56	13	without	without	ADP
app01-4437	56	14	precisely	precisely	ADV
app01-4437	56	15	defined	define	VERB
app01-4437	56	16	types	type	NOUN
app01-4437	56	17	,	,	PUNCT
app01-4437	56	18	operators	operator	NOUN
app01-4437	56	19	,	,	PUNCT
app01-4437	56	20	procedures	procedure	NOUN
app01-4437	56	21	and	and	CCONJ
app01-4437	56	22	functions	function	NOUN
app01-4437	56	23	which	which	PRON
app01-4437	56	24	might	might	AUX
app01-4437	56	25	be	be	AUX
app01-4437	56	26	precisiated	precisiate	VERB
app01-4437	56	27	later	later	ADV
app01-4437	56	28	in	in	ADP
app01-4437	56	29	the	the	DET
app01-4437	56	30	time	time	NOUN
app01-4437	56	31	of	of	ADP
app01-4437	56	32	final	final	ADJ
app01-4437	56	33	program	program	NOUN
app01-4437	56	34	linking	linking	NOUN
app01-4437	56	35	.	.	PUNCT
app01-4437	57	1	it	it	PRON
app01-4437	57	2	allows	allow	VERB
app01-4437	57	3	e.g.	e.g.	ADV
app01-4437	57	4	to	to	PART
app01-4437	57	5	write	write	VERB
app01-4437	57	6	sorting	sort	VERB
app01-4437	57	7	algorithm	algorithm	NOUN
app01-4437	57	8	library	library	NOUN
app01-4437	57	9	without	without	ADP
app01-4437	57	10	knowledge	knowledge	NOUN
app01-4437	57	11	of	of	ADP
app01-4437	57	12	sorted	sorted	ADJ
app01-4437	57	13	data	data	NOUN
app01-4437	57	14	type	type	NOUN
app01-4437	57	15	.	.	PUNCT
app01-4437	58	1	such	such	ADJ
app01-4437	58	2	library	library	NOUN
app01-4437	58	3	si	si	X
app01-4437	58	4	then	then	ADV
app01-4437	58	5	applicable	applicable	ADJ
app01-4437	58	6	to	to	ADP
app01-4437	58	7	any	any	DET
app01-4437	58	8	data	data	NOUN
app01-4437	58	9	type	type	NOUN
app01-4437	58	10	implementing	implement	VERB
app01-4437	58	11	assignment	assignment	NOUN
app01-4437	58	12	and	and	CCONJ
app01-4437	58	13	comparison	comparison	NOUN
app01-4437	58	14	operators	operator	NOUN
app01-4437	58	15	.	.	PUNCT
app01-4437	59	1	latter	latter	PROPN
app01-4437	59	2	ada	ada	PROPN
app01-4437	59	3	adopted	adopt	VERB
app01-4437	59	4	object	object	VERB
app01-4437	59	5	oriented	orient	VERB
app01-4437	59	6	programming	programming	NOUN
app01-4437	59	7	concept	concept	NOUN
app01-4437	59	8	but	but	CCONJ
app01-4437	59	9	it	it	PRON
app01-4437	59	10	is	be	AUX
app01-4437	59	11	not	not	PART
app01-4437	59	12	widely	widely	ADV
app01-4437	59	13	used	use	VERB
app01-4437	59	14	as	as	ADP
app01-4437	59	15	e.g.	e.g.	ADV
app01-4437	59	16	c	c	NOUN
app01-4437	59	17	/	/	SYM
app01-4437	59	18	c++	c++	NOUN
app01-4437	59	19	,	,	PUNCT
app01-4437	59	20	java	java	NOUN
app01-4437	59	21	and	and	CCONJ
app01-4437	59	22	some	some	DET
app01-4437	59	23	other	other	ADJ
app01-4437	59	24	languages	language	NOUN
app01-4437	59	25	,	,	PUNCT
app01-4437	59	26	especially	especially	ADV
app01-4437	59	27	due	due	ADJ
app01-4437	59	28	to	to	ADP
app01-4437	59	29	high	high	ADJ
app01-4437	59	30	price	price	NOUN
app01-4437	59	31	of	of	ADP
app01-4437	59	32	commercial	commercial	ADJ
app01-4437	59	33	compilers	compiler	NOUN
app01-4437	59	34	and	and	CCONJ
app01-4437	59	35	need	need	NOUN
app01-4437	59	36	of	of	ADP
app01-4437	59	37	specific	specific	ADJ
app01-4437	59	38	education	education	NOUN
app01-4437	59	39	of	of	ADP
app01-4437	59	40	programmers	programmer	NOUN
app01-4437	59	41	.	.	PUNCT
app01-4437	60	1	similarly	similarly	ADV
app01-4437	60	2	like	like	VERB
app01-4437	60	3	for	for	ADP
app01-4437	60	4	c	c	NOUN
app01-4437	60	5	/	/	SYM
app01-4437	60	6	c++	c++	NOUN
app01-4437	60	7	,	,	PUNCT
app01-4437	60	8	also	also	ADV
app01-4437	60	9	for	for	ADP
app01-4437	60	10	ada	ada	PROPN
app01-4437	60	11	language	language	NOUN
app01-4437	60	12	there	there	PRON
app01-4437	60	13	was	be	VERB
app01-4437	60	14	effort	effort	NOUN
app01-4437	60	15	to	to	PART
app01-4437	60	16	develop	develop	VERB
app01-4437	60	17	safe	safe	ADJ
app01-4437	60	18	subset	subset	NOUN
app01-4437	60	19	to	to	PART
app01-4437	60	20	increase	increase	VERB
app01-4437	60	21	its	its	PRON
app01-4437	60	22	(	(	PUNCT
app01-4437	60	23	high	high	ADJ
app01-4437	60	24	)	)	PUNCT
app01-4437	60	25	safety	safety	NOUN
app01-4437	60	26	.	.	PUNCT
app01-4437	61	1	also	also	ADV
app01-4437	61	2	standards	standard	VERB
app01-4437	61	3	[	[	X
app01-4437	61	4	3	3	NUM
app01-4437	61	5	,	,	PUNCT
app01-4437	61	6	4	4	NUM
app01-4437	61	7	]	]	PUNCT
app01-4437	61	8	refers	refer	VERB
app01-4437	61	9	this	this	DET
app01-4437	61	10	subset	subset	NOUN
app01-4437	61	11	but	but	CCONJ
app01-4437	61	12	in	in	ADP
app01-4437	61	13	reality	reality	NOUN
app01-4437	61	14	nothing	nothing	PRON
app01-4437	61	15	such	such	ADJ
app01-4437	61	16	exists	exist	VERB
app01-4437	61	17	.	.	PUNCT
app01-4437	62	1	the	the	DET
app01-4437	62	2	improving	improving	NOUN
app01-4437	62	3	of	of	ADP
app01-4437	62	4	ada	ada	PROPN
app01-4437	62	5	language	language	NOUN
app01-4437	62	6	was	be	AUX
app01-4437	62	7	moving	move	VERB
app01-4437	62	8	different	different	ADJ
app01-4437	62	9	way	way	NOUN
app01-4437	62	10	and	and	CCONJ
app01-4437	62	11	tends	tend	VERB
app01-4437	62	12	to	to	PART
app01-4437	62	13	spark	spark	VERB
app01-4437	62	14	language	language	NOUN
app01-4437	62	15	,	,	PUNCT
app01-4437	62	16	especially	especially	ADV
app01-4437	62	17	due	due	ADJ
app01-4437	62	18	to	to	ADP
app01-4437	62	19	impossibility	impossibility	NOUN
app01-4437	62	20	do	do	AUX
app01-4437	62	21	make	make	VERB
app01-4437	62	22	such	such	ADJ
app01-4437	62	23	simple	simple	ADJ
app01-4437	62	24	programmers	programmer	NOUN
app01-4437	62	25	errors	error	NOUN
app01-4437	62	26	as	as	SCONJ
app01-4437	62	27	they	they	PRON
app01-4437	62	28	are	be	AUX
app01-4437	62	29	solved	solve	VERB
app01-4437	62	30	by	by	ADP
app01-4437	62	31	misra	misra	NOUN
app01-4437	62	32	for	for	ADP
app01-4437	62	33	c	c	NOUN
app01-4437	62	34	/	/	SYM
app01-4437	62	35	c++	c++	NOUN
app01-4437	62	36	.	.	PUNCT
app01-4437	63	1	significant	significant	ADJ
app01-4437	63	2	part	part	NOUN
app01-4437	63	3	of	of	ADP
app01-4437	63	4	such	such	ADJ
app01-4437	63	5	errors	error	NOUN
app01-4437	63	6	can	can	AUX
app01-4437	63	7	not	not	PART
app01-4437	63	8	occur	occur	VERB
app01-4437	63	9	in	in	ADP
app01-4437	63	10	standard	standard	PROPN
app01-4437	63	11	ada	ada	PROPN
app01-4437	63	12	and	and	CCONJ
app01-4437	63	13	thus	thus	ADV
app01-4437	63	14	its	its	PRON
app01-4437	63	15	improvement	improvement	NOUN
app01-4437	63	16	is	be	AUX
app01-4437	63	17	much	much	ADV
app01-4437	63	18	difficult	difficult	ADJ
app01-4437	63	19	,	,	PUNCT
app01-4437	63	20	because	because	SCONJ
app01-4437	63	21	even	even	ADV
app01-4437	63	22	original	original	ADJ
app01-4437	63	23	(	(	PUNCT
app01-4437	63	24	full	full	ADJ
app01-4437	63	25	scale	scale	NOUN
app01-4437	63	26	)	)	PUNCT
app01-4437	63	27	ada	ada	PROPN
app01-4437	63	28	operates	operate	VERB
app01-4437	63	29	on	on	ADP
app01-4437	63	30	different	different	ADJ
app01-4437	63	31	(	(	PUNCT
app01-4437	63	32	much	much	ADV
app01-4437	63	33	higher	high	ADJ
app01-4437	63	34	)	)	PUNCT
app01-4437	63	35	level	level	NOUN
app01-4437	63	36	of	of	ADP
app01-4437	63	37	safety	safety	NOUN
app01-4437	63	38	than	than	ADP
app01-4437	63	39	e.g.	e.g.	ADV
app01-4437	63	40	c.	c.	NOUN
app01-4437	63	41	there	there	PRON
app01-4437	63	42	exist	exist	VERB
app01-4437	63	43	support	support	NOUN
app01-4437	63	44	of	of	ADP
app01-4437	63	45	ada	ada	PROPN
app01-4437	63	46	language	language	NOUN
app01-4437	63	47	based	base	VERB
app01-4437	63	48	on	on	ADP
app01-4437	63	49	gnu	gnu	PROPN
app01-4437	63	50	compiler	compiler	NOUN
app01-4437	63	51	collection	collection	NOUN
app01-4437	63	52	,	,	PUNCT
app01-4437	63	53	but	but	CCONJ
app01-4437	63	54	it	it	PRON
app01-4437	63	55	means	mean	VERB
app01-4437	63	56	that	that	SCONJ
app01-4437	63	57	there	there	PRON
app01-4437	63	58	are	be	VERB
app01-4437	63	59	supported	support	VERB
app01-4437	63	60	especially	especially	ADV
app01-4437	63	61	versatile	versatile	ADJ
app01-4437	63	62	operating	operating	NOUN
app01-4437	63	63	systems	system	NOUN
app01-4437	63	64	like	like	ADP
app01-4437	63	65	linux	linux	PROPN
app01-4437	63	66	and	and	CCONJ
app01-4437	63	67	common	common	ADJ
app01-4437	63	68	purpose	purpose	NOUN
app01-4437	63	69	processors	processor	NOUN
app01-4437	63	70	.	.	PUNCT
app01-4437	64	1	there	there	PRON
app01-4437	64	2	is	be	VERB
app01-4437	64	3	also	also	ADV
app01-4437	64	4	interesting	interesting	ADJ
app01-4437	64	5	,	,	PUNCT
app01-4437	64	6	that	that	DET
app01-4437	64	7	compiler	compiler	NOUN
app01-4437	64	8	is	be	AUX
app01-4437	64	9	not	not	PART
app01-4437	64	10	named	name	VERB
app01-4437	64	11	ada	ada	PROPN
app01-4437	64	12	compiler	compiler	NOUN
app01-4437	64	13	,	,	PUNCT
app01-4437	64	14	but	but	CCONJ
app01-4437	64	15	by	by	ADP
app01-4437	64	16	acronym	acronym	NOUN
app01-4437	64	17	gnat	gnat	NOUN
app01-4437	64	18	.	.	PUNCT
app01-4437	65	1	it	it	PRON
app01-4437	65	2	is	be	AUX
app01-4437	65	3	caused	cause	VERB
app01-4437	65	4	by	by	ADP
app01-4437	65	5	licensing	licensing	NOUN
app01-4437	65	6	,	,	PUNCT
app01-4437	65	7	when	when	SCONJ
app01-4437	65	8	ada	ada	PROPN
app01-4437	65	9	compiler	compiler	NOUN
app01-4437	65	10	term	term	NOUN
app01-4437	65	11	can	can	AUX
app01-4437	65	12	be	be	AUX
app01-4437	65	13	used	use	VERB
app01-4437	65	14	only	only	ADV
app01-4437	65	15	for	for	ADP
app01-4437	65	16	compiler	compiler	NOUN
app01-4437	65	17	satisfying	satisfy	VERB
app01-4437	65	18	large	large	ADJ
app01-4437	65	19	(	(	PUNCT
app01-4437	65	20	and	and	CCONJ
app01-4437	65	21	thus	thus	ADV
app01-4437	65	22	expensive	expensive	ADJ
app01-4437	65	23	)	)	PUNCT
app01-4437	65	24	verification	verification	NOUN
app01-4437	65	25	,	,	PUNCT
app01-4437	65	26	which	which	PRON
app01-4437	65	27	is	be	AUX
app01-4437	65	28	out	out	ADP
app01-4437	65	29	of	of	ADP
app01-4437	65	30	scope	scope	NOUN
app01-4437	65	31	of	of	ADP
app01-4437	65	32	gnu	gnu	PROPN
app01-4437	65	33	community	community	PROPN
app01-4437	65	34	.	.	PUNCT
app01-4437	66	1	spark	spark	NOUN
app01-4437	66	2	language	language	NOUN
app01-4437	66	3	is	be	AUX
app01-4437	66	4	not	not	PART
app01-4437	66	5	pure	pure	ADJ
app01-4437	66	6	subset	subset	NOUN
app01-4437	66	7	.	.	PUNCT
app01-4437	67	1	it	it	PRON
app01-4437	67	2	also	also	ADV
app01-4437	67	3	extends	extend	VERB
app01-4437	67	4	ada	ada	PROPN
app01-4437	67	5	code	code	PROPN
app01-4437	67	6	by	by	ADP
app01-4437	67	7	additional	additional	ADJ
app01-4437	67	8	information	information	NOUN
app01-4437	67	9	to	to	PART
app01-4437	67	10	eliminate	eliminate	VERB
app01-4437	67	11	potential	potential	ADJ
app01-4437	67	12	ambiguities	ambiguity	NOUN
app01-4437	67	13	and	and	CCONJ
app01-4437	67	14	insecurities	insecurity	NOUN
app01-4437	67	15	hidden	hide	VERB
app01-4437	67	16	in	in	ADP
app01-4437	67	17	ada	ada	PROPN
app01-4437	67	18	source	source	NOUN
app01-4437	67	19	codes	code	NOUN
app01-4437	67	20	.	.	PUNCT
app01-4437	68	1	the	the	DET
app01-4437	68	2	main	main	ADJ
app01-4437	68	3	changes	change	NOUN
app01-4437	68	4	to	to	ADP
app01-4437	68	5	standard	standard	PROPN
app01-4437	68	6	ada	ada	PROPN
app01-4437	68	7	language	language	NOUN
app01-4437	68	8	are	be	AUX
app01-4437	68	9	the	the	DET
app01-4437	68	10	following	follow	VERB
app01-4437	68	11	:	:	PUNCT
app01-4437	68	12	•	•	ADP
app01-4437	68	13	the	the	DET
app01-4437	68	14	use	use	NOUN
app01-4437	68	15	of	of	ADP
app01-4437	68	16	access	access	NOUN
app01-4437	68	17	types	type	NOUN
app01-4437	68	18	and	and	CCONJ
app01-4437	68	19	allocators	allocator	NOUN
app01-4437	68	20	is	be	AUX
app01-4437	68	21	not	not	PART
app01-4437	68	22	permitted	permit	VERB
app01-4437	68	23	(	(	PUNCT
app01-4437	68	24	term	term	NOUN
app01-4437	68	25	access	access	NOUN
app01-4437	68	26	in	in	ADP
app01-4437	68	27	ada	ada	PROPN
app01-4437	68	28	denotes	denotes	PROPN
app01-4437	68	29	pointer	pointer	NOUN
app01-4437	68	30	–	–	PUNCT
app01-4437	68	31	more	more	ADV
app01-4437	68	32	frequent	frequent	ADJ
app01-4437	68	33	term	term	NOUN
app01-4437	68	34	known	know	VERB
app01-4437	68	35	from	from	ADP
app01-4437	68	36	the	the	DET
app01-4437	68	37	other	other	ADJ
app01-4437	68	38	programming	programming	NOUN
app01-4437	68	39	languages	language	NOUN
app01-4437	68	40	,	,	PUNCT
app01-4437	68	41	its	its	PRON
app01-4437	68	42	misuse	misuse	NOUN
app01-4437	68	43	might	might	AUX
app01-4437	68	44	cause	cause	VERB
app01-4437	68	45	significant	significant	ADJ
app01-4437	68	46	errors	error	NOUN
app01-4437	68	47	hard	hard	ADJ
app01-4437	68	48	to	to	PART
app01-4437	68	49	discover	discover	VERB
app01-4437	68	50	by	by	ADP
app01-4437	68	51	testing	testing	NOUN
app01-4437	68	52	)	)	PUNCT
app01-4437	68	53	.	.	PUNCT
app01-4437	69	1	•	•	NUM
app01-4437	69	2	all	all	DET
app01-4437	69	3	expressions	expression	NOUN
app01-4437	69	4	(	(	PUNCT
app01-4437	69	5	including	include	VERB
app01-4437	69	6	function	function	NOUN
app01-4437	69	7	calls	call	NOUN
app01-4437	69	8	)	)	PUNCT
app01-4437	69	9	are	be	AUX
app01-4437	69	10	free	free	ADJ
app01-4437	69	11	of	of	ADP
app01-4437	69	12	side	side	NOUN
app01-4437	69	13	-	-	PUNCT
app01-4437	69	14	effects	effect	NOUN
app01-4437	69	15	.	.	PUNCT
app01-4437	70	1	this	this	DET
app01-4437	70	2	improvement	improvement	NOUN
app01-4437	70	3	was	be	AUX
app01-4437	70	4	reached	reach	VERB
app01-4437	70	5	by	by	ADP
app01-4437	70	6	incorporating	incorporate	VERB
app01-4437	70	7	of	of	ADP
app01-4437	70	8	additional	additional	ADJ
app01-4437	70	9	description	description	NOUN
app01-4437	70	10	of	of	ADP
app01-4437	70	11	use	use	NOUN
app01-4437	70	12	of	of	ADP
app01-4437	70	13	variables	variable	NOUN
app01-4437	70	14	and	and	CCONJ
app01-4437	70	15	symbols	symbol	NOUN
app01-4437	70	16	visible	visible	ADJ
app01-4437	70	17	from	from	ADP
app01-4437	70	18	neighborhood	neighborhood	NOUN
app01-4437	70	19	to	to	PART
app01-4437	70	20	prevent	prevent	VERB
app01-4437	70	21	e.g.	e.g.	ADV
app01-4437	70	22	mistaking	mistake	VERB
app01-4437	70	23	of	of	ADP
app01-4437	70	24	global	global	ADJ
app01-4437	70	25	and	and	CCONJ
app01-4437	70	26	local	local	ADJ
app01-4437	70	27	variable	variable	NOUN
app01-4437	70	28	of	of	ADP
app01-4437	70	29	the	the	DET
app01-4437	70	30	same	same	ADJ
app01-4437	70	31	name	name	NOUN
app01-4437	70	32	.	.	PUNCT
app01-4437	71	1	•	•	NUM
app01-4437	71	2	aliasing	aliasing	NOUN
app01-4437	71	3	of	of	ADP
app01-4437	71	4	names	name	NOUN
app01-4437	71	5	is	be	AUX
app01-4437	71	6	not	not	PART
app01-4437	71	7	permitted	permit	VERB
app01-4437	71	8	in	in	ADP
app01-4437	71	9	general	general	ADJ
app01-4437	71	10	but	but	CCONJ
app01-4437	71	11	the	the	DET
app01-4437	71	12	renaming	renaming	NOUN
app01-4437	71	13	of	of	ADP
app01-4437	71	14	entities	entity	NOUN
app01-4437	71	15	is	be	AUX
app01-4437	71	16	permitted	permit	VERB
app01-4437	71	17	as	as	SCONJ
app01-4437	71	18	there	there	PRON
app01-4437	71	19	is	be	VERB
app01-4437	71	20	a	a	DET
app01-4437	71	21	static	static	ADJ
app01-4437	71	22	2	2	NUM
app01-4437	71	23	vol	vol	NOUN
app01-4437	71	24	.	.	PUNCT
app01-4437	72	1	11/2017	11/2017	NUM
app01-4437	72	2	comparison	comparison	NOUN
app01-4437	72	3	of	of	ADP
app01-4437	72	4	language	language	NOUN
app01-4437	72	5	subset	subset	NOUN
app01-4437	72	6	and	and	CCONJ
app01-4437	72	7	language	language	NOUN
app01-4437	72	8	extension	extension	NOUN
app01-4437	72	9	relationship	relationship	NOUN
app01-4437	72	10	between	between	ADP
app01-4437	72	11	the	the	DET
app01-4437	72	12	two	two	NUM
app01-4437	72	13	names	name	NOUN
app01-4437	72	14	.	.	PUNCT
app01-4437	73	1	in	in	ADP
app01-4437	73	2	analysis	analysis	NOUN
app01-4437	73	3	all	all	DET
app01-4437	73	4	names	name	NOUN
app01-4437	73	5	introduced	introduce	VERB
app01-4437	73	6	by	by	ADP
app01-4437	73	7	a	a	DET
app01-4437	73	8	renaming	rename	VERB
app01-4437	73	9	declaration	declaration	NOUN
app01-4437	73	10	are	be	AUX
app01-4437	73	11	replaced	replace	VERB
app01-4437	73	12	by	by	ADP
app01-4437	73	13	the	the	DET
app01-4437	73	14	name	name	NOUN
app01-4437	73	15	of	of	ADP
app01-4437	73	16	the	the	DET
app01-4437	73	17	renamed	rename	VERB
app01-4437	73	18	entity	entity	NOUN
app01-4437	73	19	.	.	PUNCT
app01-4437	74	1	this	this	DET
app01-4437	74	2	replacement	replacement	NOUN
app01-4437	74	3	is	be	AUX
app01-4437	74	4	applied	apply	VERB
app01-4437	74	5	recursively	recursively	ADV
app01-4437	74	6	when	when	SCONJ
app01-4437	74	7	there	there	PRON
app01-4437	74	8	are	be	VERB
app01-4437	74	9	multiple	multiple	ADJ
app01-4437	74	10	renames	rename	NOUN
app01-4437	74	11	of	of	ADP
app01-4437	74	12	an	an	DET
app01-4437	74	13	entity	entity	NOUN
app01-4437	74	14	.	.	PUNCT
app01-4437	75	1	•	•	NUM
app01-4437	75	2	the	the	DET
app01-4437	75	3	goto	goto	ADJ
app01-4437	75	4	statement	statement	NOUN
app01-4437	75	5	is	be	AUX
app01-4437	75	6	not	not	PART
app01-4437	75	7	permitted	permit	VERB
app01-4437	75	8	.	.	PUNCT
app01-4437	76	1	•	•	NUM
app01-4437	76	2	the	the	DET
app01-4437	76	3	use	use	NOUN
app01-4437	76	4	of	of	ADP
app01-4437	76	5	controlled	control	VERB
app01-4437	76	6	types	type	NOUN
app01-4437	76	7	is	be	AUX
app01-4437	76	8	not	not	PART
app01-4437	76	9	currently	currently	ADV
app01-4437	76	10	permitted	permit	VERB
app01-4437	76	11	.	.	PUNCT
app01-4437	77	1	•	•	NUM
app01-4437	77	2	tasks	task	NOUN
app01-4437	77	3	and	and	CCONJ
app01-4437	77	4	protected	protect	VERB
app01-4437	77	5	objects	object	NOUN
app01-4437	77	6	are	be	AUX
app01-4437	77	7	permitted	permit	VERB
app01-4437	77	8	only	only	ADV
app01-4437	77	9	if	if	SCONJ
app01-4437	77	10	the	the	DET
app01-4437	77	11	ravenscar	ravenscar	NOUN
app01-4437	77	12	profile	profile	NOUN
app01-4437	77	13	(	(	PUNCT
app01-4437	77	14	or	or	CCONJ
app01-4437	77	15	the	the	DET
app01-4437	77	16	extended	extended	ADJ
app01-4437	77	17	ravenscar	ravenscar	NOUN
app01-4437	77	18	profile	profile	NOUN
app01-4437	77	19	)	)	PUNCT
app01-4437	77	20	is	be	AUX
app01-4437	77	21	specified	specify	VERB
app01-4437	77	22	.	.	PUNCT
app01-4437	78	1	ravenscar	ravenscar	NOUN
app01-4437	78	2	profile	profile	PROPN
app01-4437	78	3	denotes	denote	NOUN
app01-4437	78	4	set	set	VERB
app01-4437	78	5	of	of	ADP
app01-4437	78	6	pragmas	pragma	NOUN
app01-4437	78	7	influencing	influence	VERB
app01-4437	78	8	compiler	compiler	NOUN
app01-4437	78	9	work	work	NOUN
app01-4437	78	10	to	to	PART
app01-4437	78	11	prevent	prevent	VERB
app01-4437	78	12	some	some	DET
app01-4437	78	13	possibly	possibly	ADV
app01-4437	78	14	unsafe	unsafe	ADJ
app01-4437	78	15	construction	construction	NOUN
app01-4437	78	16	in	in	ADP
app01-4437	78	17	ada	ada	PROPN
app01-4437	78	18	code	code	PROPN
app01-4437	78	19	.	.	PUNCT
app01-4437	79	1	ravenscar	ravenscar	NOUN
app01-4437	79	2	profile	profile	NOUN
app01-4437	79	3	is	be	AUX
app01-4437	79	4	available	available	ADJ
app01-4437	79	5	in	in	ADP
app01-4437	79	6	standard	standard	PROPN
app01-4437	79	7	ada	ada	PROPN
app01-4437	79	8	too	too	ADV
app01-4437	79	9	,	,	PUNCT
app01-4437	79	10	in	in	ADP
app01-4437	79	11	spark	spark	NOUN
app01-4437	79	12	is	be	AUX
app01-4437	79	13	is	be	AUX
app01-4437	79	14	not	not	PART
app01-4437	79	15	option	option	NOUN
app01-4437	80	1	but	but	CCONJ
app01-4437	80	2	he	he	PRON
app01-4437	80	3	standard	standard	NOUN
app01-4437	80	4	.	.	PUNCT
app01-4437	81	1	•	•	PUNCT
app01-4437	81	2	raising	raise	VERB
app01-4437	81	3	and	and	CCONJ
app01-4437	81	4	handling	handling	NOUN
app01-4437	81	5	of	of	ADP
app01-4437	81	6	exceptions	exception	NOUN
app01-4437	81	7	is	be	AUX
app01-4437	81	8	not	not	PART
app01-4437	81	9	currently	currently	ADV
app01-4437	81	10	permitted	permit	VERB
app01-4437	81	11	(	(	PUNCT
app01-4437	81	12	exceptions	exception	NOUN
app01-4437	81	13	can	can	AUX
app01-4437	81	14	be	be	AUX
app01-4437	81	15	included	include	VERB
app01-4437	81	16	in	in	ADP
app01-4437	81	17	a	a	DET
app01-4437	81	18	program	program	NOUN
app01-4437	81	19	but	but	CCONJ
app01-4437	81	20	proof	proof	NOUN
app01-4437	81	21	must	must	AUX
app01-4437	81	22	be	be	AUX
app01-4437	81	23	used	use	VERB
app01-4437	81	24	to	to	PART
app01-4437	81	25	show	show	VERB
app01-4437	81	26	that	that	SCONJ
app01-4437	81	27	they	they	PRON
app01-4437	81	28	can	can	AUX
app01-4437	81	29	not	not	PART
app01-4437	81	30	be	be	AUX
app01-4437	81	31	raised	raise	VERB
app01-4437	81	32	)	)	PUNCT
app01-4437	81	33	.	.	PUNCT
app01-4437	82	1	misra	misra	PROPN
app01-4437	83	1	c	c	X
app01-4437	83	2	/	/	SYM
app01-4437	83	3	c++	c++	NOUN
app01-4437	83	4	especially	especially	ADV
app01-4437	83	5	eliminates	eliminate	VERB
app01-4437	83	6	confusing	confusing	ADJ
app01-4437	83	7	structures	structure	NOUN
app01-4437	83	8	which	which	PRON
app01-4437	83	9	might	might	AUX
app01-4437	83	10	be	be	AUX
app01-4437	83	11	understand	understand	VERB
app01-4437	83	12	differently	differently	ADV
app01-4437	83	13	by	by	ADP
app01-4437	83	14	compiler	compiler	NOUN
app01-4437	83	15	,	,	PUNCT
app01-4437	83	16	programmer	programmer	NOUN
app01-4437	83	17	and	and	CCONJ
app01-4437	83	18	structures	structure	NOUN
app01-4437	83	19	which	which	PRON
app01-4437	83	20	are	be	AUX
app01-4437	83	21	differently	differently	ADV
app01-4437	83	22	understand	understand	VERB
app01-4437	83	23	by	by	ADP
app01-4437	83	24	different	different	ADJ
app01-4437	83	25	compilers	compiler	NOUN
app01-4437	83	26	,	,	PUNCT
app01-4437	83	27	especially	especially	ADV
app01-4437	83	28	due	due	ADJ
app01-4437	83	29	to	to	PART
app01-4437	83	30	vague	vague	ADJ
app01-4437	83	31	language	language	NOUN
app01-4437	83	32	definition	definition	NOUN
app01-4437	83	33	(	(	PUNCT
app01-4437	83	34	it	it	PRON
app01-4437	83	35	is	be	AUX
app01-4437	83	36	especially	especially	ADV
app01-4437	83	37	problem	problem	NOUN
app01-4437	83	38	of	of	ADP
app01-4437	83	39	c	c	NOUN
app01-4437	83	40	language	language	NOUN
app01-4437	83	41	,	,	PUNCT
app01-4437	83	42	c++	c++	NOUN
app01-4437	83	43	in	in	ADP
app01-4437	83	44	its	its	PRON
app01-4437	83	45	last	last	ADJ
app01-4437	83	46	version	version	NOUN
app01-4437	83	47	was	be	AUX
app01-4437	83	48	significantly	significantly	ADV
app01-4437	83	49	improved	improve	VERB
app01-4437	83	50	,	,	PUNCT
app01-4437	83	51	precisiated	precisiate	VERB
app01-4437	83	52	)	)	PUNCT
app01-4437	83	53	.	.	PUNCT
app01-4437	84	1	for	for	ADP
app01-4437	84	2	example	example	NOUN
app01-4437	84	3	if	if	SCONJ
app01-4437	84	4	there	there	PRON
app01-4437	84	5	is	be	VERB
app01-4437	84	6	used	use	VERB
app01-4437	84	7	condition	condition	NOUN
app01-4437	84	8	(	(	PUNCT
app01-4437	84	9	(	(	PUNCT
app01-4437	84	10	x==a)&&(y==b	x==a)&&(y==b	ADJ
app01-4437	84	11	)	)	PUNCT
app01-4437	84	12	)	)	PUNCT
app01-4437	84	13	,	,	PUNCT
app01-4437	84	14	there	there	PRON
app01-4437	84	15	is	be	VERB
app01-4437	84	16	not	not	PART
app01-4437	84	17	defined	define	VERB
app01-4437	84	18	in	in	ADP
app01-4437	84	19	language	language	NOUN
app01-4437	84	20	specification	specification	NOUN
app01-4437	84	21	if	if	SCONJ
app01-4437	84	22	the	the	DET
app01-4437	84	23	sub	sub	NOUN
app01-4437	84	24	-	-	NOUN
app01-4437	84	25	expression	expression	NOUN
app01-4437	84	26	(	(	PUNCT
app01-4437	84	27	x==a	x==a	PROPN
app01-4437	84	28	)	)	PUNCT
app01-4437	84	29	is	be	AUX
app01-4437	84	30	evaluated	evaluate	VERB
app01-4437	84	31	as	as	ADP
app01-4437	84	32	the	the	DET
app01-4437	84	33	first	first	ADJ
app01-4437	84	34	or	or	CCONJ
app01-4437	84	35	the	the	DET
app01-4437	84	36	second	second	ADJ
app01-4437	84	37	.	.	PUNCT
app01-4437	85	1	it	it	PRON
app01-4437	85	2	is	be	AUX
app01-4437	85	3	no	no	DET
app01-4437	85	4	problem	problem	NOUN
app01-4437	85	5	until	until	SCONJ
app01-4437	85	6	we	we	PRON
app01-4437	85	7	do	do	VERB
app01-4437	85	8	modification	modification	NOUN
app01-4437	85	9	of	of	ADP
app01-4437	85	10	this	this	DET
app01-4437	85	11	condition	condition	NOUN
app01-4437	85	12	to	to	PART
app01-4437	85	13	form	form	VERB
app01-4437	85	14	(	(	PUNCT
app01-4437	85	15	(	(	PUNCT
app01-4437	85	16	x()==a)&&(y()==b	x()==a)&&(y()==b	PROPN
app01-4437	85	17	)	)	PUNCT
app01-4437	85	18	)	)	PUNCT
app01-4437	85	19	.	.	PUNCT
app01-4437	86	1	in	in	ADP
app01-4437	86	2	this	this	DET
app01-4437	86	3	new	new	ADJ
app01-4437	86	4	condition	condition	NOUN
app01-4437	86	5	x	x	PUNCT
app01-4437	86	6	and	and	CCONJ
app01-4437	86	7	y	y	PROPN
app01-4437	86	8	are	be	AUX
app01-4437	86	9	not	not	PART
app01-4437	86	10	static	static	ADJ
app01-4437	86	11	objects	object	NOUN
app01-4437	86	12	(	(	PUNCT
app01-4437	86	13	variables	variable	NOUN
app01-4437	86	14	)	)	PUNCT
app01-4437	86	15	,	,	PUNCT
app01-4437	86	16	but	but	CCONJ
app01-4437	86	17	they	they	PRON
app01-4437	86	18	are	be	AUX
app01-4437	86	19	function	function	NOUN
app01-4437	86	20	calls	call	NOUN
app01-4437	86	21	and	and	CCONJ
app01-4437	86	22	functions	function	NOUN
app01-4437	86	23	might	might	AUX
app01-4437	86	24	contain	contain	VERB
app01-4437	86	25	so	so	ADV
app01-4437	86	26	-	-	PUNCT
app01-4437	86	27	called	call	VERB
app01-4437	86	28	side	side	NOUN
app01-4437	86	29	effects	effect	NOUN
app01-4437	86	30	,	,	PUNCT
app01-4437	86	31	in	in	ADP
app01-4437	86	32	this	this	DET
app01-4437	86	33	case	case	NOUN
app01-4437	86	34	they	they	PRON
app01-4437	86	35	might	might	AUX
app01-4437	86	36	operate	operate	VERB
app01-4437	86	37	the	the	DET
app01-4437	86	38	same	same	ADJ
app01-4437	86	39	global	global	ADJ
app01-4437	86	40	variable	variable	NOUN
app01-4437	86	41	and	and	CCONJ
app01-4437	86	42	thus	thus	ADV
app01-4437	86	43	the	the	DET
app01-4437	86	44	results	result	NOUN
app01-4437	86	45	of	of	ADP
app01-4437	86	46	calls	call	NOUN
app01-4437	86	47	of	of	ADP
app01-4437	86	48	functions	function	NOUN
app01-4437	86	49	x	x	X
app01-4437	86	50	(	(	PUNCT
app01-4437	86	51	)	)	PUNCT
app01-4437	86	52	and	and	CCONJ
app01-4437	86	53	y	y	PROPN
app01-4437	86	54	(	(	PUNCT
app01-4437	86	55	)	)	PUNCT
app01-4437	86	56	might	might	AUX
app01-4437	86	57	be	be	AUX
app01-4437	86	58	influenced	influence	VERB
app01-4437	86	59	by	by	ADP
app01-4437	86	60	call	call	NOUN
app01-4437	86	61	order	order	NOUN
app01-4437	86	62	.	.	PUNCT
app01-4437	87	1	this	this	DET
app01-4437	87	2	subset	subset	NOUN
app01-4437	87	3	has	have	VERB
app01-4437	87	4	also	also	ADV
app01-4437	87	5	many	many	ADJ
app01-4437	87	6	rules	rule	NOUN
app01-4437	87	7	eliminating	eliminate	VERB
app01-4437	87	8	confusing	confusing	ADJ
app01-4437	87	9	structures	structure	NOUN
app01-4437	87	10	causing	cause	VERB
app01-4437	87	11	misunderstandings	misunderstanding	NOUN
app01-4437	87	12	by	by	ADP
app01-4437	87	13	programmers	programmer	NOUN
app01-4437	87	14	and	and	CCONJ
app01-4437	87	15	testers	tester	NOUN
app01-4437	87	16	.	.	PUNCT
app01-4437	88	1	misra	misra	ADJ
app01-4437	88	2	subsets	subset	NOUN
app01-4437	88	3	contain	contain	VERB
app01-4437	88	4	tens	ten	NOUN
app01-4437	88	5	such	such	ADJ
app01-4437	88	6	confusing	confusing	ADJ
app01-4437	88	7	structures	structure	NOUN
app01-4437	88	8	.	.	PUNCT
app01-4437	89	1	e.g.	e.g.	ADV
app01-4437	89	2	it	it	PRON
app01-4437	89	3	is	be	AUX
app01-4437	89	4	possible	possible	ADJ
app01-4437	89	5	to	to	PART
app01-4437	89	6	mention	mention	VERB
app01-4437	89	7	constants	constant	NOUN
app01-4437	89	8	starting	start	VERB
app01-4437	89	9	with	with	ADP
app01-4437	89	10	zero	zero	NUM
app01-4437	89	11	(	(	PUNCT
app01-4437	89	12	they	they	PRON
app01-4437	89	13	are	be	AUX
app01-4437	89	14	understood	understand	VERB
app01-4437	89	15	by	by	ADP
app01-4437	89	16	compilers	compiler	NOUN
app01-4437	89	17	as	as	ADP
app01-4437	89	18	octal	octal	ADJ
app01-4437	89	19	numbers	number	NOUN
app01-4437	89	20	by	by	ADP
app01-4437	89	21	definition	definition	NOUN
app01-4437	89	22	)	)	PUNCT
app01-4437	89	23	,	,	PUNCT
app01-4437	89	24	problem	problem	NOUN
app01-4437	89	25	of	of	ADP
app01-4437	89	26	nested	nested	ADJ
app01-4437	89	27	structures	structure	NOUN
app01-4437	89	28	if	if	SCONJ
app01-4437	89	29	-	-	PUNCT
app01-4437	89	30	else	else	ADV
app01-4437	89	31	which	which	PRON
app01-4437	89	32	might	might	AUX
app01-4437	89	33	not	not	PART
app01-4437	89	34	contain	contain	VERB
app01-4437	89	35	else	else	ADJ
app01-4437	89	36	branch	branch	NOUN
app01-4437	89	37	and	and	CCONJ
app01-4437	89	38	no	no	DET
app01-4437	89	39	terminal	terminal	ADJ
app01-4437	89	40	symbol	symbol	NOUN
app01-4437	89	41	stopping	stop	VERB
app01-4437	89	42	this	this	DET
app01-4437	89	43	structure	structure	NOUN
app01-4437	89	44	is	be	AUX
app01-4437	89	45	defined	define	VERB
app01-4437	89	46	in	in	ADP
app01-4437	89	47	the	the	DET
app01-4437	89	48	language	language	NOUN
app01-4437	89	49	and	and	CCONJ
app01-4437	89	50	so	so	ADV
app01-4437	89	51	on	on	ADV
app01-4437	89	52	.	.	PUNCT
app01-4437	90	1	4	4	X
app01-4437	90	2	.	.	X
app01-4437	90	3	spark	spark	NOUN
app01-4437	90	4	spark	spark	NOUN
app01-4437	90	5	language	language	NOUN
app01-4437	90	6	introduces	introduce	NOUN
app01-4437	90	7	explicit	explicit	ADJ
app01-4437	90	8	description	description	NOUN
app01-4437	90	9	of	of	ADP
app01-4437	90	10	use	use	NOUN
app01-4437	90	11	of	of	ADP
app01-4437	90	12	global	global	ADJ
app01-4437	90	13	objects	object	NOUN
app01-4437	90	14	(	(	PUNCT
app01-4437	90	15	and	and	CCONJ
app01-4437	90	16	commonly	commonly	ADV
app01-4437	90	17	objects	object	NOUN
app01-4437	90	18	defined	define	VERB
app01-4437	90	19	on	on	ADP
app01-4437	90	20	higher	high	ADJ
app01-4437	90	21	level	level	NOUN
app01-4437	90	22	of	of	ADP
app01-4437	90	23	visibility	visibility	NOUN
app01-4437	90	24	)	)	PUNCT
app01-4437	90	25	called	call	VERB
app01-4437	90	26	dependencies	dependency	NOUN
app01-4437	90	27	.	.	PUNCT
app01-4437	91	1	the	the	DET
app01-4437	91	2	use	use	NOUN
app01-4437	91	3	of	of	ADP
app01-4437	91	4	these	these	DET
app01-4437	91	5	additional	additional	ADJ
app01-4437	91	6	descriptions	description	NOUN
app01-4437	91	7	is	be	AUX
app01-4437	91	8	known	know	VERB
app01-4437	91	9	from	from	ADP
app01-4437	91	10	design	design	NOUN
app01-4437	91	11	by	by	ADP
app01-4437	91	12	contract	contract	NOUN
app01-4437	91	13	methodology	methodology	NOUN
app01-4437	91	14	,	,	PUNCT
app01-4437	91	15	which	which	PRON
app01-4437	91	16	was	be	AUX
app01-4437	91	17	on	on	ADP
app01-4437	91	18	the	the	DET
app01-4437	91	19	origin	origin	NOUN
app01-4437	91	20	of	of	ADP
app01-4437	91	21	such	such	ADJ
app01-4437	91	22	languages	language	NOUN
app01-4437	91	23	as	as	ADP
app01-4437	91	24	eiffel	eiffel	NOUN
app01-4437	91	25	[	[	X
app01-4437	91	26	11	11	NUM
app01-4437	91	27	]	]	PUNCT
app01-4437	91	28	.	.	PUNCT
app01-4437	92	1	this	this	DET
app01-4437	92	2	methodology	methodology	NOUN
app01-4437	92	3	prescribes	prescribe	VERB
app01-4437	92	4	that	that	SCONJ
app01-4437	92	5	software	software	NOUN
app01-4437	92	6	designers	designer	NOUN
app01-4437	92	7	should	should	AUX
app01-4437	92	8	define	define	VERB
app01-4437	92	9	formal	formal	ADJ
app01-4437	92	10	,	,	PUNCT
app01-4437	92	11	precise	precise	ADJ
app01-4437	92	12	and	and	CCONJ
app01-4437	92	13	verifiable	verifiable	ADJ
app01-4437	92	14	interface	interface	NOUN
app01-4437	92	15	specifications	specification	NOUN
app01-4437	92	16	for	for	ADP
app01-4437	92	17	software	software	NOUN
app01-4437	92	18	components	component	NOUN
app01-4437	92	19	,	,	PUNCT
app01-4437	92	20	which	which	PRON
app01-4437	92	21	extend	extend	VERB
app01-4437	92	22	the	the	DET
app01-4437	92	23	ordinary	ordinary	ADJ
app01-4437	92	24	definition	definition	NOUN
app01-4437	92	25	of	of	ADP
app01-4437	92	26	abstract	abstract	ADJ
app01-4437	92	27	data	datum	NOUN
app01-4437	92	28	types	type	NOUN
app01-4437	92	29	with	with	ADP
app01-4437	92	30	preconditions	precondition	NOUN
app01-4437	92	31	,	,	PUNCT
app01-4437	92	32	postconditions	postcondition	NOUN
app01-4437	92	33	and	and	CCONJ
app01-4437	92	34	invariants	invariant	NOUN
app01-4437	92	35	.	.	PUNCT
app01-4437	93	1	preconditions	precondition	NOUN
app01-4437	93	2	are	be	AUX
app01-4437	93	3	conditions	condition	NOUN
app01-4437	93	4	which	which	PRON
app01-4437	93	5	must	must	AUX
app01-4437	93	6	be	be	AUX
app01-4437	93	7	satisfied	satisfied	ADJ
app01-4437	93	8	to	to	PART
app01-4437	93	9	enter	enter	VERB
app01-4437	93	10	the	the	DET
app01-4437	93	11	following	follow	VERB
app01-4437	93	12	section	section	NOUN
app01-4437	93	13	.	.	PUNCT
app01-4437	94	1	opposite	opposite	ADJ
app01-4437	94	2	postcondition	postcondition	NOUN
app01-4437	94	3	must	must	AUX
app01-4437	94	4	be	be	AUX
app01-4437	94	5	satisfied	satisfied	ADJ
app01-4437	94	6	on	on	ADP
app01-4437	94	7	the	the	DET
app01-4437	94	8	end	end	NOUN
app01-4437	94	9	of	of	ADP
app01-4437	94	10	the	the	DET
app01-4437	94	11	block	block	NOUN
app01-4437	94	12	and	and	CCONJ
app01-4437	94	13	the	the	DET
app01-4437	94	14	invariant	invariant	NOUN
app01-4437	94	15	must	must	AUX
app01-4437	94	16	be	be	AUX
app01-4437	94	17	valid	valid	ADJ
app01-4437	94	18	inside	inside	ADP
app01-4437	94	19	the	the	DET
app01-4437	94	20	block	block	NOUN
app01-4437	94	21	.	.	PUNCT
app01-4437	95	1	5	5	X
app01-4437	95	2	.	.	X
app01-4437	95	3	vhdl	vhdl	PROPN
app01-4437	95	4	vhdl	vhdl	PROPN
app01-4437	95	5	(	(	PUNCT
app01-4437	95	6	vhsic	vhsic	NOUN
app01-4437	95	7	hardware	hardware	NOUN
app01-4437	95	8	description	description	NOUN
app01-4437	95	9	language	language	NOUN
app01-4437	95	10	)	)	PUNCT
app01-4437	96	1	[	[	X
app01-4437	96	2	12	12	NUM
app01-4437	96	3	]	]	PUNCT
app01-4437	96	4	is	be	AUX
app01-4437	96	5	now	now	ADV
app01-4437	96	6	frequently	frequently	ADV
app01-4437	96	7	used	use	VERB
app01-4437	96	8	in	in	ADP
app01-4437	96	9	programming	programming	NOUN
app01-4437	96	10	of	of	ADP
app01-4437	96	11	field	field	NOUN
app01-4437	96	12	-	-	PUNCT
app01-4437	96	13	programmable	programmable	ADJ
app01-4437	96	14	gate	gate	NOUN
app01-4437	96	15	arrays	array	VERB
app01-4437	96	16	.	.	PUNCT
app01-4437	97	1	it	it	PRON
app01-4437	97	2	describes	describe	VERB
app01-4437	97	3	structure	structure	NOUN
app01-4437	97	4	and/or	and/or	CCONJ
app01-4437	97	5	behaviour	behaviour	NOUN
app01-4437	97	6	of	of	ADP
app01-4437	97	7	digital	digital	ADJ
app01-4437	97	8	hardware	hardware	NOUN
app01-4437	97	9	.	.	PUNCT
app01-4437	98	1	vhdl	vhdl	PROPN
app01-4437	98	2	is	be	AUX
app01-4437	98	3	similar	similar	ADJ
app01-4437	98	4	to	to	ADP
app01-4437	98	5	ada	ada	PROPN
app01-4437	98	6	language	language	NOUN
app01-4437	98	7	both	both	CCONJ
app01-4437	98	8	in	in	ADP
app01-4437	98	9	concept	concept	NOUN
app01-4437	98	10	and	and	CCONJ
app01-4437	98	11	syntax	syntax	NOUN
app01-4437	98	12	(	(	PUNCT
app01-4437	98	13	parallel	parallel	ADJ
app01-4437	98	14	processes	process	NOUN
app01-4437	98	15	,	,	PUNCT
app01-4437	98	16	subtypes	subtype	NOUN
app01-4437	98	17	,	,	PUNCT
app01-4437	98	18	...	...	PUNCT
app01-4437	98	19	)	)	PUNCT
app01-4437	98	20	.	.	PUNCT
app01-4437	99	1	it	it	PRON
app01-4437	99	2	was	be	AUX
app01-4437	99	3	primarily	primarily	ADV
app01-4437	99	4	proposed	propose	VERB
app01-4437	99	5	for	for	ADP
app01-4437	99	6	simulation	simulation	NOUN
app01-4437	99	7	,	,	PUNCT
app01-4437	99	8	now	now	ADV
app01-4437	99	9	the	the	DET
app01-4437	99	10	vhdl	vhdl	PROPN
app01-4437	99	11	description	description	NOUN
app01-4437	99	12	is	be	AUX
app01-4437	99	13	an	an	DET
app01-4437	99	14	input	input	NOUN
app01-4437	99	15	for	for	ADP
app01-4437	99	16	synthesis	synthesis	NOUN
app01-4437	99	17	tool	tool	NOUN
app01-4437	99	18	instead	instead	ADV
app01-4437	99	19	of	of	ADP
app01-4437	99	20	schematic	schematic	ADJ
app01-4437	99	21	diagram	diagram	NOUN
app01-4437	99	22	to	to	PART
app01-4437	99	23	produce	produce	VERB
app01-4437	99	24	final	final	ADJ
app01-4437	99	25	design	design	NOUN
app01-4437	99	26	.	.	PUNCT
app01-4437	100	1	the	the	DET
app01-4437	100	2	interesting	interesting	ADJ
app01-4437	100	3	question	question	NOUN
app01-4437	100	4	is	be	AUX
app01-4437	100	5	,	,	PUNCT
app01-4437	100	6	if	if	SCONJ
app01-4437	100	7	the	the	DET
app01-4437	100	8	similarity	similarity	NOUN
app01-4437	100	9	of	of	ADP
app01-4437	100	10	vhdl	vhdl	PROPN
app01-4437	100	11	and	and	CCONJ
app01-4437	100	12	ada	ada	PROPN
app01-4437	100	13	languages	language	NOUN
app01-4437	100	14	can	can	AUX
app01-4437	100	15	not	not	PART
app01-4437	100	16	be	be	AUX
app01-4437	100	17	used	use	VERB
app01-4437	100	18	to	to	ADP
app01-4437	100	19	description	description	NOUN
app01-4437	100	20	of	of	ADP
app01-4437	100	21	both	both	DET
app01-4437	100	22	sw	sw	PROPN
app01-4437	100	23	a	a	DET
app01-4437	100	24	fpga	fpga	PROPN
app01-4437	100	25	implementation	implementation	NOUN
app01-4437	100	26	of	of	ADP
app01-4437	100	27	systems	system	NOUN
app01-4437	100	28	with	with	ADP
app01-4437	100	29	high	high	ADJ
app01-4437	100	30	requirements	requirement	NOUN
app01-4437	100	31	to	to	ADP
app01-4437	100	32	reliability	reliability	NOUN
app01-4437	100	33	,	,	PUNCT
app01-4437	100	34	applicability	applicability	NOUN
app01-4437	100	35	,	,	PUNCT
app01-4437	100	36	maintenance	maintenance	NOUN
app01-4437	100	37	and	and	CCONJ
app01-4437	100	38	safety	safety	NOUN
app01-4437	100	39	.	.	PUNCT
app01-4437	101	1	simulation	simulation	NOUN
app01-4437	101	2	of	of	ADP
app01-4437	101	3	system	system	NOUN
app01-4437	101	4	described	describe	VERB
app01-4437	101	5	by	by	ADP
app01-4437	101	6	vhdl	vhdl	PROPN
app01-4437	101	7	language	language	NOUN
app01-4437	101	8	is	be	AUX
app01-4437	101	9	not	not	PART
app01-4437	101	10	straightforward	straightforward	ADJ
app01-4437	101	11	due	due	ADJ
app01-4437	101	12	to	to	PART
app01-4437	101	13	need	need	VERB
app01-4437	101	14	to	to	PART
app01-4437	101	15	respect	respect	VERB
app01-4437	101	16	signal	signal	NOUN
app01-4437	101	17	and	and	CCONJ
app01-4437	101	18	not	not	PART
app01-4437	101	19	process	process	VERB
app01-4437	101	20	oriented	orient	VERB
app01-4437	101	21	nature	nature	NOUN
app01-4437	101	22	of	of	ADP
app01-4437	101	23	fpga	fpga	PROPN
app01-4437	101	24	.	.	PUNCT
app01-4437	102	1	this	this	DET
app01-4437	102	2	nature	nature	NOUN
app01-4437	102	3	caused	cause	VERB
app01-4437	102	4	presence	presence	NOUN
app01-4437	102	5	of	of	ADP
app01-4437	102	6	sensitivity	sensitivity	NOUN
app01-4437	102	7	list	list	NOUN
app01-4437	102	8	in	in	ADP
app01-4437	102	9	vhdl	vhdl	PROPN
app01-4437	102	10	code	code	PROPN
app01-4437	102	11	.	.	PUNCT
app01-4437	103	1	in	in	ADP
app01-4437	103	2	vhdl	vhdl	PROPN
app01-4437	103	3	,	,	PUNCT
app01-4437	103	4	the	the	DET
app01-4437	103	5	proces	proces	PROPN
app01-4437	103	6	statement	statement	NOUN
app01-4437	103	7	has	have	VERB
app01-4437	103	8	an	an	DET
app01-4437	103	9	part	part	NOUN
app01-4437	103	10	called	call	VERB
app01-4437	103	11	sensitivity	sensitivity	NOUN
app01-4437	103	12	list	list	NOUN
app01-4437	103	13	.	.	PUNCT
app01-4437	104	1	the	the	DET
app01-4437	104	2	syntax	syntax	NOUN
app01-4437	104	3	is	be	AUX
app01-4437	104	4	as	as	SCONJ
app01-4437	104	5	follows	follow	VERB
app01-4437	104	6	:	:	PUNCT
app01-4437	105	1	[	[	X
app01-4437	105	2	process_label:]process[(sensitivity_list	process_label:]process[(sensitivity_list	NOUN
app01-4437	105	3	)	)	PUNCT
app01-4437	105	4	]	]	PUNCT
app01-4437	106	1	declarative_part	declarative_part	PROPN
app01-4437	106	2	begin	begin	VERB
app01-4437	106	3	statement_part	statement_part	PROPN
app01-4437	106	4	end	end	NOUN
app01-4437	106	5	process[process_label	process[process_label	PROPN
app01-4437	106	6	]	]	PUNCT
app01-4437	106	7	;	;	PUNCT
app01-4437	106	8	example	example	NOUN
app01-4437	106	9	:	:	PUNCT
app01-4437	106	10	andgate1	andgate1	NOUN
app01-4437	106	11	:	:	PUNCT
app01-4437	106	12	process	process	NOUN
app01-4437	106	13	(	(	PUNCT
app01-4437	106	14	a	a	DET
app01-4437	106	15	,	,	PUNCT
app01-4437	106	16	b	b	NOUN
app01-4437	106	17	)	)	PUNCT
app01-4437	106	18	begin	begin	VERB
app01-4437	106	19	y	y	PROPN
app01-4437	106	20	<	<	X
app01-4437	106	21	=	=	X
app01-4437	106	22	a	a	PROPN
app01-4437	106	23	and	and	CCONJ
app01-4437	106	24	b	b	NOUN
app01-4437	106	25	after	after	ADP
app01-4437	106	26	5	5	NUM
app01-4437	106	27	ns	ns	NUM
app01-4437	106	28	;	;	PUNCT
app01-4437	106	29	end	end	NOUN
app01-4437	106	30	process	process	NOUN
app01-4437	106	31	;	;	PUNCT
app01-4437	106	32	the	the	DET
app01-4437	106	33	sensitivity	sensitivity	NOUN
app01-4437	106	34	list	list	NOUN
app01-4437	106	35	consists	consist	VERB
app01-4437	106	36	of	of	ADP
app01-4437	106	37	input	input	NOUN
app01-4437	106	38	signal	signal	NOUN
app01-4437	106	39	identifiers	identifier	NOUN
app01-4437	106	40	separated	separate	VERB
app01-4437	106	41	by	by	ADP
app01-4437	106	42	commas	comma	NOUN
app01-4437	106	43	.	.	PUNCT
app01-4437	107	1	sensitivity	sensitivity	NOUN
app01-4437	107	2	list	list	NOUN
app01-4437	107	3	is	be	AUX
app01-4437	107	4	important	important	ADJ
app01-4437	107	5	at	at	ADP
app01-4437	107	6	the	the	DET
app01-4437	107	7	moment	moment	NOUN
app01-4437	107	8	of	of	ADP
app01-4437	107	9	the	the	DET
app01-4437	107	10	simulation	simulation	NOUN
app01-4437	107	11	.	.	PUNCT
app01-4437	108	1	during	during	ADP
app01-4437	108	2	the	the	DET
app01-4437	108	3	initialization	initialization	NOUN
app01-4437	108	4	phase	phase	NOUN
app01-4437	108	5	of	of	ADP
app01-4437	108	6	simulation	simulation	NOUN
app01-4437	108	7	,	,	PUNCT
app01-4437	108	8	the	the	DET
app01-4437	108	9	process	process	NOUN
app01-4437	108	10	runs	run	VERB
app01-4437	108	11	and	and	CCONJ
app01-4437	108	12	it	it	PRON
app01-4437	108	13	assigned	assign	VERB
app01-4437	108	14	initial	initial	ADJ
app01-4437	108	15	values	value	NOUN
app01-4437	108	16	of	of	ADP
app01-4437	108	17	signals	signal	NOUN
app01-4437	108	18	and	and	CCONJ
app01-4437	108	19	variables	variable	NOUN
app01-4437	108	20	(	(	PUNCT
app01-4437	108	21	signal	signal	VERB
app01-4437	108	22	y	y	PROPN
app01-4437	108	23	in	in	ADP
app01-4437	108	24	our	our	PRON
app01-4437	108	25	case	case	NOUN
app01-4437	108	26	)	)	PUNCT
app01-4437	108	27	.	.	PUNCT
app01-4437	109	1	then	then	ADV
app01-4437	109	2	the	the	DET
app01-4437	109	3	process	process	NOUN
app01-4437	109	4	is	be	AUX
app01-4437	109	5	suspended	suspend	VERB
app01-4437	109	6	.	.	PUNCT
app01-4437	110	1	if	if	SCONJ
app01-4437	110	2	the	the	DET
app01-4437	110	3	any	any	DET
app01-4437	110	4	signal	signal	NOUN
app01-4437	110	5	listed	list	VERB
app01-4437	110	6	in	in	ADP
app01-4437	110	7	the	the	DET
app01-4437	110	8	sensitivity	sensitivity	NOUN
app01-4437	110	9	list	list	NOUN
app01-4437	110	10	is	be	AUX
app01-4437	110	11	changed	change	VERB
app01-4437	110	12	,	,	PUNCT
app01-4437	110	13	the	the	DET
app01-4437	110	14	process	process	NOUN
app01-4437	110	15	is	be	AUX
app01-4437	110	16	resumed	resume	VERB
app01-4437	110	17	and	and	CCONJ
app01-4437	110	18	executed	execute	VERB
app01-4437	110	19	.	.	PUNCT
app01-4437	111	1	the	the	DET
app01-4437	111	2	sensivity	sensivity	NOUN
app01-4437	111	3	list	list	NOUN
app01-4437	111	4	after	after	SCONJ
app01-4437	111	5	the	the	DET
app01-4437	111	6	process	process	NOUN
app01-4437	111	7	keyword	keyword	NOUN
app01-4437	111	8	is	be	AUX
app01-4437	111	9	syntactically	syntactically	ADV
app01-4437	111	10	optional	optional	ADJ
app01-4437	111	11	,	,	PUNCT
app01-4437	111	12	but	but	CCONJ
app01-4437	111	13	we	we	PRON
app01-4437	111	14	can	can	AUX
app01-4437	111	15	really	really	ADV
app01-4437	111	16	say	say	VERB
app01-4437	111	17	that	that	PRON
app01-4437	111	18	is	be	AUX
app01-4437	111	19	mandatory	mandatory	ADJ
app01-4437	111	20	.	.	PUNCT
app01-4437	112	1	the	the	DET
app01-4437	112	2	sensitivity	sensitivity	NOUN
app01-4437	112	3	list	list	NOUN
app01-4437	112	4	placed	place	VERB
app01-4437	112	5	after	after	SCONJ
app01-4437	112	6	the	the	DET
app01-4437	112	7	process	process	NOUN
app01-4437	112	8	keyword	keyword	NOUN
app01-4437	112	9	can	can	AUX
app01-4437	112	10	moved	move	VERB
app01-4437	112	11	at	at	ADP
app01-4437	112	12	the	the	DET
app01-4437	112	13	end	end	NOUN
app01-4437	112	14	ot	ot	INTJ
app01-4437	112	15	the	the	DET
app01-4437	112	16	process	process	NOUN
app01-4437	112	17	section	section	NOUN
app01-4437	112	18	and	and	CCONJ
app01-4437	112	19	written	write	VERB
app01-4437	112	20	like	like	ADP
app01-4437	112	21	the	the	DET
app01-4437	112	22	wait	wait	NOUN
app01-4437	112	23	on	on	ADP
app01-4437	112	24	statement	statement	NOUN
app01-4437	112	25	:	:	PUNCT
app01-4437	112	26	andgate1	andgate1	NOUN
app01-4437	112	27	:	:	PUNCT
app01-4437	112	28	process	process	NOUN
app01-4437	112	29	begin	begin	VERB
app01-4437	112	30	y	y	PROPN
app01-4437	112	31	<	<	X
app01-4437	112	32	=	=	X
app01-4437	112	33	a	a	PROPN
app01-4437	112	34	and	and	CCONJ
app01-4437	112	35	b	b	NOUN
app01-4437	112	36	after	after	ADP
app01-4437	112	37	5	5	NUM
app01-4437	112	38	ns	ns	NUM
app01-4437	112	39	;	;	PUNCT
app01-4437	112	40	wait	wait	VERB
app01-4437	112	41	on	on	ADP
app01-4437	112	42	a	a	DET
app01-4437	112	43	,	,	PUNCT
app01-4437	112	44	b	b	NOUN
app01-4437	112	45	;	;	PUNCT
app01-4437	112	46	end	end	NOUN
app01-4437	112	47	process	process	NOUN
app01-4437	112	48	;	;	PUNCT
app01-4437	112	49	3	3	NUM
app01-4437	112	50	tomáš	tomáš	NOUN
app01-4437	112	51	brandejský	brandejský	PROPN
app01-4437	112	52	,	,	PUNCT
app01-4437	112	53	vít	vít	PROPN
app01-4437	112	54	fábera	fábera	NOUN
app01-4437	112	55	acta	acta	PROPN
app01-4437	112	56	polytechnica	polytechnica	PROPN
app01-4437	112	57	ctu	ctu	PROPN
app01-4437	112	58	proceedings	proceeding	NOUN
app01-4437	112	59	figure	figure	VERB
app01-4437	112	60	1	1	NUM
app01-4437	112	61	.	.	PUNCT
app01-4437	112	62	corresponding	correspond	VERB
app01-4437	112	63	schematic	schematic	ADJ
app01-4437	112	64	diagrams	diagram	NOUN
app01-4437	112	65	to	to	ADP
app01-4437	112	66	vhdl	vhdl	PROPN
app01-4437	112	67	code	code	PROPN
app01-4437	112	68	related	relate	VERB
app01-4437	112	69	to	to	ADP
app01-4437	112	70	simulation	simulation	NOUN
app01-4437	112	71	.	.	PUNCT
app01-4437	113	1	the	the	DET
app01-4437	113	2	process	process	NOUN
app01-4437	113	3	having	have	VERB
app01-4437	113	4	sensitivity	sensitivity	NOUN
app01-4437	113	5	list	list	NOUN
app01-4437	113	6	after	after	ADP
app01-4437	113	7	process	process	NOUN
app01-4437	113	8	keyword	keyword	NOUN
app01-4437	113	9	must	must	AUX
app01-4437	113	10	contain	contain	VERB
app01-4437	113	11	no	no	DET
app01-4437	113	12	wait	wait	NOUN
app01-4437	113	13	on	on	ADP
app01-4437	113	14	statement	statement	NOUN
app01-4437	113	15	.	.	PUNCT
app01-4437	114	1	if	if	SCONJ
app01-4437	114	2	some	some	DET
app01-4437	114	3	signal	signal	NOUN
app01-4437	114	4	is	be	AUX
app01-4437	114	5	missing	miss	VERB
app01-4437	114	6	in	in	ADP
app01-4437	114	7	the	the	DET
app01-4437	114	8	list	list	NOUN
app01-4437	114	9	,	,	PUNCT
app01-4437	114	10	it	it	PRON
app01-4437	114	11	affects	affect	VERB
app01-4437	114	12	naturaly	naturaly	PROPN
app01-4437	114	13	the	the	DET
app01-4437	114	14	simulation	simulation	NOUN
app01-4437	114	15	.	.	PUNCT
app01-4437	115	1	for	for	ADP
app01-4437	115	2	example	example	NOUN
app01-4437	115	3	,	,	PUNCT
app01-4437	115	4	signal	signal	PROPN
app01-4437	115	5	b	b	PROPN
app01-4437	115	6	is	be	AUX
app01-4437	115	7	missing	missing	ADJ
app01-4437	115	8	:	:	PUNCT
app01-4437	115	9	andgate1	andgate1	PRON
app01-4437	115	10	:	:	PUNCT
app01-4437	115	11	process	process	NOUN
app01-4437	115	12	(	(	PUNCT
app01-4437	115	13	a	a	X
app01-4437	115	14	)	)	PUNCT
app01-4437	115	15	begin	begin	VERB
app01-4437	115	16	y	y	PROPN
app01-4437	115	17	<	<	X
app01-4437	115	18	=	=	X
app01-4437	115	19	a	a	PROPN
app01-4437	115	20	and	and	CCONJ
app01-4437	115	21	b	b	NOUN
app01-4437	115	22	after	after	ADP
app01-4437	115	23	5	5	NUM
app01-4437	115	24	ns	ns	NUM
app01-4437	115	25	;	;	PUNCT
app01-4437	115	26	end	end	NOUN
app01-4437	115	27	process	process	NOUN
app01-4437	115	28	;	;	PUNCT
app01-4437	115	29	let	let	VERB
app01-4437	115	30	consider	consider	VERB
app01-4437	115	31	the	the	DET
app01-4437	115	32	set	set	NOUN
app01-4437	115	33	of	of	ADP
app01-4437	115	34	simulus	simulus	NOUN
app01-4437	115	35	:	:	PUNCT
app01-4437	115	36	both	both	DET
app01-4437	115	37	signals	signal	NOUN
app01-4437	115	38	are	be	AUX
app01-4437	115	39	set	set	VERB
app01-4437	115	40	to	to	ADP
app01-4437	115	41	0	0	NUM
app01-4437	115	42	at	at	ADP
app01-4437	115	43	time	time	NOUN
app01-4437	115	44	0ns	0ns	NOUN
app01-4437	115	45	,	,	PUNCT
app01-4437	115	46	a	a	DET
app01-4437	115	47	signal	signal	NOUN
app01-4437	115	48	is	be	AUX
app01-4437	115	49	changed	change	VERB
app01-4437	115	50	to	to	ADP
app01-4437	115	51	1	1	NUM
app01-4437	115	52	at	at	ADP
app01-4437	115	53	10ns	10ns	PROPN
app01-4437	115	54	,	,	PUNCT
app01-4437	115	55	b	b	PROPN
app01-4437	115	56	signal	signal	NOUN
app01-4437	115	57	is	be	AUX
app01-4437	115	58	changed	change	VERB
app01-4437	115	59	to	to	ADP
app01-4437	115	60	1	1	NUM
app01-4437	115	61	at	at	ADP
app01-4437	115	62	20	20	NUM
app01-4437	115	63	ns	ns	NUM
app01-4437	115	64	.	.	PUNCT
app01-4437	116	1	the	the	DET
app01-4437	116	2	result	result	NOUN
app01-4437	116	3	of	of	ADP
app01-4437	116	4	simulation	simulation	NOUN
app01-4437	116	5	in	in	ADP
app01-4437	116	6	isim	isim	NOUN
app01-4437	116	7	(	(	PUNCT
app01-4437	116	8	a	a	DET
app01-4437	116	9	part	part	NOUN
app01-4437	116	10	of	of	ADP
app01-4437	116	11	xilinx	xilinx	PROPN
app01-4437	116	12	ise	ise	PROPN
app01-4437	116	13	design	design	PROPN
app01-4437	116	14	pack	pack	PROPN
app01-4437	116	15	)	)	PUNCT
app01-4437	116	16	is	be	AUX
app01-4437	116	17	constant	constant	ADJ
app01-4437	116	18	zero	zero	NUM
app01-4437	116	19	signal	signal	NOUN
app01-4437	116	20	y	y	PROPN
app01-4437	116	21	,	,	PUNCT
app01-4437	116	22	because	because	SCONJ
app01-4437	116	23	the	the	DET
app01-4437	116	24	process	process	NOUN
app01-4437	116	25	in	in	ADP
app01-4437	116	26	not	not	PART
app01-4437	116	27	activated	activate	VERB
app01-4437	116	28	at	at	ADP
app01-4437	116	29	the	the	DET
app01-4437	116	30	time	time	NOUN
app01-4437	116	31	20	20	NUM
app01-4437	116	32	ns	ns	NUM
app01-4437	116	33	due	due	ADP
app01-4437	116	34	to	to	ADP
app01-4437	116	35	missing	miss	VERB
app01-4437	116	36	signal	signal	NOUN
app01-4437	116	37	b	b	NOUN
app01-4437	116	38	in	in	ADP
app01-4437	116	39	the	the	DET
app01-4437	116	40	sensitivity	sensitivity	NOUN
app01-4437	116	41	list	list	NOUN
app01-4437	116	42	.	.	PUNCT
app01-4437	117	1	while	while	SCONJ
app01-4437	117	2	process	process	NOUN
app01-4437	117	3	andgate1	andgate1	PRON
app01-4437	117	4	really	really	ADV
app01-4437	117	5	describes	describe	VERB
app01-4437	117	6	combinational	combinational	ADJ
app01-4437	117	7	and	and	CCONJ
app01-4437	117	8	,	,	PUNCT
app01-4437	117	9	andgate2	andgate2	NOUN
app01-4437	117	10	process	process	NOUN
app01-4437	117	11	has	have	VERB
app01-4437	117	12	sequential	sequential	ADJ
app01-4437	117	13	behavior	behavior	NOUN
app01-4437	117	14	.	.	PUNCT
app01-4437	118	1	we	we	PRON
app01-4437	118	2	show	show	VERB
app01-4437	118	3	one	one	NUM
app01-4437	118	4	more	more	ADJ
app01-4437	118	5	example	example	NOUN
app01-4437	118	6	of	of	ADP
app01-4437	118	7	code	code	NOUN
app01-4437	118	8	and	and	CCONJ
app01-4437	118	9	corresponding	correspond	VERB
app01-4437	118	10	schematic	schematic	ADJ
app01-4437	118	11	diagrams	diagram	NOUN
app01-4437	118	12	to	to	ADP
app01-4437	118	13	simulation	simulation	NOUN
app01-4437	118	14	(	(	PUNCT
app01-4437	118	15	fig	fig	NOUN
app01-4437	118	16	.	.	PUNCT
app01-4437	118	17	1	1	NUM
app01-4437	118	18	)	)	PUNCT
app01-4437	118	19	.	.	PUNCT
app01-4437	119	1	multiplexor1	multiplexor1	NOUN
app01-4437	119	2	:	:	PUNCT
app01-4437	120	1	process	process	NOUN
app01-4437	120	2	(	(	PUNCT
app01-4437	120	3	s	s	X
app01-4437	120	4	,	,	PUNCT
app01-4437	120	5	i0	i0	PROPN
app01-4437	120	6	,	,	PUNCT
app01-4437	120	7	i1	i1	PROPN
app01-4437	120	8	)	)	PUNCT
app01-4437	120	9	begin	begin	VERB
app01-4437	120	10	if	if	SCONJ
app01-4437	120	11	s	s	VERB
app01-4437	120	12	=	=	PUNCT
app01-4437	120	13	’	'	PUNCT
app01-4437	120	14	0	0	NUM
app01-4437	120	15	’	'	PUNCT
app01-4437	120	16	then	then	ADV
app01-4437	120	17	y	y	PROPN
app01-4437	120	18	<	<	X
app01-4437	120	19	=	=	X
app01-4437	120	20	i0	i0	PROPN
app01-4437	120	21	;	;	PUNCT
app01-4437	120	22	else	else	ADV
app01-4437	120	23	y	y	PROPN
app01-4437	120	24	<	<	X
app01-4437	120	25	=	=	PROPN
app01-4437	120	26	i1	i1	PROPN
app01-4437	120	27	;	;	PUNCT
app01-4437	120	28	end	end	VERB
app01-4437	120	29	if	if	SCONJ
app01-4437	120	30	;	;	PUNCT
app01-4437	120	31	end	end	NOUN
app01-4437	120	32	process	process	NOUN
app01-4437	120	33	;	;	PUNCT
app01-4437	120	34	multiplexor2	multiplexor2	ADJ
app01-4437	120	35	:	:	PUNCT
app01-4437	120	36	process	process	NOUN
app01-4437	120	37	(	(	PUNCT
app01-4437	120	38	s	s	X
app01-4437	120	39	)	)	PUNCT
app01-4437	120	40	begin	begin	VERB
app01-4437	120	41	if	if	SCONJ
app01-4437	120	42	s	s	VERB
app01-4437	120	43	=	=	PUNCT
app01-4437	120	44	’	'	PUNCT
app01-4437	120	45	0	0	NUM
app01-4437	120	46	’	'	PUNCT
app01-4437	120	47	then	then	ADV
app01-4437	120	48	y	y	PROPN
app01-4437	120	49	<	<	X
app01-4437	120	50	=	=	X
app01-4437	120	51	i0	i0	PROPN
app01-4437	120	52	;	;	PUNCT
app01-4437	120	53	else	else	ADV
app01-4437	120	54	y	y	PROPN
app01-4437	120	55	<	<	X
app01-4437	120	56	=	=	PROPN
app01-4437	120	57	i1	i1	PROPN
app01-4437	120	58	;	;	PUNCT
app01-4437	120	59	end	end	VERB
app01-4437	120	60	if	if	SCONJ
app01-4437	120	61	;	;	PUNCT
app01-4437	120	62	end	end	NOUN
app01-4437	120	63	process	process	NOUN
app01-4437	120	64	;	;	PUNCT
app01-4437	120	65	in	in	ADP
app01-4437	120	66	simulation	simulation	NOUN
app01-4437	120	67	,	,	PUNCT
app01-4437	120	68	the	the	DET
app01-4437	120	69	output	output	NOUN
app01-4437	120	70	y	y	PROPN
app01-4437	120	71	of	of	ADP
app01-4437	120	72	multiplexor2	multiplexor2	NOUN
app01-4437	120	73	process	process	NOUN
app01-4437	120	74	changes	change	NOUN
app01-4437	120	75	only	only	ADV
app01-4437	120	76	if	if	SCONJ
app01-4437	120	77	event	event	NOUN
app01-4437	120	78	on	on	ADP
app01-4437	120	79	s	s	NOUN
app01-4437	120	80	occurs	occurs	ADJ
app01-4437	120	81	.	.	PUNCT
app01-4437	121	1	it	it	PRON
app01-4437	121	2	means	mean	VERB
app01-4437	121	3	that	that	SCONJ
app01-4437	121	4	output	output	NOUN
app01-4437	121	5	y	y	PROPN
app01-4437	121	6	follows	follow	VERB
app01-4437	121	7	the	the	DET
app01-4437	121	8	value	value	NOUN
app01-4437	121	9	of	of	ADP
app01-4437	121	10	i0	i0	PROPN
app01-4437	121	11	at	at	ADP
app01-4437	121	12	the	the	DET
app01-4437	121	13	moment	moment	NOUN
app01-4437	121	14	of	of	ADP
app01-4437	121	15	falling	fall	VERB
app01-4437	121	16	edge	edge	NOUN
app01-4437	121	17	on	on	ADP
app01-4437	121	18	s	s	NOUN
app01-4437	121	19	and	and	CCONJ
app01-4437	121	20	value	value	NOUN
app01-4437	121	21	of	of	ADP
app01-4437	121	22	i1	i1	PROPN
app01-4437	121	23	at	at	ADP
app01-4437	121	24	the	the	DET
app01-4437	121	25	moment	moment	NOUN
app01-4437	121	26	of	of	ADP
app01-4437	121	27	rising	rise	VERB
app01-4437	121	28	edge	edge	NOUN
app01-4437	121	29	on	on	ADP
app01-4437	121	30	s.	s.	PROPN
app01-4437	121	31	6	6	NUM
app01-4437	121	32	.	.	PUNCT
app01-4437	121	33	synthesis	synthesis	NOUN
app01-4437	121	34	processes	process	NOUN
app01-4437	121	35	andgate2	andgate2	NOUN
app01-4437	121	36	and	and	CCONJ
app01-4437	121	37	multiplexor2	multiplexor2	PROPN
app01-4437	121	38	have	have	VERB
app01-4437	121	39	sequential	sequential	ADJ
app01-4437	121	40	behaviour	behaviour	NOUN
app01-4437	121	41	during	during	ADP
app01-4437	121	42	the	the	DET
app01-4437	121	43	simulation	simulation	NOUN
app01-4437	121	44	with	with	ADP
app01-4437	121	45	isim	isim	NOUN
app01-4437	121	46	.	.	PUNCT
app01-4437	122	1	how	how	SCONJ
app01-4437	122	2	process	process	NOUN
app01-4437	122	3	these	these	PRON
app01-4437	122	4	codes	code	NOUN
app01-4437	122	5	synthesis	synthesis	NOUN
app01-4437	122	6	tools	tool	NOUN
app01-4437	122	7	xilinx	xilinx	NOUN
app01-4437	122	8	ise	ise	NOUN
app01-4437	122	9	12.4	12.4	NUM
app01-4437	122	10	?	?	PUNCT
app01-4437	123	1	if	if	SCONJ
app01-4437	123	2	a	a	DET
app01-4437	123	3	signal	signal	NOUN
app01-4437	123	4	is	be	AUX
app01-4437	123	5	missing	miss	VERB
app01-4437	123	6	in	in	ADP
app01-4437	123	7	the	the	DET
app01-4437	123	8	sensitivity	sensitivity	NOUN
app01-4437	123	9	list	list	NOUN
app01-4437	123	10	,	,	PUNCT
app01-4437	123	11	tools	tool	NOUN
app01-4437	123	12	writes	write	VERB
app01-4437	123	13	a	a	DET
app01-4437	123	14	warning	warning	NOUN
app01-4437	123	15	like	like	ADP
app01-4437	123	16	"	"	PUNCT
app01-4437	123	17	i0	i0	PROPN
app01-4437	123	18	should	should	AUX
app01-4437	123	19	be	be	AUX
app01-4437	123	20	on	on	ADP
app01-4437	123	21	the	the	DET
app01-4437	123	22	sensitivity	sensitivity	NOUN
app01-4437	123	23	list	list	NOUN
app01-4437	123	24	of	of	ADP
app01-4437	123	25	the	the	DET
app01-4437	123	26	process	process	NOUN
app01-4437	123	27	"	"	PUNCT
app01-4437	123	28	.	.	PUNCT
app01-4437	124	1	if	if	SCONJ
app01-4437	124	2	signal	signal	ADJ
app01-4437	124	3	y	y	PROPN
app01-4437	124	4	is	be	AUX
app01-4437	124	5	listed	list	VERB
app01-4437	124	6	in	in	ADP
app01-4437	124	7	the	the	DET
app01-4437	124	8	sensivity	sensivity	NOUN
app01-4437	124	9	and	and	CCONJ
app01-4437	124	10	it	it	PRON
app01-4437	124	11	y	y	VERB
app01-4437	124	12	an	an	DET
app01-4437	124	13	output	output	NOUN
app01-4437	124	14	of	of	ADP
app01-4437	124	15	the	the	DET
app01-4437	124	16	entity	entity	NOUN
app01-4437	124	17	,	,	PUNCT
app01-4437	124	18	the	the	DET
app01-4437	124	19	vhdl	vhdl	PROPN
app01-4437	124	20	compiler	compiler	NOUN
app01-4437	124	21	writes	write	VERB
app01-4437	124	22	an	an	DET
app01-4437	124	23	error	error	NOUN
app01-4437	124	24	"	"	PUNCT
app01-4437	124	25	y	y	PROPN
app01-4437	124	26	with	with	ADP
app01-4437	124	27	mode	mode	NOUN
app01-4437	124	28	’	'	PUNCT
app01-4437	124	29	out	out	NOUN
app01-4437	124	30	’	'	PUNCT
app01-4437	124	31	can	can	AUX
app01-4437	124	32	not	not	PART
app01-4437	124	33	be	be	AUX
app01-4437	124	34	read	read	VERB
app01-4437	124	35	"	"	PUNCT
app01-4437	124	36	.	.	PUNCT
app01-4437	125	1	if	if	SCONJ
app01-4437	125	2	y	y	PROPN
app01-4437	125	3	is	be	AUX
app01-4437	125	4	an	an	DET
app01-4437	125	5	internal	internal	ADJ
app01-4437	125	6	signal	signal	NOUN
app01-4437	125	7	,	,	PUNCT
app01-4437	125	8	it	it	PRON
app01-4437	125	9	can	can	AUX
app01-4437	125	10	state	state	VERB
app01-4437	125	11	in	in	ADP
app01-4437	125	12	the	the	DET
app01-4437	125	13	sensitivity	sensitivity	NOUN
app01-4437	125	14	list	list	NOUN
app01-4437	125	15	without	without	ADP
app01-4437	125	16	warning	warning	NOUN
app01-4437	125	17	or	or	CCONJ
app01-4437	125	18	error	error	NOUN
app01-4437	125	19	.	.	PUNCT
app01-4437	126	1	but	but	CCONJ
app01-4437	126	2	all	all	DET
app01-4437	126	3	variants	variant	NOUN
app01-4437	126	4	of	of	ADP
app01-4437	126	5	code	code	NOUN
app01-4437	126	6	lead	lead	NOUN
app01-4437	126	7	to	to	ADP
app01-4437	126	8	the	the	DET
app01-4437	126	9	same	same	ADJ
app01-4437	126	10	rtl	rtl	NOUN
app01-4437	126	11	(	(	PUNCT
app01-4437	126	12	register	register	VERB
app01-4437	126	13	transfer	transfer	NOUN
app01-4437	126	14	level	level	NOUN
app01-4437	126	15	)	)	PUNCT
app01-4437	126	16	–	–	PUNCT
app01-4437	126	17	combinational	combinational	ADJ
app01-4437	126	18	logic	logic	NOUN
app01-4437	126	19	–	–	PUNCT
app01-4437	126	20	and	and	CCONJ
app01-4437	126	21	gate	gate	NOUN
app01-4437	126	22	and	and	CCONJ
app01-4437	126	23	multiplexor	multiplexor	PROPN
app01-4437	126	24	.	.	PUNCT
app01-4437	127	1	syntesis	syntesis	NOUN
app01-4437	127	2	tool	tool	NOUN
app01-4437	127	3	decides	decide	VERB
app01-4437	127	4	if	if	SCONJ
app01-4437	127	5	it	it	PRON
app01-4437	127	6	uses	use	VERB
app01-4437	127	7	combinational	combinational	ADJ
app01-4437	127	8	logic	logic	NOUN
app01-4437	127	9	or	or	CCONJ
app01-4437	127	10	flip	flip	NOUN
app01-4437	127	11	-	-	PUNCT
app01-4437	127	12	flop	flop	NOUN
app01-4437	127	13	according	accord	VERB
app01-4437	127	14	to	to	ADP
app01-4437	127	15	typical	typical	PROPN
app01-4437	127	16	vhdl	vhdl	PROPN
app01-4437	127	17	code	code	PROPN
app01-4437	127	18	structures	structure	NOUN
app01-4437	127	19	(	(	PUNCT
app01-4437	127	20	if	if	SCONJ
app01-4437	127	21	clk’event	clk’event	PROPN
app01-4437	127	22	and	and	CCONJ
app01-4437	127	23	clk	clk	NOUN
app01-4437	127	24	=	=	SYM
app01-4437	127	25	’	'	PUNCT
app01-4437	127	26	1	1	NUM
app01-4437	127	27	’	'	PUNCT
app01-4437	127	28	then	then	ADV
app01-4437	127	29	for	for	ADP
app01-4437	127	30	flip	flip	NOUN
app01-4437	127	31	-	-	PUNCT
app01-4437	127	32	flops	flop	NOUN
app01-4437	127	33	)	)	PUNCT
app01-4437	127	34	.	.	PUNCT
app01-4437	128	1	so	so	ADV
app01-4437	128	2	,	,	PUNCT
app01-4437	128	3	if	if	SCONJ
app01-4437	128	4	we	we	PRON
app01-4437	128	5	forget	forget	VERB
app01-4437	128	6	to	to	PART
app01-4437	128	7	put	put	VERB
app01-4437	128	8	a	a	DET
app01-4437	128	9	signal	signal	NOUN
app01-4437	128	10	in	in	ADP
app01-4437	128	11	the	the	DET
app01-4437	128	12	sensitivity	sensitivity	NOUN
app01-4437	128	13	list	list	NOUN
app01-4437	128	14	and	and	CCONJ
app01-4437	128	15	if	if	SCONJ
app01-4437	128	16	we	we	PRON
app01-4437	128	17	ignore	ignore	VERB
app01-4437	128	18	warnings	warning	NOUN
app01-4437	128	19	,	,	PUNCT
app01-4437	128	20	the	the	DET
app01-4437	128	21	simulation	simulation	NOUN
app01-4437	128	22	of	of	ADP
app01-4437	128	23	the	the	DET
app01-4437	128	24	code	code	NOUN
app01-4437	128	25	and	and	CCONJ
app01-4437	128	26	the	the	DET
app01-4437	128	27	behavioral	behavioral	NOUN
app01-4437	128	28	of	of	ADP
app01-4437	128	29	the	the	DET
app01-4437	128	30	target	target	NOUN
app01-4437	128	31	design	design	NOUN
app01-4437	128	32	can	can	AUX
app01-4437	128	33	be	be	AUX
app01-4437	128	34	different	different	ADJ
app01-4437	128	35	.	.	PUNCT
app01-4437	129	1	the	the	DET
app01-4437	129	2	reason	reason	NOUN
app01-4437	129	3	is	be	AUX
app01-4437	129	4	:	:	PUNCT
app01-4437	129	5	to	to	PART
app01-4437	129	6	put	put	VERB
app01-4437	129	7	all	all	DET
app01-4437	129	8	input	input	NOUN
app01-4437	129	9	signal	signal	NOUN
app01-4437	129	10	in	in	ADP
app01-4437	129	11	the	the	DET
app01-4437	129	12	sensitivity	sensitivity	NOUN
app01-4437	129	13	list	list	NOUN
app01-4437	129	14	and	and	CCONJ
app01-4437	129	15	or	or	CCONJ
app01-4437	129	16	use	use	VERB
app01-4437	129	17	a	a	DET
app01-4437	129	18	variant	variant	NOUN
app01-4437	129	19	of	of	ADP
app01-4437	129	20	the	the	DET
app01-4437	129	21	sensitivity	sensitivity	NOUN
app01-4437	129	22	list	list	NOUN
app01-4437	129	23	with	with	ADP
app01-4437	129	24	keyword	keyword	NOUN
app01-4437	129	25	all	all	PRON
app01-4437	129	26	,	,	PUNCT
app01-4437	129	27	which	which	PRON
app01-4437	129	28	was	be	AUX
app01-4437	129	29	added	add	VERB
app01-4437	129	30	into	into	ADP
app01-4437	129	31	new	new	ADJ
app01-4437	129	32	specification	specification	NOUN
app01-4437	129	33	of	of	ADP
app01-4437	129	34	the	the	DET
app01-4437	129	35	language	language	NOUN
app01-4437	129	36	.	.	PUNCT
app01-4437	130	1	the	the	DET
app01-4437	130	2	gcc	gcc	NOUN
app01-4437	130	3	compiler	compiler	NOUN
app01-4437	130	4	has	have	VERB
app01-4437	130	5	-wall	-wall	NOUN
app01-4437	130	6	switch	switch	NOUN
app01-4437	130	7	,	,	PUNCT
app01-4437	130	8	that	that	PRON
app01-4437	130	9	cause	cause	VERB
app01-4437	130	10	to	to	PART
app01-4437	130	11	stop	stop	VERB
app01-4437	130	12	compiling	compile	VERB
app01-4437	130	13	also	also	ADV
app01-4437	130	14	if	if	SCONJ
app01-4437	130	15	a	a	DET
app01-4437	130	16	warning	warning	NOUN
app01-4437	130	17	occurs	occur	VERB
app01-4437	130	18	.	.	PUNCT
app01-4437	131	1	switch	switch	NOUN
app01-4437	131	2	-wall	-wall	NOUN
app01-4437	131	3	is	be	AUX
app01-4437	131	4	recomended	recomende	VERB
app01-4437	131	5	in	in	ADP
app01-4437	131	6	c	c	PROPN
app01-4437	131	7	language	language	NOUN
app01-4437	131	8	if	if	SCONJ
app01-4437	131	9	we	we	PRON
app01-4437	131	10	create	create	VERB
app01-4437	131	11	a	a	DET
app01-4437	131	12	safety	safety	NOUN
app01-4437	131	13	software	software	NOUN
app01-4437	131	14	.	.	PUNCT
app01-4437	132	1	synthesis	synthesis	NOUN
app01-4437	132	2	tools	tool	NOUN
app01-4437	132	3	(	(	PUNCT
app01-4437	132	4	xilinx	xilinx	PROPN
app01-4437	132	5	ise	ise	PROPN
app01-4437	132	6	)	)	PUNCT
app01-4437	132	7	have	have	VERB
app01-4437	132	8	usually	usually	ADV
app01-4437	132	9	no	no	DET
app01-4437	132	10	switch	switch	NOUN
app01-4437	132	11	like	like	ADP
app01-4437	132	12	-wall	-wall	NOUN
app01-4437	132	13	,	,	PUNCT
app01-4437	132	14	vivaldo	vivaldo	ADJ
app01-4437	132	15	design	design	NOUN
app01-4437	132	16	suite	suite	NOUN
app01-4437	132	17	from	from	ADP
app01-4437	132	18	xilinx	xilinx	PROPN
app01-4437	132	19	makes	make	VERB
app01-4437	132	20	possible	possible	ADJ
app01-4437	132	21	to	to	PART
app01-4437	132	22	change	change	VERB
app01-4437	132	23	severity	severity	NOUN
app01-4437	132	24	from	from	ADP
app01-4437	132	25	warning	warn	VERB
app01-4437	132	26	to	to	ADP
app01-4437	132	27	errors	error	NOUN
app01-4437	132	28	.	.	PUNCT
app01-4437	133	1	as	as	SCONJ
app01-4437	133	2	seen	see	VERB
app01-4437	133	3	,	,	PUNCT
app01-4437	133	4	vhdl	vhdl	PROPN
app01-4437	133	5	,	,	PUNCT
app01-4437	133	6	although	although	SCONJ
app01-4437	133	7	declared	declare	VERB
app01-4437	133	8	as	as	ADP
app01-4437	133	9	language	language	NOUN
app01-4437	133	10	with	with	ADP
app01-4437	133	11	safety	safety	NOUN
app01-4437	133	12	properties	property	NOUN
app01-4437	133	13	,	,	PUNCT
app01-4437	133	14	has	have	VERB
app01-4437	133	15	also	also	ADV
app01-4437	133	16	some	some	DET
app01-4437	133	17	weak	weak	ADJ
app01-4437	133	18	points	point	NOUN
app01-4437	133	19	.	.	PUNCT
app01-4437	134	1	a	a	DET
app01-4437	134	2	question	question	NOUN
app01-4437	134	3	is	be	AUX
app01-4437	134	4	:	:	PUNCT
app01-4437	134	5	would	would	AUX
app01-4437	134	6	n’t	n’t	VERB
app01-4437	134	7	it	it	PRON
app01-4437	134	8	be	be	AUX
app01-4437	134	9	suitable	suitable	ADJ
app01-4437	134	10	to	to	PART
app01-4437	134	11	extend	extend	VERB
app01-4437	134	12	vdhl	vdhl	NOUN
app01-4437	134	13	compilers	compiler	NOUN
app01-4437	134	14	in	in	ADP
app01-4437	134	15	the	the	DET
app01-4437	134	16	sense	sense	NOUN
app01-4437	134	17	of	of	ADP
app01-4437	134	18	-wall	-wall	NOUN
app01-4437	134	19	switch	switch	NOUN
app01-4437	134	20	and	and	CCONJ
app01-4437	134	21	to	to	PART
app01-4437	134	22	add	add	VERB
app01-4437	134	23	a	a	DET
app01-4437	134	24	variable	variable	ADJ
app01-4437	134	25	list	list	NOUN
app01-4437	134	26	like	like	ADP
app01-4437	134	27	in	in	ADP
app01-4437	134	28	sparc	sparc	NOUN
app01-4437	134	29	,	,	PUNCT
app01-4437	134	30	espetially	espetially	ADV
app01-4437	134	31	,	,	PUNCT
app01-4437	134	32	if	if	SCONJ
app01-4437	134	33	vhdl	vhdl	PROPN
app01-4437	134	34	is	be	AUX
app01-4437	134	35	speculated	speculate	VERB
app01-4437	134	36	as	as	ADP
app01-4437	134	37	a	a	DET
app01-4437	134	38	language	language	NOUN
app01-4437	134	39	for	for	ADP
app01-4437	134	40	railway	railway	NOUN
app01-4437	134	41	systems	system	NOUN
app01-4437	134	42	?	?	PUNCT
app01-4437	135	1	by	by	ADP
app01-4437	135	2	the	the	DET
app01-4437	135	3	way	way	NOUN
app01-4437	135	4	,	,	PUNCT
app01-4437	135	5	rules	rule	NOUN
app01-4437	135	6	for	for	ADP
app01-4437	135	7	safety	safety	NOUN
app01-4437	135	8	design	design	NOUN
app01-4437	135	9	using	use	VERB
app01-4437	135	10	vhdl	vhdl	PROPN
app01-4437	135	11	was	be	AUX
app01-4437	135	12	presented	present	VERB
app01-4437	135	13	in	in	ADP
app01-4437	135	14	[	[	X
app01-4437	135	15	13	13	NUM
app01-4437	135	16	]	]	PUNCT
app01-4437	135	17	.	.	PUNCT
app01-4437	136	1	7	7	X
app01-4437	136	2	.	.	X
app01-4437	136	3	discussion	discussion	NOUN
app01-4437	136	4	vhdl	vhdl	PROPN
app01-4437	136	5	language	language	PROPN
app01-4437	136	6	uses	use	VERB
app01-4437	136	7	control	control	NOUN
app01-4437	136	8	structures	structure	NOUN
app01-4437	136	9	and	and	CCONJ
app01-4437	136	10	programming	programming	NOUN
app01-4437	136	11	methodology	methodology	NOUN
app01-4437	136	12	analogical	analogical	ADJ
app01-4437	136	13	to	to	ADP
app01-4437	136	14	original	original	ADJ
app01-4437	136	15	ada	ada	NOUN
app01-4437	136	16	language	language	NOUN
app01-4437	136	17	.	.	PUNCT
app01-4437	137	1	it	it	PRON
app01-4437	137	2	is	be	AUX
app01-4437	137	3	the	the	DET
app01-4437	137	4	subject	subject	NOUN
app01-4437	137	5	of	of	ADP
app01-4437	137	6	future	future	ADJ
app01-4437	137	7	research	research	NOUN
app01-4437	137	8	,	,	PUNCT
app01-4437	137	9	if	if	SCONJ
app01-4437	137	10	it	it	PRON
app01-4437	137	11	is	be	AUX
app01-4437	137	12	possible	possible	ADJ
app01-4437	137	13	to	to	PART
app01-4437	137	14	modify	modify	VERB
app01-4437	137	15	it	it	PRON
app01-4437	137	16	in	in	ADP
app01-4437	137	17	the	the	DET
app01-4437	137	18	way	way	NOUN
app01-4437	137	19	analogical	analogical	ADJ
app01-4437	137	20	to	to	PART
app01-4437	137	21	spark	spark	VERB
app01-4437	137	22	to	to	PART
app01-4437	137	23	increase	increase	VERB
app01-4437	137	24	its	its	PRON
app01-4437	137	25	safety	safety	NOUN
app01-4437	137	26	and	and	CCONJ
app01-4437	137	27	analysis	analysis	NOUN
app01-4437	137	28	if	if	SCONJ
app01-4437	137	29	such	such	ADJ
app01-4437	137	30	extension	extension	NOUN
app01-4437	137	31	could	could	AUX
app01-4437	137	32	bring	bring	VERB
app01-4437	137	33	significant	significant	ADJ
app01-4437	137	34	increase	increase	NOUN
app01-4437	137	35	to	to	ADP
app01-4437	137	36	safety	safety	NOUN
app01-4437	137	37	due	due	ADP
app01-4437	137	38	to	to	ADP
app01-4437	137	39	influence	influence	NOUN
app01-4437	137	40	of	of	ADP
app01-4437	137	41	hardware	hardware	NOUN
app01-4437	137	42	(	(	PUNCT
app01-4437	137	43	gate	gate	NOUN
app01-4437	137	44	array	array	PROPN
app01-4437	137	45	)	)	PUNCT
app01-4437	137	46	to	to	ADP
app01-4437	137	47	it	it	PRON
app01-4437	137	48	.	.	PUNCT
app01-4437	138	1	8	8	X
app01-4437	138	2	.	.	X
app01-4437	138	3	conclusion	conclusion	NOUN
app01-4437	138	4	the	the	DET
app01-4437	138	5	presented	present	VERB
app01-4437	138	6	paper	paper	NOUN
app01-4437	138	7	brings	bring	VERB
app01-4437	138	8	analysis	analysis	NOUN
app01-4437	138	9	of	of	ADP
app01-4437	138	10	impact	impact	NOUN
app01-4437	138	11	of	of	ADP
app01-4437	138	12	two	two	NUM
app01-4437	138	13	basic	basic	ADJ
app01-4437	138	14	methods	method	NOUN
app01-4437	138	15	to	to	PART
app01-4437	138	16	increase	increase	VERB
app01-4437	138	17	language	language	NOUN
app01-4437	138	18	safety	safety	NOUN
app01-4437	138	19	to	to	PART
app01-4437	138	20	cover	cover	VERB
app01-4437	138	21	safety	safety	NOUN
app01-4437	138	22	requirements	requirement	NOUN
app01-4437	138	23	of	of	ADP
app01-4437	138	24	systems	system	NOUN
app01-4437	138	25	working	work	VERB
app01-4437	138	26	on	on	ADP
app01-4437	138	27	high	high	ADJ
app01-4437	138	28	safety	safety	NOUN
app01-4437	138	29	integrity	integrity	NOUN
app01-4437	138	30	levels	level	NOUN
app01-4437	138	31	,	,	PUNCT
app01-4437	138	32	e.g.	e.g.	ADV
app01-4437	138	33	on	on	ADP
app01-4437	138	34	railways	railway	NOUN
app01-4437	138	35	.	.	PUNCT
app01-4437	139	1	it	it	PRON
app01-4437	139	2	is	be	AUX
app01-4437	139	3	not	not	PART
app01-4437	139	4	only	only	ADV
app01-4437	139	5	focused	focus	VERB
app01-4437	139	6	to	to	ADP
app01-4437	139	7	comparison	comparison	NOUN
app01-4437	139	8	of	of	ADP
app01-4437	139	9	ada	ada	PROPN
app01-4437	139	10	and	and	CCONJ
app01-4437	139	11	spark	spark	NOUN
app01-4437	139	12	languages	language	NOUN
app01-4437	139	13	but	but	CCONJ
app01-4437	139	14	it	it	PRON
app01-4437	139	15	is	be	AUX
app01-4437	139	16	illustrated	illustrate	VERB
app01-4437	139	17	on	on	ADP
app01-4437	139	18	problems	problem	NOUN
app01-4437	139	19	bring	bring	VERB
app01-4437	139	20	by	by	ADP
app01-4437	139	21	implementation	implementation	NOUN
app01-4437	139	22	of	of	ADP
app01-4437	139	23	vhdl	vhdl	PROPN
app01-4437	139	24	simulator	simulator	NOUN
app01-4437	139	25	designed	design	VERB
app01-4437	139	26	with	with	ADP
app01-4437	139	27	respect	respect	NOUN
app01-4437	139	28	to	to	PART
app01-4437	139	29	describe	describe	VERB
app01-4437	139	30	safe	safe	ADJ
app01-4437	139	31	system	system	NOUN
app01-4437	139	32	by	by	ADP
app01-4437	139	33	single	single	ADJ
app01-4437	139	34	language	language	NOUN
app01-4437	139	35	without	without	ADP
app01-4437	139	36	need	need	NOUN
app01-4437	139	37	to	to	PART
app01-4437	139	38	distinguish	distinguish	VERB
app01-4437	139	39	if	if	SCONJ
app01-4437	139	40	this	this	DET
app01-4437	139	41	system	system	NOUN
app01-4437	139	42	will	will	AUX
app01-4437	139	43	be	be	AUX
app01-4437	139	44	implement	implement	ADJ
app01-4437	139	45	by	by	ADP
app01-4437	139	46	hw	hw	PRON
app01-4437	139	47	or	or	CCONJ
app01-4437	139	48	sw	sw	PROPN
app01-4437	139	49	.	.	PUNCT
app01-4437	140	1	references	reference	NOUN
app01-4437	141	1	[	[	X
app01-4437	141	2	1	1	NUM
app01-4437	141	3	]	]	PUNCT
app01-4437	141	4	guidelines	guideline	NOUN
app01-4437	141	5	for	for	ADP
app01-4437	141	6	the	the	DET
app01-4437	141	7	use	use	NOUN
app01-4437	141	8	of	of	ADP
app01-4437	141	9	the	the	DET
app01-4437	141	10	c	c	PROPN
app01-4437	141	11	language	language	NOUN
app01-4437	141	12	in	in	ADP
app01-4437	141	13	critical	critical	ADJ
app01-4437	141	14	systems	system	NOUN
app01-4437	141	15	,	,	PUNCT
app01-4437	141	16	march	march	PROPN
app01-4437	141	17	2013	2013	NUM
app01-4437	141	18	.	.	PUNCT
app01-4437	142	1	isbn	isbn	ADJ
app01-4437	142	2	978	978	NUM
app01-4437	142	3	-	-	SYM
app01-4437	142	4	1	1	NUM
app01-4437	142	5	-	-	PUNCT
app01-4437	142	6	906400	906400	NUM
app01-4437	142	7	-	-	PUNCT
app01-4437	142	8	10	10	NUM
app01-4437	142	9	-	-	SYM
app01-4437	142	10	1	1	NUM
app01-4437	142	11	(	(	PUNCT
app01-4437	142	12	paperback	paperback	NOUN
app01-4437	142	13	)	)	PUNCT
app01-4437	142	14	,	,	PUNCT
app01-4437	142	15	isbn	isbn	ADJ
app01-4437	142	16	978	978	NUM
app01-4437	142	17	-	-	SYM
app01-4437	142	18	1	1	NUM
app01-4437	142	19	-	-	PUNCT
app01-4437	142	20	906400	906400	NUM
app01-4437	142	21	-	-	PUNCT
app01-4437	142	22	11	11	NUM
app01-4437	142	23	-	-	SYM
app01-4437	142	24	8	8	NUM
app01-4437	142	25	(	(	PUNCT
app01-4437	142	26	pdf	pdf	NOUN
app01-4437	142	27	)	)	PUNCT
app01-4437	142	28	.	.	PUNCT
app01-4437	143	1	4	4	NUM
app01-4437	143	2	vol	vol	NOUN
app01-4437	143	3	.	.	PUNCT
app01-4437	144	1	11/2017	11/2017	NUM
app01-4437	144	2	comparison	comparison	NOUN
app01-4437	144	3	of	of	ADP
app01-4437	144	4	language	language	NOUN
app01-4437	144	5	subset	subset	NOUN
app01-4437	144	6	and	and	CCONJ
app01-4437	144	7	language	language	NOUN
app01-4437	144	8	extension	extension	NOUN
app01-4437	144	9	[	[	X
app01-4437	144	10	2	2	NUM
app01-4437	144	11	]	]	PUNCT
app01-4437	144	12	guidelines	guideline	NOUN
app01-4437	144	13	for	for	ADP
app01-4437	144	14	the	the	DET
app01-4437	144	15	use	use	NOUN
app01-4437	144	16	of	of	ADP
app01-4437	144	17	the	the	DET
app01-4437	144	18	c++	c++	NOUN
app01-4437	144	19	language	language	NOUN
app01-4437	144	20	in	in	ADP
app01-4437	144	21	critical	critical	ADJ
app01-4437	144	22	systems	system	NOUN
app01-4437	144	23	,	,	PUNCT
app01-4437	144	24	june	june	PROPN
app01-4437	144	25	2008	2008	NUM
app01-4437	144	26	.	.	PUNCT
app01-4437	145	1	isbn	isbn	ADJ
app01-4437	145	2	978	978	NUM
app01-4437	145	3	-	-	SYM
app01-4437	145	4	906400	906400	NUM
app01-4437	145	5	-	-	PUNCT
app01-4437	145	6	03	03	NUM
app01-4437	145	7	-	-	SYM
app01-4437	145	8	3	3	NUM
app01-4437	145	9	(	(	PUNCT
app01-4437	145	10	paperback	paperback	NOUN
app01-4437	145	11	)	)	PUNCT
app01-4437	145	12	,	,	PUNCT
app01-4437	145	13	isbn	isbn	ADJ
app01-4437	145	14	978	978	NUM
app01-4437	145	15	-	-	SYM
app01-4437	145	16	906400	906400	NUM
app01-4437	145	17	-	-	PUNCT
app01-4437	145	18	04	04	NUM
app01-4437	145	19	-	-	PUNCT
app01-4437	145	20	0	0	NUM
app01-4437	145	21	(	(	PUNCT
app01-4437	145	22	pdf	pdf	NOUN
app01-4437	145	23	)	)	PUNCT
app01-4437	145	24	.	.	PUNCT
app01-4437	146	1	[	[	X
app01-4437	146	2	3	3	X
app01-4437	146	3	]	]	X
app01-4437	146	4	iec	iec	NOUN
app01-4437	146	5	61508	61508	NUM
app01-4437	146	6	–	–	PUNCT
app01-4437	146	7	electronic	electronic	ADJ
app01-4437	146	8	functional	functional	ADJ
app01-4437	146	9	safety	safety	NOUN
app01-4437	146	10	package	package	NOUN
app01-4437	146	11	.	.	PUNCT
app01-4437	147	1	[	[	X
app01-4437	147	2	4	4	NUM
app01-4437	147	3	]	]	SYM
app01-4437	147	4	en50128	en50128	ADJ
app01-4437	147	5	:	:	PUNCT
app01-4437	147	6	railway	railway	NOUN
app01-4437	147	7	applications	application	NOUN
app01-4437	147	8	–	–	PUNCT
app01-4437	147	9	communications	communication	NOUN
app01-4437	147	10	,	,	PUNCT
app01-4437	147	11	signaling	signal	VERB
app01-4437	147	12	and	and	CCONJ
app01-4437	147	13	processing	processing	NOUN
app01-4437	147	14	systems	system	NOUN
app01-4437	147	15	–	–	PUNCT
app01-4437	147	16	software	software	NOUN
app01-4437	147	17	for	for	ADP
app01-4437	147	18	railway	railway	NOUN
app01-4437	147	19	control	control	NOUN
app01-4437	147	20	and	and	CCONJ
app01-4437	147	21	protection	protection	NOUN
app01-4437	147	22	systems	system	NOUN
app01-4437	147	23	,	,	PUNCT
app01-4437	147	24	2011	2011	NUM
app01-4437	147	25	.	.	PUNCT
app01-4437	148	1	[	[	X
app01-4437	148	2	5	5	NUM
app01-4437	148	3	]	]	X
app01-4437	148	4	iso	iso	NOUN
app01-4437	148	5	/	/	SYM
app01-4437	148	6	iec	iec	PROPN
app01-4437	148	7	8652:2012(e	8652:2012(e	NUM
app01-4437	148	8	)	)	PUNCT
app01-4437	148	9	.	.	PUNCT
app01-4437	149	1	ada	ada	PROPN
app01-4437	149	2	reference	reference	NOUN
app01-4437	149	3	manual	manual	NOUN
app01-4437	149	4	.	.	PUNCT
app01-4437	150	1	copyright	copyright	NOUN
app01-4437	150	2	©	©	PROPN
app01-4437	150	3	1992	1992	NUM
app01-4437	150	4	,	,	PUNCT
app01-4437	150	5	1993	1993	NUM
app01-4437	150	6	,	,	PUNCT
app01-4437	150	7	1994	1994	NUM
app01-4437	150	8	,	,	PUNCT
app01-4437	150	9	1995	1995	NUM
app01-4437	150	10	.	.	PUNCT
app01-4437	151	1	[	[	X
app01-4437	151	2	6	6	NUM
app01-4437	151	3	]	]	PUNCT
app01-4437	151	4	spark	spark	NOUN
app01-4437	151	5	2014	2014	NUM
app01-4437	151	6	reference	reference	NOUN
app01-4437	151	7	manual	manual	NOUN
app01-4437	151	8	.	.	PUNCT
app01-4437	152	1	copyright	copyright	NOUN
app01-4437	152	2	©	©	PROPN
app01-4437	152	3	2013	2013	NUM
app01-4437	152	4	-	-	SYM
app01-4437	152	5	2016	2016	NUM
app01-4437	152	6	.	.	PUNCT
app01-4437	153	1	[	[	X
app01-4437	153	2	7	7	X
app01-4437	153	3	]	]	PUNCT
app01-4437	153	4	"	"	PUNCT
app01-4437	153	5	https://github.com/rettichschnidi/clangmisracpp2008	https://github.com/rettichschnidi/clangmisracpp2008	NOUN
app01-4437	153	6	"	"	PUNCT
app01-4437	153	7	.	.	PUNCT
app01-4437	154	1	[	[	X
app01-4437	154	2	8	8	NUM
app01-4437	154	3	]	]	X
app01-4437	154	4	g.	g.	NOUN
app01-4437	154	5	marpons	marpons	PROPN
app01-4437	154	6	.	.	PUNCT
app01-4437	155	1	a	a	DET
app01-4437	155	2	coding	code	VERB
app01-4437	155	3	rule	rule	NOUN
app01-4437	155	4	conformance	conformance	NOUN
app01-4437	155	5	checker	checker	NOUN
app01-4437	155	6	integrated	integrate	VERB
app01-4437	155	7	into	into	ADP
app01-4437	155	8	gcc	gcc	NOUN
app01-4437	155	9	[	[	X
app01-4437	155	10	online	online	X
app01-4437	155	11	]	]	X
app01-4437	155	12	.	.	PUNCT
app01-4437	156	1	"	"	PUNCT
app01-4437	156	2	babel.ls.fi.upm.es/	babel.ls.fi.upm.es/	NOUN
app01-4437	156	3	gmarpons	gmarpon	NOUN
app01-4437	156	4	/	/	SYM
app01-4437	156	5	pubs	pub	NOUN
app01-4437	156	6	/	/	SYM
app01-4437	156	7	prole08codingrules.pdf	prole08codingrules.pdf	NOUN
app01-4437	156	8	"	"	PUNCT
app01-4437	156	9	.	.	PUNCT
app01-4437	157	1	[	[	X
app01-4437	157	2	9	9	NUM
app01-4437	157	3	]	]	SYM
app01-4437	157	4	ggcc	ggcc	NOUN
app01-4437	157	5	reseny	reseny	NOUN
app01-4437	157	6	mandrivou	mandrivou	PROPN
app01-4437	157	7	v	v	ADP
app01-4437	157	8	ramci	ramci	NOUN
app01-4437	157	9	itea3	itea3	X
app01-4437	157	10	.	.	PUNCT
app01-4437	158	1	[	[	X
app01-4437	158	2	10	10	NUM
app01-4437	158	3	]	]	PUNCT
app01-4437	158	4	"	"	PUNCT
app01-4437	158	5	http://www.codingstandard.com/section/index/	http://www.codingstandard.com/section/index/	PROPN
app01-4437	158	6	"	"	PUNCT
app01-4437	158	7	.	.	PUNCT
app01-4437	159	1	[	[	X
app01-4437	159	2	11	11	NUM
app01-4437	159	3	]	]	PUNCT
app01-4437	159	4	eiffel	eiffel	NOUN
app01-4437	159	5	language	language	NOUN
app01-4437	160	1	[	[	X
app01-4437	160	2	online	online	X
app01-4437	160	3	]	]	X
app01-4437	160	4	.	.	PUNCT
app01-4437	161	1	"	"	PUNCT
app01-4437	161	2	http://www.ecmainternational.org/publications/standards/ecma367.htm	http://www.ecmainternational.org/publications/standards/ecma367.htm	PROPN
app01-4437	161	3	"	"	PUNCT
app01-4437	161	4	.	.	PUNCT
app01-4437	162	1	[	[	X
app01-4437	162	2	12	12	NUM
app01-4437	162	3	]	]	X
app01-4437	162	4	ieee	ieee	PROPN
app01-4437	162	5	standard	standard	PROPN
app01-4437	162	6	vhdl	vhdl	PROPN
app01-4437	162	7	language	language	PROPN
app01-4437	162	8	reference	reference	NOUN
app01-4437	162	9	manual	manual	NOUN
app01-4437	162	10	,	,	PUNCT
app01-4437	162	11	2000	2000	NUM
app01-4437	162	12	.	.	PUNCT
app01-4437	163	1	[	[	X
app01-4437	163	2	13	13	NUM
app01-4437	163	3	]	]	PUNCT
app01-4437	163	4	t.musil	t.musil	NOUN
app01-4437	163	5	.	.	PUNCT
app01-4437	164	1	návrh	návrh	NOUN
app01-4437	164	2	metodiky	metodiky	VERB
app01-4437	164	3	pro	pro	X
app01-4437	164	4	vývoj	vývoj	PROPN
app01-4437	164	5	a	a	DET
app01-4437	164	6	verifikaci	verifikaci	NOUN
app01-4437	164	7	bezpečných	bezpečných	PROPN
app01-4437	164	8	algoritmů	algoritmů	PROPN
app01-4437	164	9	implementovaných	implementovaných	PROPN
app01-4437	165	1	v	v	NUM
app01-4437	165	2	dynamicky	dynamicky	PROPN
app01-4437	165	3	rekonfigurovatelných	rekonfigurovatelných	PROPN
app01-4437	165	4	fpga	fpga	PROPN
app01-4437	165	5	(	(	PUNCT
app01-4437	165	6	methodology	methodology	NOUN
app01-4437	165	7	for	for	ADP
app01-4437	165	8	design	design	NOUN
app01-4437	165	9	and	and	CCONJ
app01-4437	165	10	verification	verification	NOUN
app01-4437	165	11	of	of	ADP
app01-4437	165	12	algorithms	algorithm	NOUN
app01-4437	165	13	with	with	ADP
app01-4437	165	14	demands	demand	NOUN
app01-4437	165	15	for	for	ADP
app01-4437	165	16	safety	safety	NOUN
app01-4437	165	17	on	on	ADP
app01-4437	165	18	dynamically	dynamically	ADV
app01-4437	165	19	reconfigurable	reconfigurable	ADJ
app01-4437	165	20	fpga	fpga	NOUN
app01-4437	165	21	)	)	PUNCT
app01-4437	165	22	,	,	PUNCT
app01-4437	165	23	doctoral	doctoral	ADJ
app01-4437	165	24	thesis	thesis	NOUN
app01-4437	165	25	.	.	PUNCT
app01-4437	166	1	czech	czech	PROPN
app01-4437	166	2	technical	technical	PROPN
app01-4437	166	3	university	university	PROPN
app01-4437	166	4	,	,	PUNCT
app01-4437	166	5	2015	2015	NUM
app01-4437	166	6	.	.	PUNCT
app01-4437	167	1	5	5	NUM
app01-4437	167	2	acta	acta	PROPN
app01-4437	167	3	polytechnica	polytechnica	PROPN
app01-4437	167	4	ctu	ctu	NOUN
app01-4437	167	5	proceedings	proceeding	NOUN
app01-4437	167	6	11:1–5	11:1–5	NUM
app01-4437	167	7	,	,	PUNCT
app01-4437	167	8	2017	2017	NUM
app01-4437	167	9	1	1	NUM
app01-4437	167	10	introduction	introduction	NOUN
app01-4437	167	11	2	2	NUM
app01-4437	167	12	misra	misra	NOUN
app01-4437	167	13	c	c	NOUN
app01-4437	167	14	/	/	SYM
app01-4437	167	15	c++	c++	NOUN
app01-4437	167	16	3	3	NUM
app01-4437	167	17	ada	ada	NOUN
app01-4437	167	18	language	language	NOUN
app01-4437	167	19	4	4	NUM
app01-4437	167	20	spark	spark	NOUN
app01-4437	167	21	5	5	NUM
app01-4437	167	22	vhdl	vhdl	NOUN
app01-4437	167	23	6	6	NUM
app01-4437	167	24	synthesis	synthesis	NOUN
app01-4437	167	25	7	7	NUM
app01-4437	167	26	discussion	discussion	NOUN
app01-4437	167	27	8	8	NUM
app01-4437	167	28	conclusion	conclusion	NOUN
app01-4437	167	29	references	reference	NOUN