首页>外文会议>其他>European joint conferences on theory and practice of software

European joint conferences on theory and practice of software

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Pinaka: Symbolic Execution Meets Incremental Solving (Competition Contribution)

机译：Pinaka：符号执行符合增量解决（竞争贡献）
- 作者：Eti Chaudhary;Saurabh Joshi
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Symbolic execution;
- Incremental solving;
- Software bug detection;
2.Data Races and Static Analysis for Interrupt-Driven Kernels

机译：中断驱动内核的数据竞争和静态分析
- 作者：Nikita Chopra;Rekha Pai;Deepak DSouza
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Static analysis;
- Interrupt-driven programs;
- Data races;
3.ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference (Competition Contribution)

机译：ESBMC v6.0：验证C程序使用k归纳和不变推论（竞争贡献）
- 作者：Mikhail R. Gadelha;Felipe Monteiro;Lucas Cordeiro;Denis Nicole
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
4.Asynchronous Timed Session Types From Duality to Time-Sensitive Processes

机译：异步定时会话类型从二元性到时间敏感的进程
- 作者：Laura Bocchi;Maurizio Murgia;Vasco Thudichum Vasconcelos;Nobuko Yoshida
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Session types;
- Timers;
- Duality;
- π-calculus;
5.One Step at a Time A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts

机译：一步一步一步从大步对应物中的小步评估员的功能推导
- 作者：Ferdinand Vesely;Kathleen Fisher
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
6.JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)

机译：JBMC：Java字节码（竞争贡献）的有界模型检查
- 作者：Lucas Cordeiro;Daniel Kroening;Peter Schrammel
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
7.PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution)

机译：PESCO：预测Verifiers的连续组合（竞争贡献）
- 作者：Cedric Richter;Heike Wehrheim
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
8.An Abstract Domain for Trees with Numeric Relations

机译：树木的抽象领域与数字关系
- 作者：Matthieu Journault;Antoine Miné;Abdelraouf Ouadjaout
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
9.TACAS Preface

机译：塔卡斯序书
- 作者：Tomá? Vojnar;Lijun Zhang;Marius Mikucionis;Radu Grosu;Dirk Beyer;Ond?ej Lengál;Ernst Moritz Hahn
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
10.Types by Need

机译：类型需要
- 作者：Beniamino Accattoli;Giulio Guerrieri;Maico Leberle
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
11.International Competition on Runtime Verification (CRV)

机译：运行时间验证国际竞争（CRV）
- 作者：Ezio Bartocci;Yliès Falcone;Giles Reger
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
12.TOOLympics 2019: An Overview of Competitions in Formal Methods

机译：2019年工具人员：正式方法概述
- 作者：Ezio Bartocci;Dirk Beyer;Paul E. Black;Grigory Fedyukovich;Hubert Garavel;Arnd Hartmanns;Marieke Huisman;Fabrice Kordon;Julian Nagele;Mihaela Sighireanu;Bernhard Steffen;Martin Suda;Geoff Sutcliffe;Tjark Weber;Akihisa Yamada
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
13.Time Credits and Time Receipts in Iris

机译：时代信用和时间收据
- 作者：Glen Mével;Jacques-Henri Jourdan;Fran?ois Pottier
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
14.Effectful Normal Form Bisimulation

机译：有效的正常形式的双刺激
- 作者：Ugo Dal Lago;Francesco Gavazzo
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
15.From Quadcopters to Helicopters: Formal Verification to Eliminate Exploitable Bugs (Abstract of Invited Talk)

机译：从Quadcopters到直升机：正式验证，以消除可利用的虫子（邀请谈话的摘要）
- 作者：Kathleen Fisher
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
16.CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution)

机译：CBMC路径：C界限模型检查器的符号执行改装（竞争贡献）
- 作者：Kareem Khazem;Michael Tautschnig
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
17.The Termination and Complexity Competition

