咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是91-100 订阅
排序:
Featherweight Swift: A Core Calculus for Swift's Type System  13
Featherweight Swift: A Core Calculus for Swift's Type System
收藏 引用
13th acm sigplan International conference on Software language Engineering (SLE) part of SPLASH conference
作者: Racordon, Dimitri Buchs, Didier Univ Geneva Dept Comp Sci Geneva Switzerland
Swift is a modern general-purpose programming language, designed to be a replacement for C-based languages. Although primarily directed at development of applications for Apple's operating systems, Swift's ado... 详细信息
来源: 评论
On the Principles of Differentiable Quantum programming languages  2020
On the Principles of Differentiable Quantum Programming Lang...
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Zhu, Shaopeng Hung, Shih-Han Chakrabarti, Shouvanik Wu, Xiaodi Univ Maryland College Pk MD 20742 USA
Variational Quantum Circuits (VQCs), or the so-called quantum neural-networks, are predicted to be one of the most important near-term quantum applications, not only because of their similar promises as classical neur... 详细信息
来源: 评论
A Principled Approach to REPL Interpreters
A Principled Approach to REPL Interpreters
收藏 引用
acm sigplan International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward) Part of part of SPLASH conference
作者: van Binsbergen, L. Thomas Merino, Mauricio Verano Jeanjean, Pierre van der Storm, Tijs Combemale, Benoit Barais, Olivier Ctr Wiskunde & Informat Amsterdam Netherlands Eindhoven Univ Technol Eindhoven Netherlands Univ Rennes INRIA CRNS IRISA Rennes France Univ Groningen Groningen Netherlands
Read-eval-print-loops (REPLs) allow programmers to test out snippets of code, explore APIs, or even incrementally construct code, and get immediate feedback on their actions. However, even though many languages provid... 详细信息
来源: 评论
Variability Modules for Java-like languages  21
Variability Modules for Java-like Languages
收藏 引用
25th acm International Systems and Software Product Line conference (SPLC)
作者: Damiani, Ferruccio Haehnle, Reiner Kamburjan, Eduard Lienhardt, Michael Paolini, Luca Univ Turin Dept Comp Sci Turin Italy Tech Univ Darmstadt Dept Comp Sci Darmstadt Germany Univ Oslo Dept Informat Oslo Norway Off Natl Etud & Rech Aerosp Palaiseau France
A Software Product Line (SPL) is a family of similar programs (called variants) generated from a common artifact base. A Multi SPL (MPL) is a set of interdependent SPLs (i.e., such that an SPL's variant can depend... 详细信息
来源: 评论
Rustsim: A Process-Oriented Simulation Framework for the Rust language  23
Rustsim: A Process-Oriented Simulation Framework for the Rus...
收藏 引用
proceedings of the Winter Simulation conference
作者: Kevin Frez Mauricio Oyarzún Alonso Inostrosa-Psijas Francisco Moreno Gabriel Wainer Facultad de Ingeniería y Arquitectura Universidad Arturo Prat Iquique Chile Escuela de Ingeniería Informática Universidad de Valparaíso Valparaíso Chile Depto. de Matemática y Ciencia de la Computación Universidad de Santiago Santiago Chile Dept. Of Systems and Computer Engineering Carleton University Ottawa Canada
We present RustSim, a library for discrete-event process-oriented simulations designed and implemented in the Rust programming language. It includes a broad set of classes to allow the user to implement simulation pro...
来源: 评论
EVA: An Encrypted Vector Arithmetic language and Compiler for Efficient Homomorphic Computation  2020
EVA: An Encrypted Vector Arithmetic Language and Compiler fo...
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Dathathri, Roshan Kostova, Blagovesta Saarikivi, Olli Dai, Wei Laine, Kim Musuvathi, Madan Univ Texas Austin Austin TX 78712 USA Ecole Polytech Fed Lausanne Lausanne Switzerland Microsoft Res Redmond WA USA
Fully-Homomorphic Encryption (FHE) offers powerful capabilities by enabling secure offloading of both storage and computation, and recent innovations in schemes and implementations have made it all the more attractive... 详细信息
来源: 评论
Towards Assessing the Readability of programming Error Messages  21
Towards Assessing the Readability of Programming Error Messa...
收藏 引用
23rd Australasian Computing Education conference (ACE)
作者: Becker, Brett A. Denny, Paul Prather, James Pettit, Raymond Nix, Robert Mooney, Catherine Univ Coll Dublin Dublin Ireland Univ Auckland Auckland New Zealand Abilene Christian Univ Abilene TX 79699 USA Univ Virginia Charlottesville VA USA Oklahoma Christian Univ Edmond OK USA
programming error messages have proven to be notoriously problematic for novices who are learning to program. Although recent efforts have focused on improving message wording, these have been criticized for attemptin... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
BlankIt Library Debloating  41
BlankIt Library Debloating
收藏 引用
41st acm sigplan conference on programming language design and implementation, PLDI 2020
作者: Porter, Chris Mururu, Girish Barua, Prithayan Pande, Santosh Georgia Institute of Technology United States
Modern software systems make extensive use of libraries derived from C and C++. Because of the lack of memory safety in these languages, however, the libraries may suffer from vulnerabilities, which can expose the app... 详细信息
来源: 评论
proceedings of the acm sigplan conference on programming language design and implementation (PLDI)
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
37th acm sigplan conference on programming language design and implementation, PLDI 2016
The proceedings contain 48 papers. The topics discussed include: into the depths of C: elaborating the de facto standards;data-driven precondition inference with learned features;Cartesian Hoare logic for verifying k-...
来源: 评论