首页>外文会议>International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software

International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software

召开年：2020
召开地：Dublin(IE)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.ETAPS Foreword

机译：阶段序言
- 作者：Marieke Huisman;ETAPS SC Chair;ETAPS e.V. President
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
2.Preface

机译：前言
- 作者：Jean Goubault-Larrecq;Barbara Konig
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
3.Neural Flocking: MPC-based Supervised Learning of Flocking Controllers

机译：神经植绒：基于MPC的植绒控制器监督学习
- 作者：Usama Mehmood;Shouvik Roy;Radu Grosu;Scott A. Smolka;Scott D. Stoller;Ashish Tiwari
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- Flocking;
- Model Predictive Control;
- Distributed Neural Controller;
- Deep Neural Network;
- Supervised Learning;
4.On Well-Founded and Recursive Coalgebras

机译：关于有根据的和递归的代数
- 作者：Jiri Adamek;Stefan Milius;Lawrence S. Moss
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- Well-founded;
- Recursive;
- Coalgebra;
- Initial Algebra;
- General Recursion Theorem;
5.Timed Negotiations

机译：定时谈判
- 作者：S. Akshay;Blaise Genest;Loiec Heloueet;Sharvik Mital
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
6.Cartesian Difference Categories

机译：笛卡尔差类别
- 作者：Mario Alvarez-Picallo;Jean-Simon Pacaud Lemay
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
7.Contextual Equivalence for Signal Flow Graphs

机译：信号流图的上下文对等
- 作者：Filippo Bonchi;Robin Piedeleu;Pawel Sobocinski;Fabio Zanasi
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- signal flow graphs;
- affine relations;
- full abstraction;
- con-textual equivalence;
- string diagrams;
8.Parameterized Synthesis for Fragments of First-Order Logic over Data Words

机译：数据字上一阶逻辑片段的参数化综合
- 作者：Beatrice Berard;Benedikt Bollig;Mathieu Lehaut;Nathalie Sznajder
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
9.Controlling a random population

机译：控制随机种群
- 作者：Thomas Colcombet;Nathanaeel Fijalkow;Pierre Ohlmann
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
10.Decomposing Probabilistic Lambda-Calculi

机译：分解概率Lambda计算
- 作者：Ugo Dal Lago;Giulio Guerrieri;Willem Heijltjes
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
11.On the k-synchronizability of Systems

机译：关于系统的k同步性
- 作者：Cinzia Di Giusto;Laetitia Laversa;Etienne Lozes
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- Verification;
- Communicating Automata;
- A/Synchronous communication.;
12.General Supervised Learning as Change Propagation with Delta Lenses

机译：通用监督学习作为增量透镜的变化传播
- 作者：Zinovy Diskin
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
13.Non-idempotent intersection types in logical form

机译：逻辑形式的非幂等交点类型
- 作者：Thomas Ehrhard
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- Lambda Calculus;
- Denotational Semantics;
- Intersection Types;
- Linear Logic;
14.On Computability of Data Word Functions Defined by Transducers

机译：换能器定义的数据字功能的可计算性
- 作者：Leo Exibard;Emmanuel Filiot;Pierre-Alain Reynier
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- Data Words;
- Register Automata;
- Register Transducers;
- Functionality;
- Continuity;
- Computability;
15.Minimal Coverability Tree Construction Made Complete and Efficient

机译：最小的可覆盖性树构建完整而高效
- 作者：Alain Finkel;Serge Haddad;Igor Khmelnitsky
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- Petri nets;
- Karp-Miller tree algorithm;
- Coverability;
- Min-imal coverability set;
- Clover;
- Minimal coverability tree.;
16.Constructing Infinitary Quotient-Inductive Types

机译：构造无限商-归纳类型
- 作者：Marcelo P. Fiore;Andrew M. Pitts;S. C. Steenkamp
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- dependent type theory;
- higher inductive types;
- induct-ive-inductive definitions;
- quotient types;
- sized types;
- category theory;
17.Relative full completeness for bicategorical cartesian closed structure

