咨询与建议

限定检索结果

文献类型

  • 15 篇 会议
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 13 篇 工学
    • 13 篇 计算机科学与技术...
    • 11 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
  • 9 篇 理学
    • 9 篇 数学
  • 1 篇 管理学
    • 1 篇 图书情报与档案管...

主题

  • 1 篇 smart contracts
  • 1 篇 types
  • 1 篇 high level langu...
  • 1 篇 distilleries
  • 1 篇 software enginee...
  • 1 篇 logic programmin...
  • 1 篇 heap abstraction
  • 1 篇 reverse engineer...
  • 1 篇 relaxed consiste...
  • 1 篇 dynamic pushdown...
  • 1 篇 mathematical log...
  • 1 篇 computers
  • 1 篇 entailment check...
  • 1 篇 semantics
  • 1 篇 kleene abstracti...
  • 1 篇 separation logic
  • 1 篇 programming lang...
  • 1 篇 mergeable object...
  • 1 篇 concurrent progr...
  • 1 篇 logics and meani...

机构

  • 1 篇 university of sc...
  • 1 篇 univ hong kong p...
  • 1 篇 univ paris 13
  • 1 篇 rhein westfal th...
  • 1 篇 lipn
  • 1 篇 univ oxford oxfo...
  • 1 篇 univ copenhagen ...
  • 1 篇 zhejiang univ pe...
  • 1 篇 pohang univ. of ...
  • 1 篇 ecole polytech l...
  • 1 篇 technion israel ...
  • 1 篇 cnrs lipn
  • 1 篇 univ paris dider...
  • 1 篇 univ kaiserslaut...
  • 1 篇 nanzan univ dept...
  • 1 篇 univ buenos aire...
  • 1 篇 univ paris 13 cn...
  • 1 篇 ludwig maximilia...
  • 1 篇 pohang universit...
  • 1 篇 laboratoire d'in...

作者

  • 1 篇 accattoli beniam...
  • 1 篇 oliveira bruno c...
  • 1 篇 clarke dave
  • 1 篇 tauber tomas
  • 1 篇 yahav eran
  • 1 篇 patrignani marco
  • 1 篇 thiemann peter
  • 1 篇 xinyu feng
  • 1 篇 park sungwoo
  • 1 篇 noll thomas
  • 1 篇 pommellet adrien
  • 1 篇 mazza damiano
  • 1 篇 schoepp ulrich
  • 1 篇 zhang weixin
  • 1 篇 zhang zhenrui
  • 1 篇 feng xinyu
  • 1 篇 axelsen holger b...
  • 1 篇 matheja christop...
  • 1 篇 piessens frank
  • 1 篇 brunel aloïs

语言

  • 16 篇 英文
