咨询与建议

限定检索结果

文献类型

  • 1,099 篇 会议
  • 138 篇 期刊文献

馆藏范围

  • 1,237 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,072 篇 工学
    • 1,005 篇 软件工程
    • 778 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 32 篇 信息与通信工程
    • 12 篇 机械工程
    • 10 篇 电子科学与技术(可...
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 6 篇 生物工程
    • 5 篇 材料科学与工程(可...
    • 5 篇 化学工程与技术
    • 5 篇 安全科学与工程
    • 4 篇 光学工程
    • 4 篇 航空宇航科学与技...
    • 2 篇 冶金工程
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
  • 138 篇 理学
    • 112 篇 数学
    • 13 篇 系统科学
    • 8 篇 生物学
    • 8 篇 统计学(可授理学、...
    • 7 篇 物理学
    • 5 篇 化学
  • 89 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 29 篇 工商管理
  • 17 篇 教育学
    • 17 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
  • 1 篇 医学
  • 1 篇 军事学

主题

  • 170 篇 design
  • 157 篇 languages
  • 96 篇 performance
  • 95 篇 computer program...
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 42 篇 java programming...
  • 39 篇 verification
  • 34 篇 reliability
  • 28 篇 java
  • 28 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 compilers
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 type systems

机构

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

作者

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

语言

  • 1,156 篇 英文
  • 80 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation"
1237 条 记 录,以下是201-210 订阅
排序:
CEAL: A C-Based language for Self-Adjusting Computation  09
CEAL: A C-Based Language for Self-Adjusting Computation
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Hammer, Matthew A. Acar, Umut A. Chen, Yan Toyota Technol Inst Chicago Chicago IL USA
Self-adjusting computation offers a language-centric approach to writing programs that can automatically respond to modifications to their data (e.g., inputs). Except for several domain-specific implementations, howev... 详细信息
来源: 评论
Supporting array programming in X10  1
Supporting array programming in X10
收藏 引用
1st acm sigplan International Workshop on Libraries, languages and Compilers for Array programming, ARRAY 2014 - Part of PLDI 2014
作者: Grove, David Milthorpe, Josh Tardieu, Olivier IBM Research Australia Australian National University Australia
Effective support for array-based programming has long been one of the central design concerns of the X10 programming language. After significant research and exploration, X10 has adopted an approach based on providin... 详细信息
来源: 评论
From Folklore to Fact: Comparing implementations of Stacks and Continuations  2020
From Folklore to Fact: Comparing Implementations of Stacks a...
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Farvardin, Kavon Reppy, John Univ Chicago Comp Sci Chicago IL 60637 USA
The efficient implementation of function calls and non-local control transfers is a critical part of modern language implementations and is important in the implementation of everything from recursion, higher-order fu... 详细信息
来源: 评论
Proper tail recursion and space efficiency  98
Proper tail recursion and space efficiency
收藏 引用
proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Clinger, William D. Northeastern Univ Boston MA United States
The IEEE/ANSI standard for Scheme requires implementations to be properly tail recursive. This ensures that portable code can rely upon the space efficiency of continuation-passing style and other idioms. On its face,... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Harmonizing Classes, Functions, Tuples, and Type Parameters in Virgil III  13
Harmonizing Classes, Functions, Tuples, and Type Parameters ...
收藏 引用
34th acm sigplan conference on programming language design and implementation (PLDI)
作者: Titzer, Ben L. Google Mountain View CA USA
languages are becoming increasingly multi-paradigm. Subtype polymorphism in statically-typed object-oriented languages is being supplemented with parametric polymorphism in the form of generics. Features like first-cl... 详细信息
来源: 评论
Stateless Model Checking Concurrent Programs with Maximal Causality Reduction  15
Stateless Model Checking Concurrent Programs with Maximal Ca...
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Huang, Jeff Texas A&M Univ College Stn TX 77843 USA
We present maximal causality reduction (MCR), a new technique for stateless model checking. MCR systematically explores the state-space of concurrent programs with a provably minimal number of executions. Each executi... 详细信息
来源: 评论
Frenetic: A Network programming language  11
Frenetic: A Network Programming Language
收藏 引用
16th acm sigplan International conference on Functional programming (ICFP 11)
作者: Foster, Nate Harrison, Rob Freedman, Michael J. Monsanto, Christopher Rexford, Jennifer Story, Alec Walker, David Cornell Univ Ithaca NY 14853 USA Princeton Univ Princeton NJ 08544 USA
Modern networks provide a variety of interrelated services including routing, traffic monitoring, load balancing, and access control. Unfortunately, the languages used to program today's networks lack modern featu... 详细信息
来源: 评论
RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms  2017
RaTrace: Simple and Efficient Abstractions for BVH Ray Trave...
收藏 引用
16th acm sigplan International conference on Generative programming - Concepts and Experiences (GPCE) co-located with SPLASH conference
作者: Perard-Gayot, Arsene Weier, Martin Membarth, Richard Slusallek, Philipp Leissa, Roland Hack, Sebastian Saarland Univ Comp Graph Lab Saarbrucken Germany Bonn Rhein Sieg Univ Inst Visual Comp St Augustin Germany DFKI Agents & Simulated Real Saarbrucken Germany Saarland Univ Compiler Design Lab Saarbrucken Germany
In order to achieve the highest possible performance, the ray traversal and intersection routines at the core of every high-performance ray tracer are usually hand-coded, heavily optimized, and implemented separately ... 详细信息
来源: 评论
Declarative programming over Eventually Consistent Data Stores  15
Declarative Programming over Eventually Consistent Data Stor...
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Sivaramakrishnan, K. C. Kaki, Gowtham Jagannathan, Suresh Univ Cambridge Cambridge CB2 1TN England Purdue Univ W Lafayette IN 47907 USA
User-facing online services utilize geo-distributed data stores to minimize latency and tolerate partial failures, with the intention of providing a fast, always-on experience. However, geo-distribution does not come ... 详细信息
来源: 评论