咨询与建议

限定检索结果

文献类型

  • 5 篇 期刊文献
  • 3 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 7 篇 工学
    • 5 篇 计算机科学与技术...
    • 3 篇 软件工程
    • 2 篇 电气工程
    • 1 篇 信息与通信工程

主题

  • 8 篇 program annotati...
  • 2 篇 program correctn...
  • 2 篇 inference rules
  • 2 篇 invariant assert...
  • 2 篇 verification
  • 1 篇 verifikation
  • 1 篇 performance
  • 1 篇 internet protoco...
  • 1 篇 user data handli...
  • 1 篇 lattices
  • 1 篇 data privacy
  • 1 篇 linux
  • 1 篇 legal ease langu...
  • 1 篇 deep learning
  • 1 篇 page placement
  • 1 篇 code comment
  • 1 篇 program analysis
  • 1 篇 minimal human in...
  • 1 篇 debugging
  • 1 篇 user data

机构

  • 1 篇 univ michigan an...
  • 1 篇 microsoft res re...
  • 1 篇 beijing key lab ...
  • 1 篇 inria rocquencou...
  • 1 篇 beihang univ sch...
  • 1 篇 beihang univ bei...
  • 1 篇 taiyuan univ tec...
  • 1 篇 stanford univ de...
  • 1 篇 carnegie mellon ...
  • 1 篇 univ rennes inri...
  • 1 篇 ave antonio carl...
  • 1 篇 beijing aeronaut...
  • 1 篇 microsoft res ba...
  • 1 篇 friedrich schill...
  • 1 篇 nvidia westford ...
  • 1 篇 weizmann inst sc...

作者

  • 1 篇 quintao pereira ...
  • 1 篇 adler philipp
  • 1 篇 song xiaotao
  • 1 篇 guha saikat
  • 1 篇 nellans david
  • 1 篇 sen shayak
  • 1 篇 rajamani sriram ...
  • 1 篇 wing jeannette m...
  • 1 篇 rohou erven
  • 1 篇 lima caio
  • 1 篇 nachum dershowit...
  • 1 篇 o'connor mike
  • 1 篇 zohar manna
  • 1 篇 dershowitz n
  • 1 篇 datta anupam
  • 1 篇 keckler stephen ...
  • 1 篇 soliman s
  • 1 篇 wang xu
  • 1 篇 coolen r
  • 1 篇 yan jiafei

语言

  • 7 篇 英文
  • 1 篇 其他
检索条件"主题词=Program Annotation"
8 条 记 录,以下是1-10 订阅
排序:
INFERENCE RULES FOR program annotation
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1981年 第2期7卷 207-222页
作者: DERSHOWITZ, N MANNA, Z STANFORD UNIV DEPT COMP SCISTANFORDCA 94305 WEIZMANN INST SCI DEPT APPL MATHREHOVOT 76100ISRAEL
Methods are presented whereby documentation can be accomplished automatically for an Algol-like program given together with its specifications. The program is incrementally annotated with invariant relations that hol... 详细信息
来源: 评论
Inference rules for program annotation  78
Inference rules for program annotation
收藏 引用
Proceedings of the 3rd international conference on Software engineering
作者: Nachum Dershowitz Zohar Manna
Methods are presented whereby an Algol-like program, given together with its specifications, can be documented automatically. The program is incrementally annotated with invariant relationships that hold between progr... 详细信息
来源: 评论
Data Flow Analysis as a General Concept for the Transport of Verifiable program annotations
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007年 第3期176卷 97-108页
作者: Amme, Wolfram Moeller, Marc-Andre Adler, Philipp Friedrich Schiller Univ Jena Inst Informat Jena Germany
Just-in-Time (JIT) compilation is frequently employed in order to speed-up the execution of platfor-independent and dynamically extensible mobile code applications. Since the time required for dynamic compilation dire... 详细信息
来源: 评论
Guided just-in-time specialization
收藏 引用
SCIENCE OF COMPUTER programMING 2020年 185卷 102318-102318页
作者: Lima, Caio Cezar, Junio Leobas, Guilherme Vieira Rohou, Erven Quintao Pereira, Fernando Magno Ave Antonio Carlos 6627 Belo Horizonte MG Brazil Univ Rennes Inria CNRS IRISA Rennes France
JavaScript's portability across a vast ecosystem of browsers makes it today a core building block of the web. Yet, building efficient systems in JavaScript is still challenging. Because this language is so dynamic... 详细信息
来源: 评论
CLPGUI: A generic graphical user interface for constraint logic programming
收藏 引用
CONSTRAINTS 2004年 第4期9卷 241-262页
作者: Fages, F Soliman, S Coolen, R INRIA Rocquencourt Projet Contraintes F-78153 Le Chesnay France
CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different contexts: initially for teaching purposes, then... 详细信息
来源: 评论
A Survey of Automatic Generation of Source Code Comments: Algorithms and Techniques
收藏 引用
IEEE ACCESS 2019年 7卷 111411-111428页
作者: Song, Xiaotao Sun, Hailong Wang, Xu Yan, Jiafei Taiyuan Univ Technol Sch Software Taiyuan 030024 Shanxi Peoples R China Beihang Univ Sch Comp Sci & Engn SKLSDE Lab Beijing 100191 Peoples R China Beihang Univ Beijing Adv Innovat Ctr Big Data & Brain Comp Beijing 100191 Peoples R China Beijing Aeronaut Sci & Technol Res Inst Beijing 102211 Peoples R China Beijing Key Lab Civil Aircraft Design & Simulat T Beijing 102211 Peoples R China
As an integral part of source code files, code comments help improve program readability and comprehension. However, developers sometimes do not comment their program code adequately due to the incurred extra efforts,... 详细信息
来源: 评论
Page Placement Strategies for GPUs within Heterogeneous Memory Systems  15
Page Placement Strategies for GPUs within Heterogeneous Memo...
收藏 引用
20th International Conference on Architectural Support for programming Languages and Operating Systems (ASPLOS)
作者: Agarwal, Neha Nellans, David Stephenson, Mark O'Connor, Mike Keckler, Stephen W. Univ Michigan Ann Arbor MI 48109 USA NVIDIA Westford MA USA
Systems from smartphones to supercomputers are increasingly heterogeneous, being composed of both CPUs and GPUs. To maximize cost and energy efficiency, these systems will increasingly use globally-addressable heterog... 详细信息
来源: 评论
Bootstrapping Privacy Compliance in Big Data Systems  35
Bootstrapping Privacy Compliance in Big Data Systems
收藏 引用
35th IEEE-Computer-Society Workshop on Security and Privacy (SP)
作者: Sen, Shayak Guha, Saikat Datta, Anupam Rajamani, Sriram K. Tsai, Janice Wing, Jeannette M. Carnegie Mellon Univ Pittsburgh PA 15213 USA Microsoft Res Bangalore Karnataka India Microsoft Res Redmond WA USA
With the rapid increase in cloud services collecting and using user data to offer personalized experiences, ensuring that these services comply with their privacy policies has become a business imperative for building... 详细信息
来源: 评论