咨询与建议

限定检索结果

文献类型

  • 20 篇 会议

馆藏范围

  • 20 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 20 篇 工学
    • 20 篇 计算机科学与技术...
    • 20 篇 软件工程
    • 4 篇 控制科学与工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 轻工技术与工程
  • 12 篇 理学
    • 12 篇 数学
  • 11 篇 管理学
    • 10 篇 图书情报与档案管...
    • 3 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 12 篇 computer program...
  • 4 篇 logic programmin...
  • 1 篇 program debuggin...
  • 1 篇 computer program...
  • 1 篇 dynamic programm...

机构

  • 1 篇 washington unive...
  • 1 篇 università di ud...
  • 1 篇 computer science...
  • 1 篇 inria futurs and...
  • 1 篇 department of co...
  • 1 篇 princeton univer...
  • 1 篇 computer science...
  • 1 篇 max-planck-inst....
  • 1 篇 sch. of comp. sc...
  • 1 篇 heriot-watt univ...
  • 1 篇 university of ve...
  • 1 篇 inria rocquencou...
  • 1 篇 school of comput...
  • 1 篇 cnrs département...
  • 1 篇 institut für inf...
  • 1 篇 new mexico state...
  • 1 篇 university of me...
  • 1 篇 dept. of medical...
  • 1 篇 dipartimento di ...
  • 1 篇 università di pa...

作者

  • 1 篇 stump aaron
  • 1 篇 wu dinghao
  • 1 篇 liu yanhong a.
  • 1 篇 stuckey peter j.
  • 1 篇 sato taisuke
  • 1 篇 blanchet bruno
  • 1 篇 pontelli e.
  • 1 篇 hirschowitz tom
  • 1 篇 naish lee
  • 1 篇 banyasad omid
  • 1 篇 zhou neng-fa
  • 1 篇 leroy xavier
  • 1 篇 nanevski aleksan...
  • 1 篇 damiani ferrucci...
  • 1 篇 de la banda mari...
  • 1 篇 gnaedig isabelle
  • 1 篇 rossi g.
  • 1 篇 pope bernard
  • 1 篇 dovier a.
  • 1 篇 wells j.b.

语言

  • 20 篇 英文
检索条件"任意字段=Fifth ACM SIGPLAN Conference on Principle and Practice of Declarative Programming"
20 条 记 录,以下是1-10 订阅
排序:
Proceedings of the fifth acm sigplan conference on principle and practice of declarative programming
Proceedings of the Fifth ACM SIGPLAN Conference on Principle...
收藏 引用
fifth acm sigplan conference on principle and practice of declarative programming
The proceedings contains 26 papers from the fifth acm sigplan conference on principle and practice of declarative programming. The topics discussed include: a functional correspondence between evaluators and abstract ... 详细信息
来源: 评论
Proceedings of the acm sigplan conference on principles and practice of declarative programming: Preface
Proceedings of the ACM SIGPLAN Conference on Principles and ...
收藏 引用
fifth acm sigplan conference on principle and practice of declarative programming
作者: Miller, Dale INRIA Futurs and Ecole Polytechnique PPDP Program Committee France
No abstract available
来源: 评论
Automatic Verification of Cryptographic Protocols: A Logic programming Approach  03
Automatic Verification of Cryptographic Protocols: A Logic P...
收藏 引用
fifth acm sigplan conference on principle and practice of declarative programming
作者: Blanchet, Bruno CNRS Département d'Informatique Écl. Norm. Supérieure Paris Max-Planck-Inst. für Informatik Saarbrücken
We present a technique for cryptographic protocol verification, based on an intermediate representation of the protocol by a set of Horn clauses (a logic program). This technique makes it possible to verify security p... 详细信息
来源: 评论
Compilation of Extended Recursion in Call-by-Value Functional Languages  03
Compilation of Extended Recursion in Call-by-Value Functiona...
收藏 引用
fifth acm sigplan conference on principle and practice of declarative programming
作者: Hirschowitz, Tom Leroy, Xavier Wells, J.B. INRIA Rocquencourt France Heriot-Watt University United Kingdom
This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than standard call-by... 详细信息
来源: 评论
Foundational Proof Checkers with Small Witnesses  03
Foundational Proof Checkers with Small Witnesses
收藏 引用
fifth acm sigplan conference on principle and practice of declarative programming
作者: Wu, Dinghao Appel, Andrew W. Stump, Aaron Princeton University United States Washington University St. Louis United States
Proof checkers for proof-carrying code (and similar systems) can suffer from two problems: huge proof witnesses and untrustworthy proof rules. No previous design has addressed both of these problems simultaneously. We... 详细信息
来源: 评论
Practical aspects of declarative Debugging in Haskell 98  03
Practical aspects of Declarative Debugging in Haskell 98
收藏 引用
fifth acm sigplan conference on principle and practice of declarative programming
作者: Pope, Bernard Naish, Lee University of Melbourne Parkville Australia
Non-strict purely functional languages pose many challenges to the designers of debugging tools. declarative debugging has long been considered a suitable candidate for the task due to its abstraction over the evaluat... 详细信息
来源: 评论
Integrating Finite Domain Constraints and CLP with Sets
Integrating Finite Domain Constraints and CLP with Sets
收藏 引用
fifth acm sigplan conference on principle and practice of declarative programming
作者: Dal Palù, A. Dovier, A. Pontelli, E. Rossi, G. Università di Udine Dip. di Mat. New Mexico State University Dept. Computer Science Università di Parma Dip. di Matematica
In this paper we propose a semantically well-founded combination of the constraint solvers used in the constraint programming languages CLP (SET) and CLP(FD). This work demonstrates that it is possible to provide effi... 详细信息
来源: 评论
On Translating Geometric Solids to Functional Expressions  03
On Translating Geometric Solids to Functional Expressions
收藏 引用
fifth acm sigplan conference on principle and practice of declarative programming
作者: Banyasad, Omid Cox, Philip T. Faculty of Computer Science Dalhousie University 6050 University Avenue Halifax NS Canada
Language for Structured Design (LSD) is a high level, visual, logic programming language for design of structured objects. LSD combines the design and programming activities in a homogeneous programming/design environ... 详细信息
来源: 评论
Simplification and Termination of Strategies in Rule-Based Languages  03
Simplification and Termination of Strategies in Rule-Based L...
收藏 引用
fifth acm sigplan conference on principle and practice of declarative programming
作者: Fissore, Olivier Gnaedig, Isabelle Kirchner, Hélène LORIA-INRIA LORIA-CNRS B.P. 239 F-54506 Vandoeuvre-les-Nancy Cedex France
In rule-based languages, control of rule application can be expressed thanks to strategy constructors. The paper addresses termination of such strategy-guided evaluation. To fix ideas, we use the ELAN strategy languag... 详细信息
来源: 评论
Term Rewriting with Variable Binding: An Initial Algebra Approach
Term Rewriting with Variable Binding: An Initial Algebra App...
收藏 引用
fifth acm sigplan conference on principle and practice of declarative programming
作者: Hamana, Makoto Department of Computer Science Gunma University Japan
We present an extension of first-order term rewriting systems, which involves variable binding in the term language. We develop the systems called binding term rewriting systems (BTRSs) in a stepwise manner;firstly we... 详细信息
来源: 评论