The base conceptions and algorithms of the metacomputations, neighbourhood analysis, neighbourhood testing of the programs, universal decision algorithm, inverse programming, formal model for free modificator of the programming language semantics and non-standard semantics and effective realization of the non-standard semantics by means of the specialization have been developed, investigated and substantiated.Available from VNTIC / VNTIC - Scientific & Technical Information Centre of RussiaSIGLERURussian Federatio
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.