检索条件"任意字段=13th Asian Symposium on Programming Languages and Systems, APLAS 2015"
16 条 记 录,以下是1-10 订阅
排序:
13th asian symposium on programming languages and systems, aplas 2015
13th Asian Symposium on Programming Languages and Systems, A...
收藏 引用
13th asian symposium on programming languages and systems, aplas 2015
the proceedings contain 26 papers. the special focus in this conference is on Compilers and Separation Logic. the topics include: Memory-efficient tail calls in the JVM with imperative functional objects;a secure comp...
来源: 评论
programming languages and systems: 13th asian symposium, aplas 2015 Pohang, South Korea, November 30 - December 2, 2015 Proceedings  13th
Programming Languages and Systems: 13th Asian Symposium, APL...
收藏 引用
13th asian symposium on programming languages and systems, aplas 2015
作者: Feng, Xinyu Park, Sungwoo University of Science and Technology of China Hefei Anhui China Pohang University of Science and Technology Pohang Korea Republic of
来源: 评论
Probabilistic programming  13th
Probabilistic Programming
收藏 引用
13th asian symposium on programming languages and systems (aplas)
作者: Yang, Hongseok Univ Oxford Oxford England
来源: 评论
From Call-by-Value to Interaction by Typed Closure Conversion  13th
From Call-by-Value to Interaction by Typed Closure Conversio...
收藏 引用
13th asian symposium on programming languages and systems (aplas)
作者: Schoepp, Ulrich Ludwig Maximilians Univ Munchen Munich Germany
We study the efficient implementation of call-by-value using the structure of interactive computation models. this structure has been useful in applications to resource-bounded compilation, but much of the existing wo... 详细信息
来源: 评论
Tree-Like Grammars and Separation Logic  13th
Tree-Like Grammars and Separation Logic
收藏 引用
13th asian symposium on programming languages and systems (aplas)
作者: Matheja, Christoph Jansen, Christina Noll, thomas Rhein Westfal TH Aachen Software Modeling & Verificat Grp Aachen Germany
Separation Logic with inductive predicate definitions (SL) and hyperedge replacement grammars (HRG) are established formalisms to describe the abstract shape of data structures maintained by heap-manipulating programs... 详细信息
来源: 评论
programming Techniques for Reversible Comparison Sorts  13th
Programming Techniques for Reversible Comparison Sorts
收藏 引用
13th asian symposium on programming languages and systems (aplas)
作者: Axelsen, Holger Bock Yokoyama, Tetsuo Univ Copenhagen Dept Comp Sci DIKU Copenhagen Denmark Nanzan Univ Dept Software Engn Nagoya Aichi 466 Japan
A common approach to reversible programming is to reversibly simulate an irreversible program with the desired functionality, which in general puts additional pressure on the computational resources (time, space.) If ... 详细信息
来源: 评论
Transactions on Mergeable Objects  13th
Transactions on Mergeable Objects
收藏 引用
13th asian symposium on programming languages and systems (aplas)
作者: Akkoorath, Deepthi Devaki Bieniusa, Annette Univ Kaiserslautern D-67663 Kaiserslautern Germany
Destructible updates on shared objects require careful handling of concurrent accesses in multi-threaded programs. Paradigms such as Transactional Memory support the programmer in correctly synchronizing access to mut... 详细信息
来源: 评论
programming with "Big Code"  13th
Programming with "Big Code"
收藏 引用
13th asian symposium on programming languages and systems (aplas)
作者: Yahav, Eran Technion Israel Inst Technol Haifa Israel
the vast amount of code available on the web is increasing on a daily basis. Open-source hosting sites such as Github contain billions of lines of code. Community question-answering sites provide millions of code snip... 详细信息
来源: 评论
A Strong Distillery  13th
A Strong Distillery
收藏 引用
13th asian symposium on programming languages and systems (aplas)
作者: Accattoli, Beniamino Barenbaum, Pablo Mazza, Damiano Ecole Polytech LIX Inria Palaiseau France Univ Buenos Aires CONICET Buenos Aires DF Argentina Univ Paris 13 CNRS LIPN Sorbonne Paris Cite F-93430 Villetaneuse France
the machines for the strong evaluation of lambda-terms (that is, under abstractions) are a mostly neglected topic, despite their use in the implementation of proof assistants and higher-order logic programming languag... 详细信息
来源: 评论
Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects  13th
Memory-Efficient Tail Calls in the JVM with Imperative Funct...
收藏 引用
13th asian symposium on programming languages and systems (aplas)
作者: Tauber, Tomas Bi, Xuan Shi, Zhiyuan Zhang, Weixin Li, Huang Zhang, Zhenrui Oliveira, Bruno C. D. S. Univ Hong Kong Pok Fu Lam Rd Hong Kong Hong Kong Peoples R China Zhejiang Univ Hangzhou 310003 Zhejiang Peoples R China
this paper presents FCore: a JVM implementation of System F with support for full tail-call elimination (TCE). Our compilation technique for FCore is innovative in two respects: it uses a new representation for first-... 详细信息
来源: 评论