首页>外文会议>其他>International Symposium of Practical Aspects of Declarative Languages

International Symposium of Practical Aspects of Declarative Languages

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Abstract Modular Inference Systems and Solvers

机译：抽象模块化推理系统和求解器
- 作者：Yuliya Lierler;Miroslaw Truszczynski
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- abstract inference;
- model-generating;
- solvers;
2.A Declarative Specification of Giant Number Arithmetic

机译：巨型数量算术的陈述规范
- 作者：Paul Tarau
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
3.Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems

机译：ASP-Prolog系统的两个应用：可分解的程序和多上下文系统
- 作者：Tran Cao Son;Enrico Pontelli;Tiep Le
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- ASP-Prolog;
- ground-and-solve;
- computationally;
4.Partial Type Signatures for Haskell

机译：Haskell的部分类型签名
- 作者：Thomas Winant;Dominique Devriese;Frank Piessens;Tom Schrijvers
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- Haskell;
- Hindley-Milner type inference;
- (partial) type signatures;
- wildcards;
5.Embedding Foreign Code

机译：嵌入外国代码
- 作者：Robert Clifton-Everest;Trevor L. McDonell;Manuel M.T. Chakravarty;Gabriele Keller
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- a skeleton-based;
- practical;
- a functional embedded;
6.Sunroof: A Monadic DSL for Generating JavaScript

机译：Sunroof：用于生成JavaScript的Monadic DSL
- 作者：Jan Bracker;Andy Gill
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- DSLs;
- JavaScript;
- Web Technologies;
- Cloud Computing;
7.Towards Modeling Morality Computationally with Logic Programming

机译：通过逻辑编程计算地建模道德
- 作者：Ari Saptawijaya;Luís Moniz Pereira
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- abduction;
- program updates;
- argumentation;
- reactive behavior;
- deliberative reasoning;
- morality;
- emergence;
8.Compiling DNA Strand Displacement Reactions Using a Functional Programming Language

机译：使用功能规划语言编译DNA链位移反应
- 作者：Matthew R. Lakin;Andrew Phillips
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- DNA strand displacement;
- process calculus;
- biological modelling;
9.The F# Computation Expression Zoo

机译：F＃计算表达式动物园
- 作者：Tomas Petricek;Don Syme
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- affirmative;
- abstraction;
- calculus;
10.R~(CML): A Prescription for Safely Relaxing Synchrony

机译：R〜（CML）：安全放松同步的处方
- 作者：K.C. Sivaramakrishnan;Lukasz Ziarek;Suresh Jagannathan
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- Message-passing;
- Speculative Execution;
- Axiomatic Semantics;
- Cloud Computing;
11.Generic Generic Programming

机译：通用通用编程
- 作者：José PedroMagalh?es;Andres L?h
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- abstraction;
- code duplication;
- conversions;
12.On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs

机译：关于锁定逻辑计划的无锁可扩展尝试的正确性和效率
- 作者：Miguel Areias;Ricardo Rocha
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- Lock-Free;
- Tries;
- Hash Tables;
- Tabling;
13.Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces

机译：typelets - 动态，静态键入的用户界面的基于规则的评估模型
- 作者：Martin Elsman;Anders Schack-Nielsen
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- concept;
- Hindley-Milner;
- typelets are specified;
14.Exploring the Use of GPUs in Constraint Solving

机译：在约束解决中探索GPU的使用
- 作者：Federico Campeotto;Alessandro Dal Palù;Agostino Dovier;Ferdinando Fioretto;Enrico Pontelli
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- parallelizing;
- data parallelism;
- a constraint solver;
15.Expand: Towards an Extensible Pandoc System

机译：扩展：朝向可扩展的Pandoc系统
- 作者：Jacco Krijnen;Doaitse Swierstra;Marcos O. Viera
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2014年
- Document Formatting;
- Pandoc;
- Attribute Grammars;
- Parsing;
- Haskell;
- Type System;
16.proSQLite: Prolog File Based Databases via an SQLite Interface

机译：prosqlite：通过SQLite接口基于Prolog文件的数据库
- 作者：Sander Canisius;Nicos Angelopoulos;LodewykWessels
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- databases;
- SQL;
- Prolog libraries;
- SQLite;
17.Analysing the Entire Wikipedia History with Database Supported Haskell

