Instruction sequence faults with formal change justification (Q5089616)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 7560039
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Instruction sequence faults with formal change justification |
scientific article; zbMATH DE number 7560039 |
Statements
Instruction Sequence Faults with Formal Change Justification (English)
0 references
19 July 2022
0 references
sumterms
0 references
sumtuples
0 references
splitting paradox
0 references
0.7133499979972839
0 references
0.6667483448982239
0 references
0.6551827192306519
0 references
0.6498284339904785
0 references
0.6204202175140381
0 references
