咨询与建议

限定检索结果

文献类型

  • 12 篇 会议
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 12 篇 工学
    • 12 篇 计算机科学与技术...
    • 12 篇 软件工程
    • 1 篇 控制科学与工程
  • 6 篇 理学
    • 6 篇 数学
  • 2 篇 管理学
    • 2 篇 图书情报与档案管...

主题

  • 4 篇 computer program...
  • 1 篇 object oriented ...
  • 1 篇 smart contracts
  • 1 篇 types
  • 1 篇 programming lang...
  • 1 篇 automatic progra...
  • 1 篇 computer program...
  • 1 篇 c (programming l...
  • 1 篇 java programming...
  • 1 篇 congresses.
  • 1 篇 functional progr...
  • 1 篇 virtual reality
  • 1 篇 embedded domain ...

机构

  • 1 篇 artificial intel...
  • 1 篇 department of co...
  • 1 篇 univ hong kong p...
  • 1 篇 univ tartu dept ...
  • 1 篇 univ pisa dipart...
  • 1 篇 univ aix marseil...
  • 1 篇 talinn univ tech...
  • 1 篇 zhejiang univ pe...
  • 1 篇 univ bologna alm...
  • 1 篇 kyoto univ kyoto
  • 1 篇 oxford universit...
  • 1 篇 cnrs lif f-75700...
  • 1 篇 department of co...
  • 1 篇 imperial coll sc...
  • 1 篇 univ freiburg fr...
  • 1 篇 diku university ...
  • 1 篇 computer science...
  • 1 篇 seoul national u...

作者

  • 1 篇 oliveira bruno c...
  • 1 篇 tauber tomas
  • 1 篇 han taisook
  • 1 篇 thiemann peter
  • 1 篇 kang hyun-goo
  • 1 篇 vene v
  • 1 篇 igarashi a
  • 1 篇 kim youil
  • 1 篇 chen chien-an
  • 1 篇 whaley john
  • 1 篇 gascon r
  • 1 篇 kwangkeun yi
  • 1 篇 han hwansoo
  • 1 篇 kalvala sara
  • 1 篇 zhang weixin
  • 1 篇 uustalu t
  • 1 篇 zhang zhenrui
  • 1 篇 sereni damien
  • 1 篇 binder walter
  • 1 篇 hankin c

语言

  • 12 篇 英文
  • 1 篇 中文
检索条件"任意字段=3rd Asian Symposium on Programming Languages and Systems, APLAS 2005"
13 条 记 录,以下是1-10 订阅
排序:
A Typed Programmatic Interface to Contracts on the Blockchain  19th
A Typed Programmatic Interface to Contracts on the Blockchai...
收藏 引用
19th asian symposium on programming languages and systems (aplas)
作者: Thi Thu Ha Doan Thiemann, Peter Univ Freiburg Freiburg Germany
Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This interface should provide for originat... 详细信息
来源: 评论
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-... 详细信息
来源: 评论
programming languages and systems - Third asian symposium, aplas 2005, Proceedings
收藏 引用
3rd asian symposium on programming languages and systems, aplas 2005
The proceedings contain 27 papers. The topics discussed include: the essence of dataflow programming;data refinement with low-level pointer operations;a simple semantics for polymorphic recursion;an abstract interpret... 详细信息
来源: 评论
Race conditions in message sequence charts
收藏 引用
3rd asian symposium on programming languages and systems, aplas 2005
作者: Chen, Chien-An Kalvala, Sara Sinclair, Jane Department of Computer Science University of Warwick Coventry CV4 7AL United Kingdom
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment. The language has been standardised ... 详细信息
来源: 评论
A portable and customizable profiling framework for java based on bytecode instruction counting
收藏 引用
3rd asian symposium on programming languages and systems, aplas 2005
作者: Binder, Walter Artificial Intelligence Laboratory CH-1015 Lausanne Switzerland
Prevailing profilers for Java, which rely on standard, native-code profiling interfaces, are not portable, give imprecise results due to serious measurement perturbation, and cause excessive overheads. In contrast, pr... 详细信息
来源: 评论
A path sensitive type system for resource usage verification of C like languages
收藏 引用
3rd asian symposium on programming languages and systems, aplas 2005
作者: Kang, Hyun-Goo Kim, Youil Han, Taisook Han, Hwansoo Department of Computer Science Korea Advanced Institute of Science and Technology
In this paper, we present a path sensitive type system for resource usage verification. Path sensitivity is essential to model resource usage in C programs correctly and accurately. So far, most of methods to analyze ... 详细信息
来源: 评论
Termination analysis of higher-order functional programs
收藏 引用
3rd asian symposium on programming languages and systems, aplas 2005
作者: Sereni, Damien Jones, Neil D. Oxford University Computing Laboratory DIKU University of Copenhagen
Size-change termination (SCT) automatically identifies termination of first-order functional programs. The SCT principle: a program terminates if every infinite control flow sequence would cause an infinite descent in... 详细信息
来源: 评论
The essence of dataflow programming
收藏 引用
3rd asian symposium on programming languages and systems
作者: Uustalu, T Vene, V Talinn Univ Technol Inst Cybernet EE-12618 Tallinn Estonia Univ Tartu Dept Comp Sci EE-50409 Tartu Estonia
We propose a novel, comonadic approach to dataflow (stream-based) computation. This is based on the observation that both general and causal stream functions can be characterized as coKleisli arrows of comonads and on... 详细信息
来源: 评论
Lightweight family polymorphism
收藏 引用
3rd asian symposium on programming languages and systems
作者: Igarashi, A Saito, C Viroli, M Kyoto Univ Kyoto Japan Univ Bologna Alma Mater Studiorum Bologna Italy
Family polymorphism has been proposed for object-oriented languages as a solution to supporting reusable yet type-safe mutually recursive classes. A key idea of family polymorphism is the notion of families, which are... 详细信息
来源: 评论
Resource bound certification for a tail-recursive virtual machine
收藏 引用
3rd asian symposium on programming languages and systems
作者: Dal Zilio, S Gascon, R CNRS LIF F-75700 Paris France Univ Aix Marseille 1 F-13331 Marseille 3 France
We define a method to statically bound the size of values computed during the execution of a program as a function of the size of its parameters. More precisely, we consider bytecode programs that should be executed o... 详细信息
来源: 评论