Hristian Hristov Kirtchev

According to our database, Hristian Hristov Kirtchev authored at least 2 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

A new robust and efficient implementation of controlled types in the GNAT compiler.

Hristian Hristov Kirtchev

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

2005

The implementation of ada 2005 synchronized interfaces in the GNAT compiler.

Javier Miranda, Edmond Schonberg, Hristian Hristov Kirtchev

Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, 2005