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 ...