We discuss denotational semantics of object-oriented languages, using the concept of
我们使用(半)函数式编程中广泛使用的
机译:用于将面向对象模型映射到语义Web语言的语义框架
机译:命令式面向对象语言的语义子类型化
机译:面向对象语言中的复制语义动态超载:一个正式帐户
机译:面向对象语言的完全抽象语义学的第一步
机译:域特定语言的快速原型制作:在面向对象的编译器编译器中应用空对象模式。
机译:用于将面向对象的模型映射到语义Web语言的语义框架
机译:作为闭包的对象:面向对象语言的抽象语义
机译:对象作为闭包:面向对象语言的抽象语义