咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是621-630 订阅
排序:
Java interfaces in CS 1 textbooks
Java interfaces in CS 1 textbooks
收藏 引用
21st Annual acm sigplan conference on Object-oriented programming Systems, languages, and Applications, OOPSLA 2006
作者: VanDrunen, Thomas Wheaton College Wheaton IL
Java's interface construct allows for a clear distinction between subtype polymorphism based on a shared interface and code reuse based on class extension or inheritance. design Patterns argues that in an object-o... 详细信息
来源: 评论
Concept-controlled polymorphism
收藏 引用
2nd International conference on Generative programming and Component Engineering
作者: Järvi, J Willcock, J Lumsdaine, A Indiana Univ Open Syst Lab Bloomington IN 47405 USA
Concepts - sets of abstractions related by common requirements have a central role in generic programming. This paper proposes a general framework for using concepts to control polymorphism in different ways. First, c... 详细信息
来源: 评论
Identifying the semantic and textural differences between two versions of a program
Identifying the semantic and textural differences between tw...
收藏 引用
proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Horwitz, Susan Univ of Wisconsin-Madison Madison United States
Text-based file comparators (e.g., the Unix utility diff), are very general tools that can be applied to arbitrary files. However, using such tools to compare programs can be unsatisfactory because their only notion o... 详细信息
来源: 评论
A truly implementation independent GUI development tool
A truly implementation independent GUI development tool
收藏 引用
1999 Annual acm SIGAda International conference on Ada, SIGAda 1999
作者: Carlisle, Martin C. Department of Computer Science US Air Force Academy 2354 Fairchild Dr CO80840-6234 United States
Ovre the last few years, graphical user interface programming has become increasingly prevalent. Many libraries and languages have been developed to simplify this task. Additionally, design tools have been created tha... 详细信息
来源: 评论
Isolation for Nested Task Parallelism  13
Isolation for Nested Task Parallelism
收藏 引用
2013 acm sigplan International conference on Object Oriented programming Systems languages
作者: Zhao, Jisheng Lublinerman, Roberto Budimlic, Zoran Chaudhuri, Swarat Sarkar, Vivek Rice Univ Houston TX 77251 USA Google Inc Mountain View CA USA
Isolation-the property that a task can access shared data without interference from other tasks-is one of the most basic concerns in parallel programming. While there is a large body of past work on isolated task-para... 详细信息
来源: 评论
The tao of parallelism in algorithms  11
The tao of parallelism in algorithms
收藏 引用
32nd acm conference on programming language design and implementation, PLDI 2011
作者: Pingali, Keshav Nguyen, Donald Kulkarni, Milind Burtscher, Martin Hassaan, M. Amber Kaleem, Rashid Lee, Tsung-Hsien Lenharth, Andrew Manevich, Roman Méndez-Lojo, Mario Prountzos, Dimitrios Sui, Xin Department of Computer Science University of Texas Austin TX United States Electrical and Computer Engineering University of Texas Austin TX United States Institute for Computational Engineering and Sciences University of Texas Austin TX United States Department of Computer Science Texas State University San Marcos TX United States School of Electrical and Computer Engineering Purdue University United States
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in "regular" algorithms that use dense arra... 详细信息
来源: 评论
HACCLE: Metaprogramming for Secure Multi-Party Computation  2021
HACCLE: Metaprogramming for Secure Multi-Party Computation
收藏 引用
20th acm sigplan International conference on Generative programming: Concepts and Experiences (GPCE)
作者: Bao, Yuyan Sundararajah, Kirshanthan Malik, Raghav Ye, Qianchuan Wagner, Christopher Jaber, Nouraldin Wang, Fei Ameri, Mohammad Hassan Lu, Donghang Seto, Alexander Delaware, Benjamin Samanta, Roopsha Kate, Aniket Garman, Christina Blocki, Jeremiah Letourneau, Pierre-David Meister, Benoit Springer, Jonathan Rompf, Tiark Kulkarni, Milind Univ Waterloo Waterloo ON Canada Purdue Univ W Lafayette IN 47907 USA Reservoir Labs New York NY USA
Cryptographic techniques have the potential to enable distrusting parties to collaborate in fundamentally new ways, but their practical implementation poses numerous challenges. An important class of such cryptographi... 详细信息
来源: 评论
Hierarchical language definition
Hierarchical language definition
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Bochmann, Gregor V. Dept Informatique U. De Montréal Canada
This paper describes a project for the hierarchical definition and implementation of languages. In the spirit of structured programming [ 1] and in analogy to the hierarchical construction of operating systems t 2, 3]... 详细信息
来源: 评论
Executable computational logics: Combining formal methods and programming language based system design  1
Executable computational logics: Combining formal methods an...
收藏 引用
1st acm/IEEE International conference on Formal Methods and Models for Co-design (MEMOCODE 03)
作者: Meseguer, J Univ Illinois Dept Comp Sci Urbana IL 61801 USA
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of system designs based on programming languag... 详细信息
来源: 评论
Cross-Layer Memory Management for Managed language Applications  2015
Cross-Layer Memory Management for Managed Language Applicati...
收藏 引用
acm sigplan International conference on Object-Oriented programming, Systems, languages, and Applications (OOPSLA)
作者: Jantz, Michael R. Robinson, Forrest J. Kulkarni, Prasad A. Doshi, Kshitij A. Univ Tennessee Knoxville TN 37996 USA Univ Kansas Lawrence KS 66045 USA Intel Corp Santa Clara CA 95051 USA
Performance and energy efficiency in memory have become critically important for a wide range of computing domains. However, it is difficult to control and optimize memory power and performance because these effects d... 详细信息
来源: 评论