The Semantics and Open Set Analysis of a First Order Programming Language