机译：终止和复杂性竞争
- 作者：Jürgen Giesl;Albert Rubio;Christian Sternagel;Johannes Waldmann;Akihisa Yamada
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
18.A Categorical Model of an i/o-typed π-calculus

机译：I / O类型为π微积分的分类模型
- 作者：Ken Sakayori;Takeshi Tsukada
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- π-calculus;
- Categorical type theory;
- Compact closed category;
- Closed Freyd category;
19.Extending DIVINE with Symbolic Verification Using SMT (Competition Contribution)

机译：使用SMT（竞争贡献）扩展名为符号验证
- 作者：Henrich Lauko;Vladimír ?till;Petr Ro?kai;Ji?í Barnat
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
20.Counters in Kappa: Semantics, Simulation, and Static Analysis

机译：kappa中的计数器：语义，模拟和静态分析
- 作者：Pierre Boutillier;Ioana Cristescu;Jér?me Feret
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
21.Automatic Verification of C and Java Programs: SV-COMP 2019

机译：自动验证C和Java程序：SV-COMP 2019
- 作者：Dirk Beyer
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
22.A Short History of TACAS

机译：塔卡斯的短期历史
- 作者：Rance Cleaveland;Kim Larsen;Bernhard Steffen
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
23.Manifest Deadlock-Freedom for Shared Session Types

机译：明显的死锁 - 共享会话类型的自由
- 作者：Stephanie Balzer;Bernardo Toninho;Frank Pfenning
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Linear and shared session types;
- Deadlock-freedom;
24.Verify This — Verification Competition with a Human Factor

机译：验证这一 - 与人类因素验证竞争
- 作者：Gidon Ernst;Marieke Huisman;Wojciech Mostowski;Mattias Ulbrich
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- VerifyThis;
- Program verification;
- Specification languages;
- Tool development;
- Competition;
25.Probabilistic Programming Inference via Intensional Semantics

机译：通过密集语义的概率编程推断
- 作者：Simon Castellan;Hugo Paquet
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Probabilistic programming;
- Denotational semantics;
- Event structures;
- Bayesian inference;
26.Semi-automated Reasoning About Non-determinism in C Expressions

机译：关于C表达中非确定性的半自动推理
- 作者：Dan Frumin;Léon Gondelman;Robbert Krebbers
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
27.Codata in Action

机译：Codata在Action.
- 作者：Paul Downen;Zachary Sullivan;Zena M. Ariola;Simon Peyton Jones
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Codata;
- Lambda-calculi;
- Encodings;
- Curry-Howard;
- Function programming;
- Object-oriented programming;
28.Confluence Competition 2019

机译：2019年Confluence竞赛
- 作者：Aart Middeldorp;Julian Nagele;Kiraku Shintani
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Confluence;
- Term rewriting;
- Automation;
29.Preface

机译：前言
- 作者：Dirk Beyer;Marieke Huisman;Fabrice Kordon;Bernhard Steffen
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
30.VeriFuzz: Program Aware Fuzzing (Competition Contribution)

机译：Verifuzz：程序意识模糊（竞争贡献）
- 作者：Animesh Basak Chowdhury;Raveendra Kumar Medicherla;Venkatesh
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
31.Symbolic Pathfinder for SV-COMP (Competition Contribution)

机译：SV-COMP（竞争贡献）的符号探路机
- 作者：Yannic Noller;Corina S. P?s?reanu;Aymeric Fromherz;Xuan-Bach D. Le;Willem Visser
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
32.The Rewrite Engines Competitions: A RECtrospective

机译：重写引擎比赛：回顾
- 作者：Francisco Durán;Hubert Garavel
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
33.Composing Bidirectional Programs Monadically

机译：单向编写双向程序
- 作者：Li-yao Xia;Dominic Orchard;Meng Wang
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
34.Safe Deferred Memory Reclamation with Types

机译：使用类型安全延迟内存填充
- 作者：Ismail Kuru;Colin S. Gordon
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
35.Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order

机译：扩展Call-By-Puppors值：关于有效的程序和评估顺序的推理
- 作者：Dylan McDermott;Alan Mycroft
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Evaluation order;
- Call-by-need;
- Call-by-push-value;
- Logical relations;
- Effect systems;
36.A Static Higher-Order Dependency Pair Framework

机译：静态高阶依赖性对框架
- 作者：Carsten Fuhs;Cynthia Kop
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
37.The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models (QComp 2019 Competition Report)

机译：2019年对数量正式模型分析的工具比较（QCOMP 2019年竞争报告）
- 作者：Ernst Moritz Hahn;Arnd Hartmanns;Christian Hensel;Michaela Klauck;Joachim Klein;Jan K?etínsky;David Parker;Tim Quatmann;Enno Ruijters;Marcel Steinmetz
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
38.Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses

机译：用喇叭条件进行统一的策略：与喇叭条款进行核查证明搜索
- 作者：Henning Basold;Ekaterina Komendantskaya;Yue Li
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Horn clause logic;
- Coinduction;
- Uniform proofs;
- Intuitionistic logic;
- Coalgebra;
- Fibrations;
- L?b modality;
39.International Competition on Software Testing (Test-Comp)

机译：软件测试中的国际竞争（测试COMP）
- 作者：Dirk Beyer
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
40.ETAPS Foreword

机译：舞台福特赛
- 作者：Joost-Pieter Katoen
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
41.Preface

机译：前言
- 作者：Luís Caires
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
42.Incremental λ-Calculus in Cache-Transfer Style Static Memoization by Program Transformation

机译：节目转换缓存传输样式静态备忘的增量λ-微积分
- 作者：Paolo G. Giarrusso;Yann Régis-Gianas;Philipp Schuster
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
43.SL-COMP: Competition of Solvers for Separation Logic

机译：SL-COMP：分离逻辑求解器的竞争
- 作者：Mihaela Sighireanu;Juan A. Navarro Pérez;Andrey Rybalchenko;Nikos Gorogiannis;Radu losif;Andrew Reynolds;Cristina Serban;Jens Katelaan;Christoph Matheja;Thomas Noll;Florian Zuleger;Wei-Ngan Chin;Quang Loc Le;Quang-Trung Ta;Ton-Chanh Le;Thanh-Toan Nguyen;Siau-Cheng Khoo;Michal Cyprian;Adam Rogalewicz;Tomas Vojnar;Constantin Enea;Ondrej Lengal;Chong Gao;Zhilin Wu
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
44.Jay Horn: A Java Model Checker (Competition Contribution)

机译：Jay Horn：Java模型检查器（竞争贡献）
- 作者：Temesghen Kahsai;Philipp Rümmer;Martin Sch?f
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
45.Fixing Incremental Computation Derivatives of Fixpoints, and the Recursive Semantics of Datalog

机译：修复FixPoints的增量计算导数，以及Datalog的递归语义
- 作者：Mario Alvarez-Picallo;Alex Eyers-Taylor;Michael Peyton Jones;C.-H. Luke Ong
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Incremental computation;
- Datalog;
- Semantics;
- Fixpoints;
46.Java Pathfinder at SV-COMP 2019 (Competition Contribution)

机译：java pathfinder在sv-comp 2019（竞争贡献）
- 作者：Cyrille Artho;Willem Visser
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Java Pathfinder;
- Software model checking;
- Java program analysis;
47.RERS 2019: Combining Synthesis with Real-World Models

机译：RERS 2019：将合成与现实世界模型相结合
- 作者：Marc Jasper;Malte Mues;AJnis Murtovi;Maximilian Schlüter;Falk Howar;Bernhard Steffen;Markus Schordan;Dennis Hendriks;Ramon Schiffelers;Harco Kuppens;Frits W. Vaandrager
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Benchmark generation;
- Program verification;
- Temporal logics;
- LTL;
- CTL;
- Property-preservation;
- Obfuscation;
- Synthesis;
48.Robustly Safe Compilation

机译：强大安全的编译
- 作者：Marco Patrignani;Deepak Garg
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
49.Presentation of the 9th Edition of the Model Checking Contest

机译：第9版的模型检查比赛的介绍
- 作者：Elvio Amparore;Bernard Berthomieu;Gianfranco Ciardo;Silvano Dal Zilio;Francesco Gallà;Lom Messan Hillah;Francis Hulin-Hubard;Peter Gj?l Jensen;Lo?g Jezequel;Fabrice Kordon;Didier Le Botlan;Torsten Liebke;Jeroen Meijer;Andrew Miner;Emmanuel Paviot-Adet;Ji?í Srba;Yann Thierry-Mieg;Tom van Dijk;Karsten Wolf
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Competition;
- Model checking;
- State space;
- Reachability formulas;
- CTL formulas;
- LTL formulas;
50.VIAP 1.1 (Competition Contribution)

机译：VIAP 1.1（竞争贡献）
- 作者：Pritom Rajkhowa;Fangzhen Lin
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Automatic program verification;
- First-order logic;
- Mathematical induction;
- Recurrences;
- SMT;
- Arithmetic;
51.A Process Algebra for Link Layer Protocols

机译：用于链接层协议的过程代数
- 作者：Rob van Glabbeek;Peter H?fner;Michael Mark
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
52.Verifiable Certificates for Predicate Subtyping

机译：谓词亚型的可验证证书
- 作者：Frederic Gilbert
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Higher-order logic;
- Predicate subtyping;
- Type theory;
- Proof theory;
53.Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms

机译：Meta-F *：用SMT，策略和Metaprograms校对自动化
- 作者：Guido Martínez;Danel Ahman;Victor Dumitrescu;Nick Giannarakis;Chris Hawblitzel;C?t?lin Hri?cu;Monal Narasimhamurthy;Zoe Paraskevopoulou;Clément Pit-Claudel;Jonathan Protzenko;Tahina Ramananandro;Aseem Rastogi;Nikhil Swamy
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Tactics;
- Metaprogramming;
- Program verification;
- Verification conditions;
- SMT solvers;
- Proof assistants;
54.Handling Polymorphic Algebraic Effects

机译：处理多态代数效应
- 作者：Taro Sekiyama;Atsushi Igarashi
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
55.On the Multi-Language Construction

机译：论多语言建设
- 作者：Samuele Buro;Isabella Mastroeni
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Multi-language design;
- Program semantics;
- Interoperability;
56.Distributive Disjoint Polymorphism for Compositional Programming

机译：分布脱编多态性组成编程
- 作者：Xuan Bi;Ningning Xie;Bruno C. d. S. Oliveira;Tom Schrijvers
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
57.ETAPS Foreword

机译：舞台福特赛
- 作者：Joost-Pieter Katoen
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
58.Compiling Sandboxes: Formally Verified Software Fault Isolation

机译：编译沙箱：正式验证软件故障隔离
- 作者：Frédéric Besson;Sandrine Blazy;Alexandre Dang;Thomas Jensen;Pierre Wilke
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
59.The mCRL2 Toolset for Analysing Concurrent Systems Improvements in Expressivity and Usability

机译：用于分析同时系统的MCR12工具集以表达性和可用性的改进
- 作者：Olav Bunte;Jan Friso Groote;Jeroen J. A. Keiren;Maurice Laveaux;Thomas Neele;Erik P. de Vink;Wieger Wesselink;Anton Wijs;Tim A. C. Willemse
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
60.Minimal-Time Synthesis for Parametric Timed Automata

机译：参数定时自动机的最小时间合成
- 作者：Etienne Andre;Vincent Bloemen;Laure Petrucci;Jaco van de Pol
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
61.Specification and Efficient Monitoring Beyond STL

机译：超越STL的规范和高效监测
- 作者：Alexey Bakhirkin;Nicolas Basset
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
62.Constraint-Based Monitoring of Hyperproperties

