咨询与建议

限定检索结果

文献类型

  • 1,152 篇 会议
  • 135 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,112 篇 工学
    • 1,037 篇 软件工程
    • 800 篇 计算机科学与技术...
    • 48 篇 控制科学与工程
    • 43 篇 电气工程
    • 36 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 6 篇 安全科学与工程
    • 5 篇 建筑学
    • 5 篇 土木工程
    • 5 篇 航空宇航科学与技...
    • 5 篇 生物工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 2 篇 力学(可授工学、理...
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 141 篇 理学
    • 117 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 89 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 15 篇 教育学
    • 15 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 180 篇 design
  • 167 篇 languages
  • 103 篇 computer program...
  • 99 篇 performance
  • 59 篇 algorithms
  • 49 篇 object oriented ...
  • 49 篇 computer program...
  • 45 篇 experimentation
  • 45 篇 java programming...
  • 39 篇 verification
  • 35 篇 reliability
  • 34 篇 java
  • 32 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 software design
  • 21 篇 theory
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 18 篇 type systems

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 12 篇 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 篇 microsoft res re...
  • 9 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 9 篇 microsoft resear...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 shao zhong
  • 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 篇 rajan hridesh
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,205 篇 英文
  • 81 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"
1287 条 记 录,以下是571-580 订阅
排序:
A formal concurrency model based architecture description language for synthesis of software development tools  04
A formal concurrency model based architecture description la...
收藏 引用
conference on languages, Compilers and Tools for Embedded Systems
作者: Qin, W Rajagopalan, S Malik, S Princeton Univ Dept Elect Engn Princeton NJ 08544 USA
Rapidly increasing design and manufacturing non-recurring engineering (NRE) costs are prompting a shift in electronic design from hardwired application specific integrated circuits (ASICs) to the use of software on pr... 详细信息
来源: 评论
iTasks: Executable specifications of interactive work flow systems for the web
iTasks: Executable specifications of interactive work flow s...
收藏 引用
12th acm sigplan International conference on Functional programming
作者: Plasmeijer, Rinus Achten, Peter Koopman, Pieter Radboud Univ Nijmegen Inst Comp & Informat Sci Software Technol Dept NL-6525 ED Nijmegen Netherlands
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are automated systems in which tasks are coo... 详细信息
来源: 评论
Profile-guided proactive garbage collection for locality optimization  06
Profile-guided proactive garbage collection for locality opt...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Chen, Wen-Ke Bhansali, Sanjay Chilimbi, Trishul Gao, Xiaofeng Chuang, Weihaw Microsoft Research One Microsoft Way Redmond WA 98052 United States Dept. of Computer Science and Engineering University of California at San Diego San Diego CA 92093 United States
Many applications written in garbage collected languages have large dynamic working sets and poor data locality. We present a new system for continuously improving program data locality at run time with low overhead. ... 详细信息
来源: 评论
Taming the Wildcards: Combining Definition- and Use-Site Variance  11
Taming the Wildcards: Combining Definition- and Use-Site Var...
收藏 引用
32nd acm sigplan conference on programming language design and implementation (PLDI 11)
作者: Altidor, John Huang, Shan Shan Smaragdakis, Yannis Univ Massachusetts Dept Comp Sci Amherst MA 01003 USA
Variance allows the safe integration of parametric and subtype polymorphism. Two flavors of variance, definition-site versus use-site variance, have been studied and have had their merits hotly debated. Definition-sit... 详细信息
来源: 评论
SAFECode: Enforcing alias analysis for weakly typed languages  06
SAFECode: Enforcing alias analysis for weakly typed language...
收藏 引用
PLDI 2006 - 2006 acm sigplan conference on programming language design and implementation
作者: Dhurjati, Dinakar Kowshik, Sumant Adve, Vikram University of Illinois Urbana-Champaign
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized pointers, and array bounds overflow. W... 详细信息
来源: 评论
Automatic Generation of Efficient Sparse Tensor Format Conversion Routines  2020
Automatic Generation of Efficient Sparse Tensor Format Conve...
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Chou, Stephen Kjolstad, Fredrik Amarasinghe, Saman MIT CSAIL Cambridge MA 02139 USA Stanford Univ Stanford CA 94305 USA
This paper shows how to generate code that efficiently converts sparse tensors between disparate storage formats (data layouts) such as CSR, DIA, ELL, and many others. We decompose sparse tensor conversion into three ... 详细信息
来源: 评论
The HipHop Compiler for PHP  12
The HipHop Compiler for PHP
收藏 引用
acm International conference on Object Oriented programming Systems languages and Applications
作者: Zhao, Haiping Proctor, Iain Yang, Minghui Qi, Xin Williams, Mark Gao, Qi Ottoni, Guilherme Paroski, Andrew MacVicar, Scott Evans, Jason Tu, Stephen Facebook Inc Menlo Pk CA USA
Scripting languages are widely used to quickly accomplish a variety of tasks because of the high productivity they enable. Among other reasons, this increased productivity results from a combination of extensive libra... 详细信息
来源: 评论
GPCE 2016 - proceedings of the 2016 acm sigplan International conference on Generative programming: Concepts and Experiences, co-located with SPLASH 2016
GPCE 2016 - Proceedings of the 2016 ACM SIGPLAN Internationa...
收藏 引用
15th acm sigplan International conference on Generative programming: Concepts and Experiences, GPCE 2016
The proceedings contain 20 papers. The topics discussed include: Recaf: Java dialects as libraries;classless Java;extensible modeling with managed data in Java;actor profiling in virtual execution environments;bootstr...
来源: 评论
SPIL: A language for construction of reliable system software
SPIL: A Language for construction of reliable system softwar...
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Liskov, Barbara H. Smith, Leroy A. Massachusetts Institute of Technology CambridgeMA United States MITRE Corporation BedfordMA United States
Structured programming is gaining wide acceptance as a technique for increasing the reliability and understandability of software. Nowhere is the need for better software felt more keenly than in the area of systems p... 详细信息
来源: 评论
Green-Marl: A DSL for Easy and Efficient Graph Analysis
Green-Marl: A DSL for Easy and Efficient Graph Analysis
收藏 引用
17th International conference on Architectural Support for programming languages and Operating Systems
作者: Hong, Sungpack Chafi, Hassan Sedlar, Eric Olukotun, Kunle Stanford Univ Pervas Parallelism Lab Stanford CA 94305 USA
The increasing importance of graph-data based applications is fueling the need for highly efficient and parallel implementations of graph analysis software. In this paper we describe Green-Marl, a domain-specific lang... 详细信息
来源: 评论