lam icon indicating copy to clipboard operation
lam copied to clipboard
verified publisher icon leostera

LAM Specification Status

Open leostera opened this issue 5 years ago • 0 comments

One of the goals of LAM is to be formally specified.

This will allow other implementations to appear that are interchangeable with it, and will allow us to reason mathematically about their expected behaviors.

Instruction Set

Control Flow

  • [ ] Badmatch
  • [ ] Call
  • [ ] ConditionalJump
  • [ ] Halt
  • [ ] Jump
  • [ ] Label
  • [ ] Return
  • [ ] TailCall
  • [ ] Test

Values

  • [ ] ConsList
  • [ ] GetMapElements
  • [ ] GetTupleElement
  • [ ] MakeLambda
  • [ ] MakeTuple
  • [ ] SplitList
  • [ ] SplitListHead
  • [ ] SplitListTail

Processes & Message Passing

  • [ ] Kill
  • [ ] Monitor
  • [ ] PeekMessage
  • [ ] PidSelf
  • [ ] RemoveMessage
  • [ ] Send
  • [ ] Sleep
  • [ ] Spawn

Register Machine

  • [ ] Allocate
  • [ ] Clear
  • [ ] Deallocate
  • [x] Move
  • [ ] RestoreLocals
  • [ ] ShiftLocals
  • [ ] Swap

Scheduler

  • [ ] Boot
  • [ ] Step

Scheduler Coordinator

  • [ ] Setup
  • [ ] Step
  • [ ] Halt

leostera avatar Dec 19 '20 08:12 leostera