Publication:3208065
From MaRDI portal
zbMath0417.68011MaRDI QIDQ3208065
Publication date: 1979
computer architecture; portability; stack machines; instruction sets; abstract machine code; storage-to- storage machines
68Q60: Specification and verification (program logics, model checking, etc.)