Substrate-targeted programing (STP) is a programming paradigm that consists of programming languages, frameworks, and methodologies where the programs are compiled into objects of a specific substrate. The compiled objects - which are not machine code objects of a conventional computer - may have uncomputable features that are outside the standard Turing machine model.
Philip Thrift