Search for Author All Reviews
	Vasenin, V     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       A model of dynamical concurrent program execution Vasenin V., Krivchikov M. Programming and Computing Software 39(1): 1-9, 2013.  Type: Article Suppose we have a class of objects that represent the state of a computer, and a function that takes one of these objects as an argument and returns another one of these objects. If we have a way to translate a program into such a func...... Jan 15 2014     ECMA-335 static formal semantics Vasenin V., Krivchikov M. Programming and Computing Software 38(4): 183-188, 2012.  Type: Article Formal semantics are becoming increasingly important as a prerequisite for creating trusted software. This is especially useful when a standard such as ECMA-335 exists for defining a language, in this case, the common language infrastr...... Jan 24 2013
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy