Now showing items 1-1 of 1

    • New 

      Kozen, Dexter (2012-03-17)
      We propose a theoretical device for modeling the creation of new indiscernible semantic objects during program execution. The method fits well with the semantics of imperative, functional, and object-oriented languages ...