Never seen anything like this before in a programming language (VHDL/Verilog supports this sort of stuff of course):

  onchange(x){ doSomething()}//on change of x, perform an action
  every(x){ doSomething(x)}//as above but including initial value
  await(x; x > 2)//pause execution until the condition is met
  trans{//a transaction acting upon two references
    a -= 10
    b += 10
  }
  z <= a+b//shorthand for every
  z <- a+b//shorthand for onchange

Is this novel to abstract languages? Would something like this work in a language without a VM like C++?

I imagine needing registrations of these conditionals in the VM to watch and execute.