机译：基于约束的超值监测
- 作者：Christopher Hahn;Marvin Stenger;Leander Tentrup
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Monitoring;
- Rewriting;
- Constraint-based;
- Hyperproperties;
63.Effective Entailment Checking for Separation Logic with Inductive Definitions

机译：具有归纳定义的分离逻辑的有效征集检查
- 作者：Jens Katelaan;Christoph Matheja;Florian Zuleger
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
64.Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking

机译：界限模型检查验证同步容错算法的安全性
- 作者：Ilina Stoilkovska;Igor Konnov;Josef Widder;Florian Zuleger
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
65.Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments

机译：通过Martingales进行随机程序运行时间的尾部概率，用于更高时刻
- 作者：Satoshi Kura;Natsuki Urabe;Ichiro Hasuo
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
66.StocHy: Automated Verification and Synthesis of Stochastic Processes

机译：无论如何：随机过程自动验证和合成
- 作者：Nathalie Cauchi;Alessandro Abate
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
67.Optimal Time-Bounded Reachability Analysis for Concurrent Systems

机译：并发系统的最佳时间限制可达性分析
- 作者：Yuliya Butkova;Gereon Fox
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
68.Checking Deadlock-Freedom of Parametric Component-Based Systems

机译：检查基于参数的系统的死锁 - 自由
- 作者：Marius Bozga;Radu Iosif;Joseph Sifakis
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
69.ETAPS Foreword

机译：舞台福特赛
- 作者：Joost-Pieter Katoen
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
70.Preface

机译：前言
- 作者：Tomas Vojnar;Lijun Zhang;Marius Mikucionis;Radu Grosu;Dirk Beyer;Ondfej Lengal;Ernst Moritz Hahn
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
71.Binary Decision Diagrams with Edge-Specified Reductions

机译：具有边缘指定折断的二进制决策图
- 作者：Junaid Babar;Chuan Jiang;Gianfranco Ciardo;Andrew Miner
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
72.Measuring Masking Fault-Tolerance

机译：测量遮蔽容错
- 作者：Pablo F. Castro;Pedro R. DArgenio;Ramiro Demasi;Luciano Putruele
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
73.Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

机译：Maude中分布式交易系统一致性的自动分析
- 作者：Si Liu;Peter Csaba OElveczky;Min Zhang;Qi Wang;Jose Mcseguer
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
74.Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach

机译：符号控制器的合成：并行化和稀疏感知方法
- 作者：Mahmoud Khaled;Eric S. Kim;Murat Arcak;Majid Zamani
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
75.iRank: A Variable Order Metric for DEDS Subject to Linear Invariants

机译：irank：DEDS的可变指标对线性不变量进行
- 作者：Elvio Gilberto Amparore;Gianfranco Ciardo;Susanna Donatelli;Andrew Miner
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Decision diagrams;
- Variable order metrics and computation;
76.PhASAR: An Inter-procedural Static Analysis Framework for C/C++

机译：Phasar：C / C ++的过程间静态分析框架
- 作者：Philipp Dominik Schubert;Ben Hermann;Eric Bodden
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
- Inter-procedural static analysis;
- LLVM;
- C/C++;
77.Shepherding Hordes of Markov Chains

机译：马尔可夫链的牧羊犬
- 作者：Milan Ceska;Nils Jansen;Sebastian Junges;Joost-Pieter Katoen
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
78.Multi-core On-The-Fly Saturation

机译：多核在飞行饱和度
- 作者：Tom van Dijk;Jeroen Meijer;Jaco van de Pol
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
79.VyPR2: A Framework for Runtime Verification of Python Web Services

机译：VYPR2：Python Web服务的运行时验证框架
- 作者：Joshua Heneage Dawes;Giles Reger;Giovanni Franzoni;Andreas Pfeiffer;Giacomo Govi
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
80.Computing the Expected Execution Time of Probabilistic Workflow Nets

