@{MTMT:1996678,
	title = {Features of C++ Template Metaprograms},
	url = {https://m2.mtmt.hu/api/publication/1996678},
	author = {Pataki, Norbert and Mihalicza, József and Szűgyi, Zalán and Májer, Viktor and Porkoláb, Zoltán},
	booktitle = {Proceedings of the 8th International Conference on Applied Informatics, ICAI 2010},
	unique-id = {1996678},
	year = {2010},
	pages = {451-451},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367; Porkoláb, Zoltán/0000-0001-6819-0224}
}

@CONFERENCE{MTMT:1648366,
	title = {Properties of C++ template metaprograms},
	url = {https://m2.mtmt.hu/api/publication/1648366},
	author = {Pataki, Norbert and Kozsik, Tamás and Porkoláb, Zoltán},
	booktitle = {Proceedings of the 7th International Conference on Applied Informatics},
	unique-id = {1648366},
	abstract = {Summary: Verifying properties of programs is a common way to 
		ensure the proper behaviour of those programs. Invariants, pre- 
		and postconditions are program properties often used when 
		proving correctness of programs. \par C++ Template MetaPrograms 
		(TMPs) are special progams interpreted by the compiler. 
		Metaprograms are widely used for the following purposes: 
		executing algorithms in compile-time, optimizing runtime 
		programs and emitting compilation errors and warnings to enforce 
		certain semantic checks. \par In this paper we step to ``meta-
		meta-level'': we present a technique to make safer C++ TMPs with 
		static asserts. We describe how to check invariants, pre- and 
		postconditions of TMPs and enforce the compiler to refuse 
		metaprograms if any of the specified program properties is 
		dissatisfied. We present some examples where semantic errors in 
		TMPs are revealed by our method.},
	year = {2007},
	pages = {265-270},
	orcid-numbers = {Pataki, Norbert/0000-0002-7519-3367; Kozsik, Tamás/0000-0003-4484-9172; Porkoláb, Zoltán/0000-0001-6819-0224}
}