咨询与建议

限定检索结果

文献类型

  • 774 篇 会议
  • 129 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 801 篇 工学
    • 787 篇 软件工程
    • 527 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物工程
  • 100 篇 理学
    • 86 篇 数学
    • 10 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 49 篇 管理学
    • 33 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

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

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 stanford univ st...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 univ washington ...
  • 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 篇 aiken alex
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 825 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 96 Conference on Programming Language Design and Implementation"
903 条 记 录,以下是731-740 订阅
排序:
Alphonse. Incremental computation as a programming abstraction
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1992年 第7期27卷 261-261页
作者: Hoover, Roger
来源: 评论
Sapper: A language for hardware-level security policy enforcement  14
Sapper: A language for hardware-level security policy enforc...
收藏 引用
19th International conference on Architectural Support for programming languages and Operating Systems, ASPLOS 2014
作者: Li, Xun Kashyap, Vineeth Oberg, Jason K. Tiwari, Mohit Rajarathinam, Vasanth Ram Kastner, Ryan Sherwood, Timothy Hardekopf, Ben Chong, Frederic T. Facebook United States University of California Santa Barbara United States University of California San Diego United States University of Texas Austin United States AMD United States
Privacy and integrity are important security concerns. These concerns are addressed by controlling information flow, i.e., restricting how information can flow through a system. Most proposed systems that restrict inf... 详细信息
来源: 评论
Pointer analysis for programs with structures and casting
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
Proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 1999年 91-103页
作者: Yong, Suan Hsi Horwitz, Susan Reps, Thomas Univ of Wisconsin-Madison Madison WI United States
Type casting allows a program to access an object as if it had a type different from its declared type. This complicates the design of a pointer-analysis algorithm that treats structure fields as separate objects;ther... 详细信息
来源: 评论
Implicitly-threaded parallelism in Manticore
收藏 引用
acm sigplan NOTICES 2008年 第9期43卷 119-130页
作者: Fluet, Matthew Rainey, Mike Reppy, John Shaw, Adam Toyota Technol Inst Chicago IL 60637 USA Univ Chicago Chicago IL 60637 USA
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-scale scientific computing and tend not... 详细信息
来源: 评论
Combining events and threads for scalable network services - implementation and evaluation of monadic, application-level concurrency primitives
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 189-199页
作者: Li, Peng Zdancewic, Steve Univ Penn Philadelphia PA 19104 USA
This paper proposes to combine two seemingly opposed programming models for building massively concurrent network services: the event-driven model and the multithreaded model. The result is a hybrid design that offers... 详细信息
来源: 评论
Acute: High-level programming language design for distributed computation
收藏 引用
acm sigplan NOTICES 2005年 第9期40卷 15-26页
作者: Sewell, P Leifer, JJ Wansbrough, K Nardelli, FZ Allen-Williams, M Habouzit, P Vafeiadis, V Univ Cambridge Cambridge CB2 1TN England
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (bu... 详细信息
来源: 评论
Expressive and safe static reflection with MorphJ
收藏 引用
acm sigplan NOTICES 2008年 第6期43卷 79-89页
作者: Huang, Shan Shan Smaragdakis, Yannis Georgia Inst Technol Coll Comp Atlanta GA 30332 USA Univ Oregon Dept Comp & Informat Sci Eugene OR 97403 USA
Recently, language extensions have been proposed for Java and C# to support pattern-based reflective declaration. These extensions introduce a disciplined form of meta-programming and aspect-oriented programming to ma... 详细信息
来源: 评论
Orchestrating the execution of stream programs on multicore platforms
收藏 引用
acm sigplan NOTICES 2008年 第6期43卷 114-124页
作者: Kudlur, Manjunath Mahlke, Scott Univ Michigan Adv Comp Architecture Lab Ann Arbor MI 48109 USA
While multicore hardware has become ubiquitous, explicitly parallel programming models and compiler techniques for exploiting parallelism on these systems have noticeably lagged behind. Stream programming is one model... 详细信息
来源: 评论
The Bedrock Structured programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier
收藏 引用
acm sigplan NOTICES 2013年 第9期48卷 391-402页
作者: Chlipala, Adam MIT CSAIL United States
We report on the design and implementation of an extensible programming language and its intrinsic support for formal verification. Our language is targeted at low-level programming of infrastructure like operating sy... 详细信息
来源: 评论
Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs
收藏 引用
acm sigplan NOTICES 2011年 第2期46卷 127-136页
作者: Rompf, Tiark Odersky, Martin Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland
Software engineering demands generality and abstraction, performance demands specialization and concretization. Generative programming can provide both, but developing high-quality program generators takes a large eff... 详细信息
来源: 评论