2012
DOI: 10.48550/arxiv.1204.1881
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

Four Conceptions of Instruction Sequence Faults

Jan A. Bergstra

Abstract: The notion of an instruction sequence fault is considered from various perspectives. Four different viewpoints on what constitutes a fault, or how to use the notion of a fault, are formulated. An integration of these views is proposed.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
3
0

Year Published

2012
2012
2012
2012

Publication Types

Select...
1

Relationship

1
0

Authors

Journals

citations
Cited by 1 publication
(3 citation statements)
references
References 29 publications
0
3
0
Order By: Relevance
“…(informaticology) for the academic background of an informaticus (assuming he or she has one). 3 An individual knowledgeable of musicologie is called a musicoloog, and a scholar of politicologie is called a politicoloog. This suggest that an academically oriented expert of informaticologie may be called an informaticoloog.…”
Section: Assumption A1: En2nl(informatics) = Informaticamentioning
confidence: 99%
See 2 more Smart Citations
“…(informaticology) for the academic background of an informaticus (assuming he or she has one). 3 An individual knowledgeable of musicologie is called a musicoloog, and a scholar of politicologie is called a politicoloog. This suggest that an academically oriented expert of informaticologie may be called an informaticoloog.…”
Section: Assumption A1: En2nl(informatics) = Informaticamentioning
confidence: 99%
“…The line of reasoning based on assumption A1 becomes unconvincing if one prefers to translate informatics to informatietechnologie (information technol- 3 For the English terminology these choices imply that informaticology ought to denote (or to evolve in such a way that it will denote) the science of informatics if a best fit with the proposal on Dutch terminology is to be found. I have no opinion concerning the plausibility that the meaning of the terms informatics and informaticology will evolve in that direction.…”
Section: Assumption A2: En2nl(informatics) = Informaticsmentioning
confidence: 99%
See 1 more Smart Citation