机译：使用数据库支持的整个维基百科历史记录支持Haskell
- 作者：George Giorgidze;Torsten Grust;Iassen Halatchliyski;Michael Kummer
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- experience;
- formulation;
- programming;
18.Implementing Equational Constraints in a Functional Language

机译：以功能语言实现公式约束
- 作者：Bernd Bra?el;Michael Hanus;Bj?rn Peem?ller;Fabian Reck
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- functional;
- implementation;
- constraints;
19.A Library for Declarative Resolution-Independent 2D Graphics

机译：申报分辨率独立的2D图形图书馆
- 作者：Paul Klint;Atze van der Ploeg
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- Declarative Graphics;
- Design;
- Resolution-Independence;
- Optimization;
- Focus+context lenses;
20.A Portable and Efficient Implementation of Coinductive Logic Programming

机译：调控逻辑编程的便携式有效实现
- 作者：Paulo Moura
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- logic programming;
- coinduction;
- objects;
- implementation;
- portability;
21.Integrative Functional Statistics in Logic Programming

机译：逻辑编程中的综合功能统计
- 作者：Nicos Angelopoulos;Vítor Santos Costa;Jo?o Azevedo;Jan Wielemaker;Rui Camacho;LodewykWessels
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- integrates;
- programming;
- integration;
22.A Declarative-Friendly API for Web Document Manipulation

机译：用于Web文档操作的声明性友好API
- 作者：Benjamin Canou;Emmanuel Chailloux;Vincent Balat
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- document manipulation;
- Web programming;
- multi-paradigm;
23.Reversible Language Extensions and Their Application in Debugging

机译：可逆语言扩展及其在调试中的应用程序
- 作者：Zoé Drey;José F. Morales;Manuel V. Hermenegildo;Manuel Carro
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- language extensions;
- debuggers;
- logic programming;
- constraint programming;
24.Supporting Pruning in Tabled LP

机译：支持提缩的提示LP
- 作者：Pablo Chico de Guzmán;Manuel Carro;Manuel V. Hermenegildo
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- Logic Programming;
- Tabling;
- Pruning;
- Performance;
25.Parallel Performance of Declarative Programming Using a PGAS Model

机译：使用PGA模型的声明性编程的并行性能
- 作者：Rui Machado;Salvador Abreu;Daniel Diaz
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- Constraint Programming;
- Local Search;
- Parallel Programming;
26.Dependently Typed Web Client Applications FRP in Agda in HTML5

机译：依赖于HTML5中的AGDA中的Web客户端应用程序FRP
- 作者：Alan Jeffrey
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- describe;
- dependently;
- executable;
27.On the Efficient Implementation of Mode-Directed Tabling

机译：关于模式导向图表的有效实现
- 作者：Jo?o Santos;Ricardo Rocha
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- tabling;
- technique;
- implementation;
28.The Generalized Intensional Transformation for Implementing Lazy Functional Languages

机译：实现懒惰功能语言的广义密集转化
- 作者：Georgios Fourtounis;Nikolaos Papaspyrou;Panos Rondogiannis
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- intensional transformation;
- dataflow programming;
- defunctionalization;
- compilation;
- lazy functional languages;
29.Formalizing a Broader Recursion Coverage in SQL

机译：在SQL中正式化更广泛的递归覆盖范围
- 作者：Gabriel Aranda;Susana Nieva;Fernando Sáenz-Pérez;Jaime Sánchez-Hernández
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- Databases;
- SQL;
- Recursion;
- Fixpoint Semantics;
30.LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis

机译：LogicObjects：通过语言共生使Java能够在Java中实现逻辑编程
- 作者：Sergio Castro;Kim Mens;Paulo Moura
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- Linguistic Symbiosis;
- Object-Oriented Programming;
- Logic Programming;
- Multi-Paradigm Programming;
31.Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs

机译：Terminyzer：用于大型逻辑程序的自动非终止分析仪
- 作者：Senlin Liang;Michael Kifer
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- non-termination analysis;
- termination analysis;
- logic programming;
- forest logging;
- tabling;
- subgoal abstraction;
32.A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction

机译：使用延迟速率抽象的多设备的声明性组成时序分析
- 作者：Vítor Rodrigues;Benny Akesson;Sim?o Melo de Sousa;Mário Florido
- 会议名称：《International Symposium of Practical Aspects of Declarative Languages》 | 2013年
- functional;
- estimation;
- calculational;