咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...

主题

  • 3 篇 java virtual mac...
  • 2 篇 lightweight veri...
  • 2 篇 cost modelling
  • 2 篇 program logic
  • 1 篇 partial evaluati...
  • 1 篇 resource algebra...
  • 1 篇 run-time code ge...
  • 1 篇 compiler optimis...
  • 1 篇 object-oriented ...
  • 1 篇 translation vali...
  • 1 篇 just-in-time com...
  • 1 篇 quantitative typ...
  • 1 篇 program speciali...
  • 1 篇 proof-carrying-c...
  • 1 篇 intermediate lan...

机构

  • 1 篇 univ tokyo grad ...
  • 1 篇 univ edinburgh s...
  • 1 篇 univ edinburgh s...
  • 1 篇 univ munich inst...
  • 1 篇 ludwig maximilia...
  • 1 篇 univ milan dsi m...
  • 1 篇 univ tokyo dept ...

作者

  • 2 篇 aspinall david
  • 2 篇 momigliano alber...
  • 2 篇 beringer lennart
  • 1 篇 loidl hans-wolfg...
  • 1 篇 hofmann martin
  • 1 篇 yonezawa a
  • 1 篇 masuhara h

语言

  • 2 篇 英文
  • 1 篇 其他
检索条件"主题词=Java Virtual Machine Language"
3 条 记 录,以下是1-10 订阅
排序:
A program logic for resources
收藏 引用
THEORETICAL COMPUTER SCIENCE 2007年 第3期389卷 411-445页
作者: Aspinall, David Beringer, Lennart Hofmann, Martin Loidl, Hans-Wolfgang Momigliano, Alberto Univ Edinburgh Sch Informat Lab Fdn Comp Sci Edinburgh EH9 3JZ Midlothian Scotland Univ Munich Inst Informat D-80538 Munich Germany
We introduce a reasoning infrastructure for proving statements about resource consumption in a fragment of the java virtual machine language (JVML). The infrastructure is based on a small hierarchy of program logics, ... 详细信息
来源: 评论
A portable approach to dynamic optimization in run-time specialization
收藏 引用
NEW GENERATION COMPUTING 2002年 第1期20卷 101-124页
作者: Masuhara, H Yonezawa, A Univ Tokyo Grad Sch Arts & Sci Dept Graph & Comp Sci Tokyo 1130033 Japan Univ Tokyo Dept Comp Sci Tokyo 1130033 Japan
This paper proposes a run-time bytecode specialization (BCS) technique that analyzes programs and generates specialized programs at run-time in an intermediate language. By using an intermediate language for code gene... 详细信息
来源: 评论
Optimisation Validation
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007年 第3期176卷 37-59页
作者: Aspinall, David Beringer, Lennart Momigliano, Alberto Univ Edinburgh Sch Informat LFCS Edinburgh Midlothian Scotland Ludwig Maximilians Univ Munchen Inst Informat Munich Germany Univ Milan DSI Milan Italy
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource measure. This is related to, but in contr... 详细信息
来源: 评论