B74-10 Computer Semantics, Studies of Algorithms, Processors and Languages | IEEE Journals & Magazine | IEEE Xplore