首页>外文会议>International symposium on functional and logic programming

International symposium on functional and logic programming

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.PrologCheck - Property-Based Testing in Prolog

机译：PrologCheck-Prolog中基于属性的测试
- 作者：Claudio Amaral;Mario Florido;Vitor Santos Costa
- 会议名称：《International symposium on functional and logic programming》 | 2014年
2.Generating Constrained Random Data with Uniform Distribution

机译：生成具有均匀分布的约束随机数据
- 作者：Koen Claessen;Jonas Duregard;Michal H. Palka
- 会议名称：《International symposium on functional and logic programming》 | 2014年
3.Guided Type Debugging

机译：引导型调试
- 作者：Sheng Chen;Martin Erwig
- 会议名称：《International symposium on functional and logic programming》 | 2014年
- Type debugging;
- type inference;
- error localization;
- type error messages;
- choice types;
- change suggestions;
4.Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging

机译：在Maude中使用大步和小步语义进行声明式调试
- 作者：Adrian Riesco
- 会议名称：《International symposium on functional and logic programming》 | 2014年
- Declarative debugging;
- Big-step semantics;
- Small-step semantics;
- Maude;
5.Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing System Description

机译：Faustine：用于多媒体信号处理系统的矢量浮士德解释器测试台说明
- 作者：Karim Barkati;Haisheng Wang;Pierre Jouvelot
- 会议名称：《International symposium on functional and logic programming》 | 2014年
6.The Design and Implementation of BER MetaOCaml System Description

机译：BER MetaOCaml系统描述的设计与实现
- 作者：Oleg Kiselyov
- 会议名称：《International symposium on functional and logic programming》 | 2014年
7.On Cross-Stage Persistence in Multi-Stage Programming

机译：多阶段编程中的跨阶段持久性
- 作者：Yuichiro Hanada;Atsushi Igarashi
- 会议名称：《International symposium on functional and logic programming》 | 2014年
8.Lightweight Higher-Kinded Polymorphism

机译：轻量级的高级多态性
- 作者：Jeremy Yallop;Leo White
- 会议名称：《International symposium on functional and logic programming》 | 2014年
9.Generic Programming with Multiple Parameters

机译：具有多个参数的通用编程
- 作者：Jose Pedro Magalhaes
- 会议名称：《International symposium on functional and logic programming》 | 2014年
10.Type-Based Amortized Resource Analysis with Integers and Arrays

机译：带整数和数组的基于类型的摊余资源分析
- 作者：Jan Hoffmann;Zhong Shao
- 会议名称：《》 | 2014年
- Quantitative Analysis;
- Resource Consumption;
- Amortized Analysis;
- Functional Programming;
- Static Analysis;
11.Linear Sized Types in the Calculus of Constructions

机译：结构微积分中的线性大小类型
- 作者：Jorge Luis Sacchini
- 会议名称：《International symposium on functional and logic programming》 | 2014年
12.Dynamic Programming via Thinning and Incrementalization

机译：通过细化和增量化进行动态编程
- 作者：Akimasa Morihata;Masato Koishi;Atsushi Ohori
- 会议名称：《International symposium on functional and logic programming》 | 2014年
13.POSIX Regular Expression Parsing with Derivatives

机译：带有衍生物的POSIX正则表达式解析
- 作者：Martin Sulzmann;Kenny Zhuo Ming Lu
- 会议名称：《International symposium on functional and logic programming》 | 2014年
14.Proving Correctness of Compilers Using Structured Graphs

机译：使用结构图证明编译器的正确性
- 作者：Patrick Bahr
- 会议名称：《International symposium on functional and logic programming》 | 2014年
15.A New Formalization of Subtyping to Match Subclasses to Subtypes

机译：子类型化的新形式化，可将子类与子类型匹配
- 作者：Hyunik Na;Sukyoung Ryu
- 会议名称：《International symposium on functional and logic programming》 | 2014年
16.Type Soundness and Race Freedom for Mezzo

机译：键入Mezzo的健全性和种族自由
- 作者：Thibaut Balabonski;Francois Pottier;Jonathan Protzenko
- 会议名称：《International symposium on functional and logic programming》 | 2014年
17.Semantics for Prolog with Cut - Revisited

机译：带切口的Prolog语义-再探
- 作者：Jael Kriener;Andy King
- 会议名称：《International symposium on functional and logic programming》 | 2014年
18.Constraint Logic Programming for Hedges: A Semantic Reconstruction

机译：对冲的约束逻辑程序设计：语义重构
- 作者：Besik Dundua;Mario Florido;Temur Kutsia;Mircea Marin
- 会议名称：《International symposium on functional and logic programming》 | 2014年
19.How Many Numbers Can a Lambda-Term Contain?

机译：Lambda项可以包含多少个数字？
- 作者：Pawel Parys
- 会议名称：《International symposium on functional and logic programming》 | 2014年
20.AC-KBO Revisited

机译：重访AC-KBO
- 作者：Akihisa Yamada;Sarah Winkler;Nao Hirokawa;Aart Middeldorp
- 会议名称：《International symposium on functional and logic programming》 | 2014年
21.Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata

机译：结构合理的下推系统：密集定时下推自动机的案例
- 作者：Xiaojuan Cai;Mizuhito Ogawa
- 会议名称：《International symposium on functional and logic programming》 | 2014年
22.Preface

机译：前言
- 作者：Michael Codish;Eijiro Sumii
- 会议名称：《International symposium on functional and logic programming》 | 2014年
23.Relating Computational Effects by TT-Liffting

机译：通过TT提升关联计算效果
- 作者：Shin-ya Katsumata
- 会议名称：《International symposium on functional and logic programming》 | 2014年