咨询与建议

限定检索结果

文献类型

  • 47 篇 会议
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 47 篇 工学
    • 47 篇 计算机科学与技术...
    • 46 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 电子科学与技术(可...
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
  • 8 篇 理学
    • 6 篇 数学
    • 1 篇 物理学
    • 1 篇 化学
  • 4 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 1 篇 图书情报与档案管...

主题

  • 25 篇 computer program...
  • 7 篇 computer program...
  • 3 篇 computer operati...
  • 3 篇 functional progr...
  • 2 篇 computer systems...
  • 2 篇 parallel program...
  • 2 篇 logic programmin...
  • 1 篇 quantitative ana...
  • 1 篇 lisp (programmin...
  • 1 篇 database systems
  • 1 篇 executable speci...
  • 1 篇 static analysis
  • 1 篇 embedded domain-...
  • 1 篇 resource consump...
  • 1 篇 semantics
  • 1 篇 satisfiability m...
  • 1 篇 constraint progr...
  • 1 篇 scala
  • 1 篇 non-determinism
  • 1 篇 amortized analys...

机构

  • 3 篇 stanford univ st...
  • 2 篇 mit cambridge ma...
  • 2 篇 indiana univ blo...
  • 2 篇 carnegie-mellon ...
  • 1 篇 tokyo inst of te...
  • 1 篇 yale university ...
  • 1 篇 univ of edinburg...
  • 1 篇 xerox palo alto ...
  • 1 篇 indiana universi...
  • 1 篇 rwth aachen aach...
  • 1 篇 swiss fed inst t...
  • 1 篇 university of ch...
  • 1 篇 cornell univ ith...
  • 1 篇 at and t bell la...
  • 1 篇 technische univ ...
  • 1 篇 rice univ housto...
  • 1 篇 ntt musashino jp...
  • 1 篇 cent de recherch...
  • 1 篇 indiana state un...
  • 1 篇 symbolics inc ca...

作者

  • 2 篇 smith brian cant...
  • 2 篇 friedman daniel ...
  • 2 篇 hanus michael
  • 2 篇 hudak paul
  • 2 篇 gabriel richard ...
  • 1 篇 mishra prateek
  • 1 篇 bistriceanu v.
  • 1 篇 aehlig klaus
  • 1 篇 steele guy l.
  • 1 篇 takeuchi ikuo
  • 1 篇 haynes christoph...
  • 1 篇 hagelstein j.
  • 1 篇 wiedenbeck susan
  • 1 篇 xiao yingqi
  • 1 篇 kiselyov oleg
  • 1 篇 smolka gert
  • 1 篇 wand mitchell
  • 1 篇 watanabe kazufum...
  • 1 篇 katayama takuya
  • 1 篇 hullot jean-mari...

语言

  • 48 篇 英文
检索条件"任意字段=Conference Record of the 1984 ACM Symposium on LISP and Functional Programming."
48 条 记 录,以下是1-10 订阅
排序:
Constraints as Control  12
Constraints as Control
收藏 引用
39th Annual acm SIGPLAN-SIGACT symposium on Principles of programming.Languages
作者: Koeksal, Ali Sinan Kuncak, Viktor Suter, Philippe Swiss Fed Inst Technol EPFL Sch Comp & Commun Sci I&C Lausanne Switzerland
We present an extension of Scala that supports constraint programming.over bounded and unbounded domains. The resulting language, Kaplan, provides the benefits of constraint programming.while preserving the existing f... 详细信息
来源: 评论
functional un|unparsing
收藏 引用
Higher-Order and Symbolic Computation 2011年 第4期24卷 311-340页
作者: Asai, Kenichi Kiselyov, Oleg Shan, Chung-Chieh Ochanomizu University Tokyo Japan Indiana University Bloomington IN United States
Danvy's functional unparsing problem (Danvy in J. Funct. Program. 8(6), 621- 625, 1998) is to implement a type-safe 'printf' function, which converts a sequence of heterogeneous arguments to a string accor... 详细信息
来源: 评论
Multivariate Amortized Resource Analysis  11
Multivariate Amortized Resource Analysis
收藏 引用
38th symposium on Principles of programming.Languages
作者: Hoffmann, Jan Aehlig, Klaus Hofmann, Martin Univ Munich D-80539 Munich Germany
We study the problem of automatically analyzing the worst-case resource usage a procedures with several arguments. Existing automatic analyses based or. amortization, or sized types bound the resource usage or result ... 详细信息
来源: 评论
Manticore: A heterogeneous parallel language
Manticore: A heterogeneous parallel language
收藏 引用
DAMP 2007: Workshop on Declarative Aspects of Multicore programming
作者: Fluet, Matthew Rainey, Mike Reppy, John Shaw, Adam Xiao, Yingqi Toyota Technological Institute Chicago Japan University of Chicago United States
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous language that supports parallelism at... 详细信息
来源: 评论
Unified computation model for functional and logic programming
Unified computation model for functional and logic programmi...
收藏 引用
The 1997 24th acm SIGPLAN-SIGACT symposium on Principles of programming.Languages, POPL'97
作者: Hanus, Michael RWTH Aachen Aachen Germany
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and integrated functional logic languages (re... 详细信息
来源: 评论
Semantics of future and its use in program optimization
Semantics of future and its use in program optimization
收藏 引用
22nd acm SIGPLAN-SIGACT symposium on Principles of programming.Languages, POPL'95
作者: Flanagan, Cormac Felleisen, Matthias Rice Univ Houston TX United States
The future annotations of Multilisp provide a simple method for taming the implicit parallelism of functional programs. Past research concerning futures has focused on implementation issues. In this paper, we present ... 详细信息
来源: 评论
Building interpreters by composing monads  94
Building interpreters by composing monads
收藏 引用
21st Annual acm symposium on Principles of programming.Languages, POPL'94
作者: Steele, Guy L. Thinking Machines Corp Cambridge MA United States
We exhibit a set of functions coded in Haskell that can be used as building blocks to construct a variety of interpreters for lisp-like languages. The building blocks are joined merely through functional composition. ... 详细信息
来源: 评论
Needed narrowing strategy
Needed narrowing strategy
收藏 引用
21st Annual acm symposium on Principles of programming.Languages, POPL'94
作者: Antoy, Sergio Echahed, Rachid Hanus, Michael Portland State Univ Portland OR United States
Narrowing is the operational principle of languages that integrate functional and logic programming. We propose a notion of a needed narrowing step that, for inductively sequential rewrite systems, extends the Huet an... 详细信息
来源: 评论
Sort inference algorithm for the polyadic π-calculus
Sort inference algorithm for the polyadic π-calculus
收藏 引用
20th Annual acm SIGPLAN-SIGACT symposium on Principles of programming.Languages, POPL'93
作者: Gay, Simon J. Imperial Coll of Science Technology and Medicine London United Kingdom
In Milner's polyadic π-calculus there is a notion of sorts which is analogous to the notion of types in functional programming. As a well-typed program applies functions to arguments in a consistent way, a well-s... 详细信息
来源: 评论
conference record of the Sixteenth Annual acm symposium on Principles of programming.Languages
Conference Record of the Sixteenth Annual ACM Symposium on P...
收藏 引用
conference record of the Sixteenth Annual acm symposium on Principles of programming.Languages
This conference proceedings contains 30 papers. The topics covered are: program dependence graphs;types;semantics;concurrent processes;logic programming.communicating systems;program transformation;functional language... 详细信息
来源: 评论