Search
for Author
All Reviews
Krivchikov, M
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