中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
Functional and Logic Programming
会议名
16th International Symposium on Functional and Logic Programming (FLOPS 2022)
中译名
《第十六届国际功能与逻辑编程专题讨论会》
机构
Japan Society for Software Science and Technology (JSSST)
会议日期
May 10-12, 2022
会议地点
Kyoto, Japan
出版年
2022
馆藏号
343318
题名
作者
出版年
Enhancing Expressivity of Checked Corecursive Streams
Davide Ancona; Pietro Barbieri; Elena Zucca
2022
Improving Type Error Reporting for Type Classes
Sheng Chen; Md Rabib Noor
2022
Asynchronous Unfold/Fold Transformation for Fixpoint Logic
Mahmudul Faisal Al Ameen; Naoki Kobayashi; Ryosuke Sato
2022
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL
Michikazu Hirata; Yasuhiko Minamide; Tetsuya Sato
2022
Generating C: System Description
Oleg Kiselyov
2022
Translation Certification for Smart Contracts
Jacco O. G. Krijnen; Manuel M. T. Chakravarty; Gabriele Keller; Wouter Swierstra
2022
Zipping Strategies and Attribute Grammars
Jose Nuno Macedo; Marcos Viera; Joao Saraiva
2022
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
Masahiro Masuda; Yukiyoshi Kameyama
2022
Scheduling Complexity of Interleaving Search
Dmitry Rozplokhas; Dmitry Boulytchev
2022
Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming: System Description
Basel Shbita; Abha Moitra
2022
A Functional Account of Probabilistic Programming with Possible Worlds: Declarative Pearl
Birthe van den Berg; Tom Schrijvers
2022
Explanations as Programs in Probabilistic Logic Programming
German Vidal
2022
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data
Huaduo Wang; Gopal Gupta
2022
A Lazy Desugaring System for Evaluating Programs with Sugars
Ziyi Yang; Yushuo Xiao; Zhichao Guan; Zhenjiang Hu
2022
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs
Shujun Zhang; Naoki Nishida
2022
There are No Integers in Discrete Optimisation Models!
Jip Dekker; Peter J. Stuckey; Guido Tack
2022
Adventures in Building Reliable Distributed Systems with Liquid Haskell
Lindsey Kuper
2022
From Program Synthesis to Program Transformation: Case Study in Reduction Parallelization
Akimasa Morihata
2022
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024