首页>外文会议>ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages

ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages

召开年：2019
召开地：Lisbon(PT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Jose Julio Alferes;Moa Johansson
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
2.Personalized Course Schedule Planning Using Answer Set Programming

机译：使用答案集编程进行个性化课程安排
- 作者：Muhammed Kerem Kahraman;Esra Erdem
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
- Course scheduling;
- Answer set programming;
- Declarative problem solving;
3.Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs

机译：一阶逻辑程序之间的等效性之争中的强大等效性和程序的结构
- 作者：Yuliya Lierler
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
4.Automatic Program Rewriting in Non-Ground Answer Set Programs

机译：非地面答案集程序中的自动程序重写
- 作者：Nicholas Hippen;Yuliya Lierler
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
5.An ASP Based Approach to Answering Questions for Natural Language Text

机译：基于ASP的自然语言文本回答问题的方法。
- 作者：Dhruva Pendharkar;Gopal Gupta
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
- ASP;
- Common sense reasoning;
- NLP;
- KR;
6.Natural Language Generation from Ontologies

机译：从本体生成自然语言
- 作者：Van Nguyen;Tran Cao Son;Enrico Pontelli
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
- Natural language generation;
- Ontologies;
- Web service;
- Grammatical Framework;
- Attempto Controlled English;
7.Improving Residuation in Declarative Programs

机译：改善声明性程序中的残留
- 作者：Michael Hanus
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
8.Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP

机译：使用模块化TCLP的逻辑编程中基于格的聚合的增量评估
- 作者：Joaquin Arias;Manuel Cairo
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
9.A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers

机译：直觉命题定理证明者的组合测试框架
- 作者：Paul Tarau
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
10.Faster Coroutine Pipelines: A Reconstruction

机译：更快的协程管道：重建
- 作者：Ruben P. Pieters;Tom Schrijvers
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
- Stream processing;
- Structured recursion;
- Algebra;
11.Classes of Arbitrary Kind

机译：任意种类的类别
- 作者：Alejandro Serrano;Victor Cacciari Miraldo
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
- Haskell;
- Type classes;
- Generic programming;
12.Distributed Protocol Combinators

机译：分布式协议组合器
- 作者：Kristoffer Just Arndal Andersen;Ilya Sergey
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
13.Creating Domain-Specific Languages by Composing Syntactical Constructs

机译：通过组合句法构造来创建领域特定的语言
- 作者：Viktor Palmkvist;David Broman
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
14.Proof-Carrying Plans

机译：证明计划
- 作者：Christopher Schwaab;Ekaterina Komendantskaya;Alasdair Hill;Frantisek Farka;Ronald P. A. Petrick;Joe Wells;Kevin Hammond
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
- AI planning;
- Curry-Howard correspondence;
- Constructive logic;
- Verification;
- Dependent types;
15.Static Partitioning of Spreadsheets for Parallel Execution

机译：电子表格的静态分区以并行执行
- 作者：Alexander Asp Bock
- 会议名称：《ACM SIGPLAN symposium on principles of programming languages;International symposium on practical aspects of declarative languages》 | 2019年
- Spreadsheets;
- Partitioning;
- Parallelism;