咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程

主题

  • 2 篇 type inference
  • 2 篇 object-oriented ...
  • 1 篇 lattice completi...
  • 1 篇 languages
  • 1 篇 java compiler
  • 1 篇 type-directed co...
  • 1 篇 type reconstruct...
  • 1 篇 theory
  • 1 篇 typed intermedia...
  • 1 篇 javascript

机构

  • 1 篇 samsung res amer...
  • 1 篇 microsoft corp r...
  • 1 篇 samsung elect su...
  • 1 篇 northeastern uni...
  • 1 篇 drexel univ phil...

作者

  • 1 篇 schlesinger cole
  • 1 篇 tip frank
  • 1 篇 rehof j
  • 1 篇 gordon colin s.
  • 1 篇 choi youngil
  • 1 篇 chandra satish
  • 1 篇 sridharan manu
  • 1 篇 jeannin jean-bap...
  • 1 篇 knoblock tb

语言

  • 1 篇 英文
  • 1 篇 其他
检索条件"主题词=object-oriented type systems"
2 条 记 录,以下是1-10 订阅
排序:
type elaboration and subtype completion for Java bytecode
收藏 引用
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND systems 2001年 第2期23卷 243-272页
作者: Knoblock, TB Rehof, J Microsoft Corp Res Redmond WA 98052 USA
Java source code is strongly typed, but the translation from Java source to bytecode omits much of the type information originally contained within methods. type elaboration is a technique for reconstructing strongly ... 详细信息
来源: 评论
type Inference for Static Compilation of JavaScript
收藏 引用
ACM SIGPLAN NOTICES 2016年 第10期51卷 410-429页
作者: Chandra, Satish Gordon, Colin S. Jeannin, Jean-Baptiste Schlesinger, Cole Sridharan, Manu Tip, Frank Choi, Youngil Samsung Res Amer Mountain View CA 94043 USA Drexel Univ Philadelphia PA 19104 USA Northeastern Univ Boston MA 02115 USA Samsung Elect Suwon South Korea
We present a type system and inference algorithm for a rich subset of JavaScript equipped with objects, structural subtyping, prototype inheritance, and first-class methods. The type system supports abstract and recur... 详细信息
来源: 评论