首页>外文会议>ACM SIGPLAN international conference on Principles and practice of declarative programming

ACM SIGPLAN international conference on Principles and practice of declarative programming

召开年：2006
召开地：Venice(IT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Type-oriented construction of web user interfaces

机译：Web用户界面的面向类型的构造
- 作者：Michael Hanus;PMichael Hanus
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- web programming;
2.Combining fuzzy logic and behavioral similarity for non-strict program validation

机译：结合模糊逻辑和行为相似性进行非严格程序验证
- 作者：Coen De Roover;Johan Brichau;Theo DHondt;PJohan Brichau;PTheo DHondt
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- quality assurance of object-oriented programs;
3.An abductive framework for a-priori verification of web services

机译：Web服务先验验证的绑架框架
- 作者：Marco Alberti;Marco Gavanelli;Evelina Lamma;Federico Chesani;Paola Mello;Marco Montali;PEvelina Lamma;PPaola Mello;PMarco Montali
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- web services;
4.An efficient algorithm for XML type projection

机译：一种有效的XML类型投影算法
- 作者：Dario Colazzo;Carlo Sartiani;PDario Colazzo
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
5.BASS

机译：低音
- 作者：Pablo Garralda;Adriana Compagnoni;Mariangiola Dezani-Ciancaglini;PAdriana Compagnoni;PMariangiola Dezani-Ciancaglini
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- session types;
6.Type inference for spreadsheets

机译：电子表格的类型推断
- 作者：Robin Abraham;Martin Erwig;PRobin Abraham;PMartin Erwig
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- type inference;
7.Polymorphic algebraic data type reconstruction

机译：多态代数数据类型重构
- 作者：Tom Schrijvers;Maurice Bruynooghe;PTom Schrijvers;PMaurice Bruynooghe
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- type reconstruction;
8.Extracting programs from type class proofs

机译：从类型类证明中提取程序
- 作者：Martin Sulzmann;PMartin Sulzmann
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- type classes;
9.Rewriting term-graphs with priority

机译：优先重写术语图
- 作者：Ricardo Caferra;Rachid Echahed;Nicolas Peltier;PRachid Echahed
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
10.Computing constructor forms with non terminating rewrite programs

机译：使用非终止重写程序计算构造函数表单
- 作者：Isabelle Gnaedig;Helene Kirchner;PIsabelle Gnaedig
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- termination;
11.Open data types and open functions

机译：开放数据类型和开放功能
- 作者：Andres Loh;Ralf Hinze;PAndres Loh;PRalf Hinze
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- mutually recursive modules;
12.A historic functional and object-oriented calculus

机译：历史悠久的功能和面向对象的演算
- 作者：Maribel Fernandez;Fabien Fleutot;PMaribel Fernandez
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- types;
13.Combining algorithmic debugging and program slicing

机译：结合算法调试和程序切片
- 作者：Josep Silva;Olaf Chitil;PJosep Silva;POlaf Chitil
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- program slicing;
14.Practical type inference based on success typings

机译：基于成功类型的实用类型推断
- 作者：Tobias Lindahl;Konstantinos Sagonas;PKonstantinos Sagonas
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- success typings;
15.Collection analysis for Horn clause programs

机译：Horn子句程序的集合分析
- 作者：Dale Miller;PDale Miller
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- static analysis;
16.One-and-a-halfth-order logic

机译：一阶半逻辑
- 作者：Murdoch J. Gabbay;Aad Mathijssen;PMurdoch J. Gabbay
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- nominal terms;
17.A modal type system for multi-level generating extensions with persistent code

机译：带有持久代码的多级生成扩展的模态类型系统
- 作者：Yosihiro Yuse;Atsushi Igarashi;PAtsushi Igarashi
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- type systems;
18.Inferring dynamic credentials for role-based trust management

机译：为基于角色的信任管理推断动态凭据
- 作者：Daniele Gorla;Matthew Hennessy;Vladimiro Sassone;PDaniele Gorla;PMatthew Hennessy;PVladimiro Sassone
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- trust-management;
19.Condate

机译：期限
- 作者：Nic Volanschi;PNic Volanschi
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- program checking;
20.Compiling ML polymorphism with explicit layout bitmap

机译：使用显式布局位图编译ML多态
- 作者：Huu-Duc Nguyen;Atsushi Ohori;PAtsushi Ohori
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- type-directed compilation;
21.A type system equivalent to static single assignment

机译：等同于静态单一分配的类型系统
- 作者：Yutaka Matsuno;Atsushi Ohori;PAtsushi Ohori
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- type system;
22.Poly-controlled partial evaluation

机译：多控制部分评估
- 作者：German Puebla;Claudio Ochoa;PGerman Puebla;PClaudio Ochoa
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- partial evaluation;
23.Constraint handling rules

机译：约束处理规则
- 作者：Thom Fruhwirth
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- rule-based programming;
24.Typed polyadic pi-calculus in bigraphs

机译：有向型中的双峰pi演算
- 作者：Mikkel Bundgaard;Vladimiro Sassone;PMikkel Bundgaard;PVladimiro Sassone
- 会议名称：《ACM SIGPLAN international conference on Principles and practice of declarative programming》 | 2006年
- typed polyadic π-calculus;