Progsbase Instruction Set - Infrastructural Instructions

  • Computational instructions always give the same output for the same input, and they have no other effects.
  • Infrastructural instructions give different (or no) output for the same input (if any), and they cause outside effects.
    • Each infrastructural instruction comes in four asynchronous variants: snd, rcv, srv snd and srv rcv.
  • Read the full story behind the instruction set in Foundations of Computer Science.


all computational infrastructural arithmetic relational boolean control-flow block expression structural data conversion processing-unit disk clock screen processing-unit-controller keyboard audio

Mnemonic Name Arguments Type Categories
pcl Call Processing Unit call(dev, req, res) Infrastructural processing-unit
snd Send to Processing Unit send(dev, data) Infrastructural processing-unit
rcv Receive from Processing Unit receive(dev, data) Infrastructural processing-unit
chk Check x = check(dev) Infrastructural processing-unit
srv snd Server Send serversend(dev, data) Infrastructural processing-unit
srv rcv Server Receive serverreceive(dev, data) Infrastructural processing-unit
dsp Get Disk Entry Specifications diskspecs(dev, e, s) Infrastructural disk
drd Read Disk Entry x = readdisk(dev, n, data) Infrastructural disk
dwr Write Disk Entry x = writedisk(dev, n, data) Infrastructural disk
csp Get Clock Resolution and Range clockspecs(dev, res, range) Infrastructural clock
ctm Get Current Time x = time(dev, res) Infrastructural clock
spc Get Screen Specifications screenspecs(dev, w, h, d) Infrastructural screen
sdsp Display Image display(dev, img) Infrastructural screen
syn Synchronize Image sync(dev) Infrastructural screen
psp Get Processing Unit Controller Specifications puspecs(dev, pus, progs) Infrastructural processing-unit-controller
psta Start Processing Unit start(dev, n) Infrastructural processing-unit-controller
pstp Stop Processing Unit stop(dev, n) Infrastructural processing-unit-controller
pse Set Program execute(dev, n, p) Infrastructural processing-unit-controller
pex Was Exception exception(dev, n) Infrastructural processing-unit-controller
ksp Get Keyboard Specifications kbspecs(dev, ctlkeys, sim) Infrastructural keyboard
kst Get Keyboard State keys(dev, state) Infrastructural keyboard
asp Get Audio Specifications audiospecs(dev, dens, mindelay) Infrastructural audio
acd Get Current Delay x = audiodelay(dev) Infrastructural audio
aws Write Audio Samples x = writeadio(dev, samples) Infrastructural audio
Contact Information

We would be more than happy to help you. Our opening hours are 9–15 (CET).

[email protected]

📞 (+47) 93 68 22 77

Nils Bays vei 50, 0876 Oslo, Norway

Copyright © 2018-22 by Inductive AS.