咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 166 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 74 篇 computer program...
  • 56 篇 algorithms
  • 45 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 36 篇 reliability
  • 34 篇 object oriented ...
  • 27 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 19 篇 concurrency
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ washington ...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 gulwani sumit
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是261-270 订阅
排序:
Exploring and Enforcing Security Guarantees via Program Dependence Graphs  15
Exploring and Enforcing Security Guarantees via Program Depe...
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Johnson, Andrew Waye, Lucas Moore, Scott Chong, Stephen MIT Lincoln Lab Cambridge MA 02139 USA Harvard Univ Cambridge MA 02138 USA
We present PIDGIN, a program analysis and understanding tool that enables the specification and enforcement of precise application-specific information security guarantees. PIDGIN also allows developers to interactive... 详细信息
来源: 评论
Deployable Probabilistic programming
Deployable Probabilistic Programming
收藏 引用
acm sigplan International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward) part of SPLASH conference
作者: Tolpin, David PUB Tel Aviv Israel
We propose design guidelines for a probabilistic programming facility suitable for deployment as a part of a production software system. As a reference implementation, we introduce Infergo, a probabilistic programming... 详细信息
来源: 评论
Task granularity analysis in logic programs  90
Task granularity analysis in logic programs
收藏 引用
Proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Debray, Saumya K. Lin, Nai-Wei Hermenegildo, Manuel Univ of Arizona Tucson United States
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the work involved in task creation and schedu... 详细信息
来源: 评论
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant  2021
DIY Assistant: A Multi-modal End-User Programmable Virtual A...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Fischer, Michael H. Campagna, Giovanni Choi, Euirim Lam, Monica S. Stanford Univ Stanford CA 94305 USA
While Alexa can perform over 100,000 skills, its capability covers only a fraction of what is possible on the web. Individuals need and want to automate a long tail of web-based tasks which often involve visiting diff... 详细信息
来源: 评论
Concurrent Orchestration in Haskell
Concurrent Orchestration in Haskell
收藏 引用
3rd acm Haskell Symposium on Haskell
作者: Launchbury, John Elliott, Trevor Galois Inc. Portland OR United States
We present a concurrent scripting language embedded in Haskell, emulating the functionality of the Orc orchestration language by providing many-valued (real) non-determinism in the context of concurrent effects. We pr... 详细信息
来源: 评论
Improving JavaScript Performance by Deconstructing the Type System  14
Improving JavaScript Performance by Deconstructing the Type ...
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Ahn, Wonsun Choi, Jiho Shull, Thomas Garzaran, Maria J. Torrellas, Josep Univ Illinois Champaign IL 61820 USA
Increased focus on Java Script performance has resulted in vast performance improvements for many benchmarks. However, for actual code used in websites, the attained improvements often lag far behind those for popular... 详细信息
来源: 评论
Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml language Extension for the Run-Time Generation of Mathematical Contents and their Presentation on the Web  11
Using Camlp4 for Presenting Dynamic Mathematics on the Web: ...
收藏 引用
16th acm sigplan International conference on Functional programming (ICFP 11)
作者: Chyzak, Frederic Darrasse, Alexis INRIA Rocquencourt France
We report on the design and implementation of a programming tool, DynaMoW, to control interactive and incremental mathematical calculations to be presented on the web. This tool is implemented as a language extension ... 详细信息
来源: 评论
The liberty structural specification language: A high-level modeling language for component reuse
The liberty structural specification language: A high-level ...
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (PLDI'04)
作者: Vachharajani, Manish Vachharajani, Neil August, David I. Department of Computer Science Princeton University Princeton NJ 08544 United States
Rapid exploration of the design space with simulation models is essential for quality hardware systems research and development. Despite striking commonalities across hardware systems, designers routinely fail to achi... 详细信息
来源: 评论
Descend: A Safe GPU Systems programming language
收藏 引用
PROCEEDINGS OF THE acm ON programming languageS-PacmPL 2024年 第PLDI期8卷 841-864页
作者: Koepcke, Bastian Gorlatch, Sergei Steuwer, Michel Univ Munster Munster Germany Tech Univ Berlin Berlin Germany
Graphics Processing Units (GPU) offer tremendous computational power by following a throughput oriented paradigm where many thousand computational units operate in parallel. programming such massively parallel hardwar... 详细信息
来源: 评论
Profile guided code positioning  90
Profile guided code positioning
收藏 引用
Proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Pettis, Karl Hansen, Robert C. Hewlett Packard Co California Language Lab Cupertino United States
This paper presents the results of our investigation of code positioning techniques using execution profile data as input into the compilation process. The primary objective of the positioning is to reduce the overhea... 详细信息
来源: 评论