咨询与建议

限定检索结果

文献类型

  • 7 篇 会议

馆藏范围

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

日期分布

学科分类号

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

主题

  • 2 篇 functional progr...
  • 1 篇 agda
  • 1 篇 logic programmin...
  • 1 篇 dependent types
  • 1 篇 probabilistic pr...
  • 1 篇 quantum programm...
  • 1 篇 programming mode...
  • 1 篇 correct-by-const...
  • 1 篇 knowledge repres...

机构

  • 1 篇 univ porto dcc f...
  • 1 篇 delft univ techn...
  • 1 篇 cracs inesc tec ...
  • 1 篇 univ paris cite ...
  • 1 篇 univ paris cite ...
  • 1 篇 univ politecn va...
  • 1 篇 univ kiel inst i...
  • 1 篇 liacc artificial...
  • 1 篇 natl inst adv in...

作者

  • 1 篇 dagand pierre-ev...
  • 1 篇 kesner delia
  • 1 篇 vidal german
  • 1 篇 alves sandra
  • 1 篇 cockx jesper
  • 1 篇 quennet titouan
  • 1 篇 inoue jun
  • 1 篇 hanus michael
  • 1 篇 liesnikov bohdan
  • 1 篇 ramos miguel

语言

  • 7 篇 英文
检索条件"任意字段=22nd Asian Symposium on Programming Languages and Systems, APLAS 2024"
7 条 记 录,以下是1-10 订阅
排序:
22nd asian symposium on programming languages and systems, aplas 2024
22nd Asian Symposium on Programming Languages and Systems, A...
收藏 引用
22nd asian symposium on programming languages and systems, aplas 2024
The proceedings contain 18 papers. The special focus in this conference is on programming languages and systems. The topics include: Random-Access Lists, from EE to FP;generic Reasoning of the Locally Namele...
来源: 评论
Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language  22nd
Building a Correct-by-Construction Type Checker for a Depend...
收藏 引用
22nd asian symposium on programming languages and systems
作者: Liesnikov, Bohdan Cockx, Jesper Delft Univ Technol Delft Netherlands
Dependently typed languages allow us to state a program's expected properties and automatically check that they are satisfied at compile time. Yet the implementations of these languages are themselves just softwar... 详细信息
来源: 评论
Random-Access Lists, from EE to FP  22nd
Random-Access Lists, from EE to FP
收藏 引用
22nd asian symposium on programming languages and systems
作者: Quennet, Titouan Dagand, Pierre-Evariste Univ Paris Cite IRIF CNRS Paris France
Numerical representations, which were popularized by Okasaki in his seminal book [1], decouple the design of data-types into, first, a choice of a data-structure encoding a suitable numerical system, followed by decor... 详细信息
来源: 评论
Hybrid Verification of Declarative Programs with Arithmetic Non-fail Conditions  22nd
Hybrid Verification of Declarative Programs with Arithmetic ...
收藏 引用
22nd asian symposium on programming languages and systems
作者: Hanus, Michael Univ Kiel Inst Informat Kiel Germany
Functions containing arithmetic operations have often restrictions not expressible by standard type systems of programming languages. The division operation requires that the divisor is non-zero and the factorial func... 详细信息
来源: 评论
Quantum programming Without the Quantum Physics  22nd
Quantum Programming Without the Quantum Physics
收藏 引用
22nd asian symposium on programming languages and systems
作者: Inoue, Jun Natl Inst Adv Ind Sci & Technol 1-8-31 Midorigaoka Ikeda Osaka Japan
We propose a quantum programming paradigm where all data are familiar classical data, and the only non-classical element is a random number generator that can return results with negative probability. Currently, the v... 详细信息
来源: 评论
Explaining Explanations in Probabilistic Logic programming  22nd
Explaining Explanations in Probabilistic Logic Programming
收藏 引用
22nd asian symposium on programming languages and systems
作者: Vidal, German Univ Politecn Valencia VRAIN Valencia Spain
The emergence of tools based on artificial intelligence has also led to the need of producing explanations which are understandable by a human being. In most approaches, the system is considered a black box, making it... 详细信息
来源: 评论
Extending the Quantitative Pattern-Matching Paradigm  22nd
Extending the Quantitative Pattern-Matching Paradigm
收藏 引用
22nd asian symposium on programming languages and systems
作者: Alves, Sandra Kesner, Delia Ramos, Miguel Univ Porto DCC FCUP Fac Sci Porto Portugal CRACS INESC TEC Ctr Adv Comp Syst Porto Portugal Univ Paris Cite CNRS IRIF Paris France LIACC Artificial Intelligence & Comp Sci Lab Porto Portugal
We show how (well-established) type systems based on non-idempotent intersection types can be extended to characterize termination properties of functional programming languages with pattern matching features. To mode... 详细信息
来源: 评论