机译：计算概率工作流网的预期执行时间
- 作者：Philipp J. Meyer;Javier Esparza;Philip Offtermatt
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
81.Environmentally-Friendly GR(1) Synthesis

机译：环保GR（1）合成
- 作者：Rupak Majumdar;Nir Piterman;Anne-Kathrin Schmuck
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
82.Digital Bifurcation Analysis of TCP Dynamics

机译：TCP动力学的数字分析分析
- 作者：Nikola Benes;Lubos Brim;Samuel Pastva;David Safranek
- 会议名称：《European joint conferences on theory and practice of software》 | 2019年
83.Preface

机译：前言
- 作者：Prank Pfenning
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
84.Ten Years of Amortized Resource Analysis (Invited Talk)

机译：十年的摊销资源分析（邀请谈话）
- 作者：Martin Hofmann
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
85.Foreword

机译：前言
- 作者：Vladimiro Sassone
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
86.Separation Logic for Non-local Control Flow and Block Scope Variables

机译：非本地控制流程的分离逻辑和块范围变量
- 作者：Robbert Krebbers;Freek Wiedijk
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
87.Comodels and Effects in Mathematical Operational Semantics

机译：数学运营语义的调节和效果
- 作者：Faris Abou-Saleh;Dirk Pattinson
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
88.History-Register Automata

机译：历史记录自动机
- 作者：Nikos Tzevelekos;Radu Grigore
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
89.Some Sahlqvist Completeness Results for Coalgebraic Logics

机译：浅谈的一些SAHLQVIST逻辑的完整性结果
- 作者：Fredrik Dahlqvist;Dirk Pattinson
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
- Modal logic;
- coalgebraic modal logic;
- canonicity;
- completeness;
- Sahlqvist formula;
90.Pattern Graphs and Rule-Based Models: The Semantics of Kappa

机译：模式图和基于规则的模型：kappa的语义
- 作者：Jonathan Hayman;Tobias Heindel
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
91.Generalised Name Abstraction for Nominal Set

机译：名义集的广义名称抽象
- 作者：Ranald Clouston
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
- name binding;
- nominal sets;
- adjoint functors.;
92.Weighted Specifications over Nested Words

机译：嵌套单词的加权规格
- 作者：Benedikt Bollig;Paul Gastin;Benjamin Monmege
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
93.The Parametric Ordinal-Recursive Complexity of Post Embedding Problems

机译：嵌入问题的参数序递归复杂性
- 作者：Prateek Karandikar;Sylvain Schmitz
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
94.A Proof System for Compositional Verification of Probabilistic Concurrent Processes

机译：概率并发过程的组成验证证明系统
- 作者：Matteo Mio;Alex Simpson
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
95.Checking Bisimilarity for Attributed Graph Transformation

机译：检查归属图形转换的双模性
- 作者：Fernando Orejas;Artur Boronat;Ulrike Golas;Nikos Mylonakis
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
- Attributed graph transformation;
- symbolic graph transformation;
- borrowed contexts;
- bisimilarity;
96.Strategies as Profunctors

机译：PROFICTORS的策略
- 作者：Glynn Winskel
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
97.Parameterized Weighted Containment

机译：参数化加权遏制
- 作者：Guy Avni;Orna Kupferman
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
98.Partiality and Recursion in Higher-Order Logic

机译：高阶逻辑中的偏重率和递归
- 作者：Lukasz Czajka
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
99.Deconstructing General References via Game Semantics

机译：通过游戏语义解构一般参考
- 作者：Andrzej S. Murawski;Nikos Tzevelekos
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
100.Modular Bisimulation Theory for Computations and Values

机译：计算和值的模块化双刺激理论
- 作者：Martin Churchill;Peter D. Mosses
- 会议名称：《European joint conferences on theory and practice of software》 | 2013年
- structural operational semantics;
- programming languages;
- congruence formats;
- Modular SOS;
- higher-order bisimulation;