Talk:Transaction logic
![]() | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||
|
Language syntax
[edit]This stub could use a section on language syntax... and I know there are more references to look at for later inclusion. Hotfeba 23:57, 17 August 2007 (UTC)
Difficulty of the Examples
[edit]The examples are a little hard to understand. Maybe add some text prose around the example, or some comments in the code or some references.
The graph coloring works more or less for me. But what will the pyramid stacking do? Will it fetch blocks from anywhere?
Can the latter example by turned into solving the tower of hanoi problem? Jan Burse (talk) 20:11, 17 September 2013 (UTC)
Assessment comment
[edit]The comment(s) below were originally left at Talk:Transaction logic/Comments, and are posted here for posterity. Following several discussions in past years, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.
== Rated as stub == Needs expansion regarding language syntax, role of oracles, serial Horn formulae/programming... Hotfeba 23:58, 17 August 2007 (UTC) |
Last edited at 23:58, 17 August 2007 (UTC). Substituted at 03:20, 3 May 2016 (UTC)