Alexey V. Promsky

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j5		Alexey V. Promsky: C program verification: Verification condition explanation and standard library. Automatic Control and Computer Sciences 46(7): 394-401 (2012)
	2011
j4		V. A. Nepomniaschy, Igor S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, Alexey V. Promsky: C program verification in SPECTRUM multilanguage system. Automatic Control and Computer Sciences 45(7): 413-420 (2011)
	2006
j3		V. A. Nepomniaschy, Igor S. Anureev, I. V. Dubranovskii, Alexey V. Promsky: Towards verification of C# programs: A three-level approach. Programming and Computer Software 32(4): 190-202 (2006)
	2003
j2		V. A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky: Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language. Programming and Computer Software 29(6): 338-350 (2003)
c1		V. A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky: Verification-Oriented Language C-Light and Its Structural Operational Semantics. Ershov Memorial Conference 2003: 103-111
	2002
j1		V. A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky: Towards Verification of C Programs. C-Light Language and Its Formal Semantics. Programming and Computer Software 28(6): 314-323 (2002)

Coauthor Index

1	Igor S. Anureev	[j4] [j3] [j2] [c1] [j1]
2	M. M. Atuchin	[j4]
3	I. V. Dubranovskii	[j3]
4	I. V. Maryasov	[j4]
5	I. N. Mikhailov	[j1]
6	Valery A. Nepomniaschy (V. A. Nepomniaschy)	[j4] [j3] [j2] [c1] [j1]
7	A. A. Petrov	[j4]

Last update Sun May 26 08:21:22 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page