咨询与建议

限定检索结果

文献类型

  • 2,274 篇 会议
  • 296 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,275 篇 工学
    • 2,144 篇 软件工程
    • 1,697 篇 计算机科学与技术...
    • 84 篇 控制科学与工程
    • 57 篇 信息与通信工程
    • 55 篇 电气工程
    • 21 篇 电子科学与技术(可...
    • 17 篇 机械工程
    • 13 篇 材料科学与工程(可...
    • 13 篇 建筑学
    • 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
  • 78 篇 functional progr...
  • 71 篇 computer program...
  • 71 篇 theory
  • 65 篇 java
  • 63 篇 verification
  • 61 篇 reliability
  • 48 篇 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,356 篇 英文
  • 211 篇 其他
  • 4 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"
2572 条 记 录,以下是171-180 订阅
排序:
A design of GPU-Based Quantitative Model Checking  1
收藏 引用
22nd International conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) jointly with the 48th acm sigplan Symposium on Principles of programming languages (POPL)
作者: Kwon, YoungMin Kim, Eunhee State Univ New York Dept Comp Sci Incheon South Korea 2e Consulting Corp Seoul South Korea
In this paper, we implement a GPU-based quantitative model checker and compare its performance with a CPU-based one. Linear Temporal Logic for Control (LTLC) is a quantitative variation of LTL to describe properties o... 详细信息
来源: 评论
Silq: A High-Level Quantum language with Safe Uncomputation and Intuitive Semantics  2020
Silq: A High-Level Quantum Language with Safe Uncomputation ...
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Bichsel, Benjamin Baader, Maximilian Gehr, Timon Vechev, Martin Swiss Fed Inst Technol Zurich Switzerland
Existing quantum languages force the programmer to work at a low level of abstraction leading to unintuitive and cluttered code. A fundamental reason is that dropping temporary values from the program state requires e... 详细信息
来源: 评论
A Compiler Infrastructure for Accelerator Generators  21
A Compiler Infrastructure for Accelerator Generators
收藏 引用
26th International conference on Architectural Support for programming languages and Operating Systems (ASPLOS)
作者: Nigam, Rachit Thomas, Samuel Li, Zhijing Sampson, Adrian Cornell Univ Ithaca NY 14853 USA
We present Calyx, a new intermediate language (IL) for compiling high-level programs into hardware designs. Calyx combines a hardware-like structural language with a software-like control flow representation with loop... 详细信息
来源: 评论
The Essence of Bluespec A Core language for Rule-Based Hardware design  2020
The Essence of Bluespec A Core Language for Rule-Based Hardw...
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Bourgeat, Thomas Pit-Claudel, Clement Chlipala, Adam Arvind MIT CSAIL 77 Massachusetts Ave Cambridge MA 02139 USA
The Bluespec hardware-description language presents a significantly higher-level view than hardware engineers are used to, exposing a simpler concurrency model that promotes formal proof, without compromising on perfo... 详细信息
来源: 评论
design of online course management system based on Python  5
Design of online course management system based on Python
收藏 引用
5th International conference on E-Business, Information Management and Computer Science, EBIMCS 2022
作者: Li, Ting Wuhan Business University HuBei WuHan China
With the continuous progress and development of Internet technology, computer information management technology is also developing continuously, and all walks of life have developed their own management systems. The c... 详细信息
来源: 评论
Getting Grammars into Shape for Block-Based Editors  14
Getting Grammars into Shape for Block-Based Editors
收藏 引用
14th International conference on Software language Engineering (SLE)
作者: Merino, Mauricio Verano Beckmann, Tom van der Storm, Tijs Hirschfeld, Robert Vinju, Jurgen J. Eindhoven Univ Technol CWI Eindhoven Netherlands Univ Potsdam Hasso Plattner Inst Potsdam Germany Univ Groningen CWI Amsterdam Netherlands Eindhoven Univ Technol CWI Amsterdam Netherlands
Block-based environments are visual programming environments that allow users to program by interactively arranging visual jigsaw-like blocks. They have shown to be helpful in several domains but often require experie... 详细信息
来源: 评论
From Folklore to Fact: Comparing implementations of Stacks and Continuations  2020
From Folklore to Fact: Comparing Implementations of Stacks a...
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Farvardin, Kavon Reppy, John Univ Chicago Comp Sci Chicago IL 60637 USA
The efficient implementation of function calls and non-local control transfers is a critical part of modern language implementations and is important in the implementation of everything from recursion, higher-order fu... 详细信息
来源: 评论
Features, Believe It or Not!* A design Pattern for First-Class Citizen Features on Stock JVM  22
Features, Believe It or Not!* A Design Pattern for First-Cla...
收藏 引用
26th acm International Systems and Software Product Line conference (SPLC)
作者: Bertolotti, Francesco Cazzola, Walter Favalli, Luca Univ Milan Comp Sci Dept Milan Italy
Modern software systems must fulfill the needs of an ever-growing customer base. Due to the innate diversity of human needs, software should be highly customizable and reconfigurable. Researchers and practitioners gai... 详细信息
来源: 评论
language-Parametric Compiler Validation with Application to LLVM  21
Language-Parametric Compiler Validation with Application to ...
收藏 引用
26th International conference on Architectural Support for programming languages and Operating Systems (ASPLOS)
作者: Kasampalis, Theodoros Park, Daejun Lin, Zhengyao Adve, Vikram S. Rosu, Grigore Univ Illinois Champaign IL 61801 USA Runtime Verificact Inc Urbana IL USA
We propose a new design for a Translation Validation (TV) system geared towards practical use with modern optimizing compilers, such as LLVM. Unlike existing TV systems, which are customtailored for a particular seque... 详细信息
来源: 评论
Extracting Smart Contracts Tested and Verified in Coq  2021
Extracting Smart Contracts Tested and Verified in Coq
收藏 引用
10th acm sigplan International conference on Certified Programs and Proofs (CPP)
作者: Annenkov, Danil Milo, Mikkel Nielsen, Jakob Botsch Spitters, Bas Aarhus Univ Concordium Blockchain Res Ctr Aarhus Denmark Aarhus Univ Dept Comp Sci Aarhus Denmark
We implement extraction of Coq programs to functional languages based on MetaCoq's certified erasure. As part of this, we implement an optimisation pass removing unused arguments. We prove the pass correct wrt. a ... 详细信息
来源: 评论