首页>外文会议>其他>International Symposium of Practical aspects of declarative languages

International Symposium of Practical aspects of declarative languages

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs

机译：巨大的数据但小程序：通过多个嵌入式DSL的可视化设计
- 作者：D.J. Duke;R. Borgo;M. Wallace;C. Runciman
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Huge;
- Visualization;
- DSLs;
2.Operational Semantics for Declarative Networking

机译：申报性网络的运营语义
- 作者：Juan A. Navarro;Andrey Rybalchenko
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Declarative networking;
- programming language semantics;
- distributed systems;
3.Interoperating Logic Engines

机译：互操作逻辑发动机
- 作者：Paul Tarau;Arun Majumdar
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
4.Secure Implementation of Meta-predicates

机译：确保Meta谓词的实施
- 作者：Paulo Moura
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Logic-programming;
- meta-predicates;
- security;
5.Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications

机译：提高符合规划者的性能：声明规划域规范的静态分析
- 作者：Dang-Vien Tran;Hoang-Khoi Nguyen;Enrico Pontelli;Tran Cao Son
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Planning;
- Reasoning about Actions;
- Conformant Planning;
6.Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell

机译：使用Bloom滤波器在Haskell中进行大规模基因序列分析
- 作者：Ketil Malde;Bryan OSullivan
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Bloom;
- Scale;
- Gene;
7.Towards a Complete Scheme for Tabled Execution Based on Program Transformation

机译：迈向基于计划转换的提案执行计划
- 作者：Pablo Chico de Guzman;Manuel Carro;Manuel V. Hermenegildo
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Tabled logic programming;
- Continuation-call tabling;
- Implementation;
- Performance;
- Program transformation;
8.Toward a Practical Module System for ACL2

机译：对ACL2的实用模块系统
- 作者：Carl Eastlund;Matthias Felleisen
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Practical;
- System;
- computational;
9.Declarative Programming of User Interfaces

机译：用户界面的声明性编程
- 作者：Michael Hanus;Christof Klub
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Declarative;
- Programming;
- Programming;
10.Declarative Network Verification

机译：声明性网络验证
- 作者：Anduo Wang;Prithwish Basu;Boon Thau Loo;Oleg Sokolsky
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Declarative;
- Verification;
- Datalog;
11.Ad Hoc Data and the Token Ambiguity Problem

机译：ad hoc数据和令牌歧义问题
- 作者：Qian Xi;Kathleen Fisher;David Walker;Kenny Q. Zhu
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Hoc;
- Token;
- Problem;
12.Recycle Your Arrays!

机译：回收你的阵列！
- 作者：Roman Leshchinskiy
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Deforestation;
- Optimisation;
- Array Programming;
- Functional Programming;
13.High-Level Interaction with Relational Databases in Logic Programming

机译：逻辑编程中与关系数据库的高级交互
- 作者：Antonio Porto
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- High-Level;
- Databases;
- Programming;
14.High Level Thread - Based Competitive Or-Parallelism in Logtalk

机译：LogTalk基于高级线程的竞争或并行性
- 作者：Paulo Moura;Ricardo Rocha;Sara C. Madeira
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Or-parallelism;
- speculative threading;
- implementation;
15.Typed Datalog

机译：键入的Datalog.
- 作者：David Zook;Emir Pasalic;Beata Sarna-Starosta
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Datalog;
- Type System;
- Deductive Databases;
- Metacompilation;
16.Layered Models Top-Down Querying of Normal Logic Programs

机译：分层模型自上而下查询正常逻辑程序
- 作者：Luis Moniz Pereira;Alexandre Miguel Pinto
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Smodels;
- XSB-XASP;
- Relevance;
- Semantics;
17.On Preferring and Inspecting Abductive Models

机译：偏爱和检查绑架型号
- 作者：Luis Moniz Pereira;Pierangelo DellAcqua;Goncalo Lopes
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Abduction;
- Preferences;
- Logic Programming;
- XSB-Prolog;
- Smodels;
18.One Table Fits All

机译：一张桌子适合所有
- 作者：Jorge Costa;Ricardo Rocha
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Tabling Logic Programming;
- Table Space;
- Implementation;
19.Implementing Thread Cancellation in Multithreaded Prolog Systems

机译：在多线程Prolog系统中实现线程取消
- 作者：Atef Suleiman;John Miller
- 会议名称：《International Symposium of Practical aspects of declarative languages》 | 2009年
- Prolog;
- concurrency;
- threads;