Program algebra with a jump-shift instruction

Article Properties
Cite
Bergstra, J.A., and C.A. Middelburg. “Program Algebra With a Jump-Shift Instruction”. Journal of Applied Logic, vol. 6, no. 4, 2008, pp. 553-6, https://doi.org/10.1016/j.jal.2008.07.001.
Bergstra, J., & Middelburg, C. (2008). Program algebra with a jump-shift instruction. Journal of Applied Logic, 6(4), 553-563. https://doi.org/10.1016/j.jal.2008.07.001
Bergstra, J.A., and C.A. Middelburg. “Program Algebra With a Jump-Shift Instruction”. Journal of Applied Logic 6, no. 4 (2008): 553-63. https://doi.org/10.1016/j.jal.2008.07.001.
Bergstra J, Middelburg C. Program algebra with a jump-shift instruction. Journal of Applied Logic. 2008;6(4):553-6.
Refrences
Title Journal Journal Categories Citations Publication Date
Thread algebra for strategic interleaving

 Formal Aspects of Computing
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 12 2007
Combining programs and state machines 2002
Program algebra for sequential code 2002
Thread algebra with multi-level strategies 2006
Instruction sequences with indirect jumps 2007
Citations
Title Journal Journal Categories Citations Publication Date
Instruction sequence processing operators Acta Informatica
  • Technology: Technology (General): Industrial engineering. Management engineering: Information technology
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1 2012
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science2
Science: Mathematics1
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware1
Technology: Technology (General): Industrial engineering. Management engineering: Information technology1
Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication1
Science: Science (General): Cybernetics: Information theory1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 2 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled 10.1007/s00224-010-9301-8 and was published in 2010. The most recent citation comes from a 2012 study titled Instruction sequence processing operators. This article reached its peak citation in 2012, with 1 citations. It has been cited in 2 different journals. Among related journals, the Acta Informatica cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year