咨询与建议

限定检索结果

文献类型

  • 2,280 篇 会议
  • 299 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 2,581 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,283 篇 工学
    • 2,149 篇 软件工程
    • 1,705 篇 计算机科学与技术...
    • 85 篇 控制科学与工程
    • 57 篇 信息与通信工程
    • 55 篇 电气工程
    • 23 篇 电子科学与技术(可...
    • 17 篇 机械工程
    • 14 篇 建筑学
    • 14 篇 土木工程
    • 13 篇 材料科学与工程(可...
    • 13 篇 生物工程
    • 10 篇 光学工程
    • 9 篇 安全科学与工程
    • 8 篇 化学工程与技术
    • 5 篇 动力工程及工程热...
    • 5 篇 生物医学工程(可授...
    • 4 篇 力学(可授工学、理...
  • 278 篇 理学
    • 217 篇 数学
    • 30 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 16 篇 物理学
    • 16 篇 生物学
    • 8 篇 化学
    • 6 篇 地质学
  • 207 篇 管理学
    • 112 篇 图书情报与档案管...
    • 107 篇 管理科学与工程(可...
    • 48 篇 工商管理
  • 22 篇 教育学
    • 22 篇 教育学
  • 17 篇 法学
    • 15 篇 社会学
  • 9 篇 经济学
    • 9 篇 应用经济学
  • 2 篇 农学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 390 篇 design
  • 369 篇 languages
  • 187 篇 computer program...
  • 182 篇 performance
  • 162 篇 object oriented ...
  • 89 篇 algorithms
  • 88 篇 java programming...
  • 81 篇 experimentation
  • 79 篇 functional progr...
  • 71 篇 theory
  • 70 篇 computer program...
  • 65 篇 java
  • 63 篇 verification
  • 61 篇 reliability
  • 49 篇 semantics
  • 47 篇 software design
  • 45 篇 domain-specific ...
  • 38 篇 parallel program...
  • 37 篇 concurrency
  • 35 篇 measurement

机构

  • 25 篇 carnegie mellon ...
  • 22 篇 univ washington ...
  • 18 篇 univ penn philad...
  • 17 篇 princeton univ p...
  • 17 篇 stanford univ st...
  • 16 篇 univ texas austi...
  • 15 篇 harvard univ cam...
  • 14 篇 purdue univ w la...
  • 13 篇 microsoft res re...
  • 13 篇 microsoft resear...
  • 13 篇 rice univ housto...
  • 12 篇 univ wisconsin m...
  • 12 篇 mit cambridge ma...
  • 12 篇 cornell univ ith...
  • 12 篇 microsoft res ca...
  • 11 篇 univ michigan an...
  • 11 篇 swiss fed inst t...
  • 11 篇 univ calif berke...
  • 10 篇 microsoft res re...
  • 10 篇 yale univ new ha...

作者

  • 19 篇 hirschfeld rober...
  • 16 篇 walker david
  • 15 篇 visser eelco
  • 15 篇 felleisen matthi...
  • 14 篇 findler robert b...
  • 13 篇 grossman dan
  • 13 篇 bacon david f.
  • 12 篇 chlipala adam
  • 11 篇 flatt matthew
  • 11 篇 sarkar vivek
  • 11 篇 myers andrew c.
  • 11 篇 mezini mira
  • 11 篇 morrisett greg
  • 10 篇 mckinley kathryn...
  • 10 篇 bockisch christo...
  • 10 篇 adl-tabatabai al...
  • 10 篇 van der storm ti...
  • 10 篇 de moor oege
  • 10 篇 dillig isil
  • 9 篇 lumsdaine a

语言

  • 2,350 篇 英文
  • 226 篇 其他
  • 4 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"
2581 条 记 录,以下是731-740 订阅
排序:
Two-Way Traceability and Conflict Debugging for AspectLTL Programs  12
Two-Way Traceability and Conflict Debugging for AspectLTL Pr...
收藏 引用
11th Annual Aspect-Oriented Software Development conference
作者: Maoz, Shahar Sa'ar, Yaniv Tel Aviv Univ IL-69978 Tel Aviv Israel Weizmann Inst Sci IL-76100 Rehovot Israel
Tracing program actions back to the concerns that have caused them and blaming specific code artifacts for concern interference are known challenges of AOP and related advanced modularity paradigms. In this work, we a... 详细信息
来源: 评论
Hybrid Context-Sensitivity for Points-To Analysis  13
Hybrid Context-Sensitivity for Points-To Analysis
收藏 引用
acm sigplan conference on programming language design and implementation
作者: George Kastrinis Yannis Smaragdakis Department of Informatics University of Athens
Context-sensitive points-to analysis is valuable for achieving high precision with good performance. The standard flavors of context-sensitivity are call-site-sensitivity (kCFA) and object-sensitivity. Combining both ... 详细信息
来源: 评论
EventHurdle: Supporting designers' exploratory interaction prototyping with gesture-based sensors  13
EventHurdle: Supporting designers' exploratory interaction p...
收藏 引用
31st Annual CHI conference on Human Factors in Computing Systems: Changing Perspectives, CHI 2013
作者: Kim, Ju-Whan Nam, Tek-Jin CIDR Lab Department of Industrial Design KAIST 291 Daehak-ro Yuseong-gu Daejeon 305-701 Korea Republic of
Prototyping of gestural interactions in the early phase of design is one of the most challenging tasks for designers without advanced programming skills. Relating users' input from gesture-based sensor values requ... 详细信息
来源: 评论
Fast Algorithms for Dyck-CFL-Reachability with Applications to Alias Analysis  13
Fast Algorithms for Dyck-CFL-Reachability with Applications ...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Qirun Zhang Michael R. Lyu Hao Yuan Zhendong Su The Chinese University of Hong Kong BOPU Technologies University of California
The context-free language (CFL) reachability problem is a well-known fundamental formulation in program analysis. In practice, many program analyses, especially pointer analyses, adopt a restricted version of CFL-reac... 详细信息
来源: 评论
A General Constraint-centric Scheduling Framework for Spatial Architectures  13
A General Constraint-centric Scheduling Framework for Spatia...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Tony Nowatzki Michael Sartin-Tarm Lorenzo De Carli Karthikeyan Sankaralingam Cristian Estan Behnam Robatmili University of Wisconsin-Madison Broadcom Qualcomm Research Silicon Valley
Specialized execution using spatial architectures provides energy efficient computation, but requires effective algorithms for spatially scheduling the computation. Generally, this has been solved with architecture-sp... 详细信息
来源: 评论
P: Safe Asynchronous Event-Driven programming  13
P: Safe Asynchronous Event-Driven Programming
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Ankush Desai Vivek Gupta Ethan Jackson Shaz Qadeer Sriram Rajamani Damien Zufferey Microsoft IST Austria
We describe the design and implementation of P, a domain-specific language to write asynchronous event driven code. P allows the programmer to specify the system as a collection of interacting state machines, which co... 详细信息
来源: 评论
Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths  13
Static Analysis for Probabilistic Programs: Inferring Whole ...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Sriram Sankaranarayanan Aleksandar Chakarov Sumit Gulwani University of Colorado Microsoft Research
We propose an approach for the static analysis of probabilistic programs that sense, manipulate, and control based on uncertain data. Examples include programs used in risk analysis, medical decision making and cyber-... 详细信息
来源: 评论
Relaxing Queries to Detect Variants of design Patterns
Relaxing Queries to Detect Variants of Design Patterns
收藏 引用
Federated conference on Computer Science and Information Systems (FedCSIS)
作者: Wegrzynowicz, Patrycja Stencel, Krzysztof Univ Warsaw Inst Informat PL-02097 Warsaw Poland
design patterns codify general solutions to frequently encountered design problems. They also facilitate writing robust and readable code. Their usage happens to be particularly profitable if the documentation of the ... 详细信息
来源: 评论
Exploiting slicing and patterns for RTSJ immortal memory optimization  13
Exploiting slicing and patterns for RTSJ immortal memory opt...
收藏 引用
2013 10th International conference on Principles and Practices of programming on the Java Platform: Virtual Machines, languages, and Tools, PPPJ 2013
作者: Hamza, Hamza Counsell, Steve Department of Information Systems and Computing Brunel University Uxbridge Middlesex UB8 3PH United Kingdom
The Real-Time Specification for Java (RTSJ) introduces a new memory management model which avoids interfering with the garbage collection process. Two types of memory areas are provided - immortal and scoped. Using th... 详细信息
来源: 评论
TRANSIT: Specifying Protocols with Concolic Snippets  13
TRANSIT: Specifying Protocols with Concolic Snippets
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Abhishek Udupa Sela Mador-Haim Arun Raghavan Milo M. K. Martin Jyotirmoy V. Deshmukh Rajeev Alur University of Pennsylvania Toyota Technical Center
With the maturing of technology for model checking and constraint solving, there is an emerging opportunity to develop programming tools that can transform the way systems are specified. In this paper, we propose a ne... 详细信息
来源: 评论