机译：两类笛卡尔封闭结构的相对完全完整性
- 作者：Marcelo Fiore;Philip Saville
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- glueing, bicategories, cartesian closure, relative full com-pleteness, rewriting, type theory, conservative extension;
18.A duality theoretic view on limits of finite structures

机译：有限结构极限的对偶理论观点
- 作者：Mai Gehrke;Tomas Jakl;Luca Reggio
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- Stone duality;
- finitely additive measures;
- structural limits;
- finite model theory;
- formal languages;
- logic on words;
19.Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

机译：通过差异论和分类粘合进行自动区分的正确性
- 作者：Mathieu Huot;Sam Staton;Matthijs Vakar
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
20.Deep Induction: Induction Rules for (Truly) Nested Types

机译：深度归纳：（真正）嵌套类型的归纳规则
- 作者：Patricia Johann;Andrew Polonsky
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
21.Exponential Automatic Amortized Resource Analysis

机译：指数自动摊销资源分析
- 作者：David M. Kahn;Jan Hoffmann
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- Functional programming;
- Resource consumption;
- Quan-titative analysis;
- Amortized analysis;
- Stirling numbers;
- Exponential;
22.Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness

机译：并发Kleene代数与观察：从假设到完整性
- 作者：Tobias Kappe;Paul Brunet;Alexandra Silva;Jana Wagemaker;Fabio Zanasi
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
23.Graded Algebraic Theories

机译：分级代数理论
- 作者：Satoshi Kura
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
24.A Curry-style Semantics of Interaction: From untyped to second-order lazy λμ-calculus

机译：咖喱式的交互语义学：从无类型到二阶惰性λμ演算
- 作者：James Laird
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
25.An Axiomatic Approach to Reversible Computation

机译：公理的可逆计算方法
- 作者：Ivan Lanese;Iain Phillips;Irek Ulidowski
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- Reversible Computation, Labelled Transition System with Independence, Causal Safety, Causal Liveness;
26.An Auxiliary Logic on Trees: on the Tower-hardness of logics featuring reachability and submodel reasoning

机译：树上的辅助逻辑：关于具有可及性和子模型推理的逻辑的塔式硬度
- 作者：Alessio Mansutti
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
27.The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

机译：保留口吃的部分订单减少的不一致标签问题
- 作者：Thomas Neele;Antti Valmari;Tim A.C. Willemse
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
28.Semantical Analysis of Contextual Types

机译：上下文类型的语义分析
- 作者：Brigitte Pientka;Ulrich Schoepp
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
29.Ambiguity, Weakness, and Regularity in Probabilistic Biichi Automata

机译：概率Biichi自动机的歧义，弱点和规律性
- 作者：Christof Loeding;Anton Pirogov
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- probabilistic;
- Biichi;
- automata;
- ambiguity;
- weak;
30.Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store

机译：本地本地推理：全面地面存储的BI超理论
- 作者：Miriam Polzer;Sergey Goncharov
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
31.Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory

机译：归纳数据类型的量子规划：因果关系和仿射类型理论
- 作者：Romain Pechoux;Simon Perdrix;Mathys Rennela;Vladimir Zamdzhiev
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- Quantum programming;
- Inductive types;
- Adequacy;
32.Spinal Atomic Lambda-Calculus

机译：脊髓原子λ微积分
- 作者：David Sherratt;Willem Heijltjes;Tom Gundersen;Michel Parigot
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
- Lambda-Calculus;
- Full laziness;
- Deep inference;
- Curry-Howard;
33.Learning Weighted Automata over Principal Ideal Domains

机译：在主要理想域上学习加权自动机
- 作者：Gerco van Heerdt;Clemens Kupke;Jurriaan Rot;Alexandra Silva
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年
34.The Polynomial Complexity of Vector Addition Systems with States

机译：向量加法系统的多项式复杂度
- 作者：Florian Zuleger
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures;European Conferences on Theory and Practice of Software》 | 2020年