咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是431-440 订阅
Juniper: A functional reactive programming language for the Arduino  4
Juniper: A functional reactive programming language for the ...
收藏 引用
4th acm sigplan International Workshop on Functional Art, Music, Modelling and design, FARM 2016
作者: Helbling, Caleb Guyer, Samuel Z. Tufts University MedfordMA United States
This paper presents the design and implementation of Juniper: a functional reactive programming language (FRP) targeting the Arduino and related microcontroller systems. Juniper provides a number of high level feature... 详细信息
来源: 评论
GPCE 2016 - Proceedings of the 2016 acm sigplan International conference on Generative programming: Concepts and Experiences, co-located with SPLASH 2016
GPCE 2016 - Proceedings of the 2016 ACM SIGPLAN Internationa...
收藏 引用
15th acm sigplan International conference on Generative programming: Concepts and Experiences, GPCE 2016
The proceedings contain 20 papers. The topics discussed include: Recaf: Java dialects as libraries;classless Java;extensible modeling with managed data in Java;actor profiling in virtual execution environments;bootstr...
来源: 评论
OrcO: A concurrency-first approach to objects  2016
OrcO: A concurrency-first approach to objects
收藏 引用
2016 acm sigplan International conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA 2016
作者: Peters, Arthur Michener Kitchin, David Thywissen, John A. Cook, William R. University of Texas at Austin AustinTX United States Google Inc. United States
The majority of modern programming languages provide concurrency and object-orientation in some form. However, object-oriented concurrency remains cumbersome in many situations. We introduce the language OrcO, Orc wit... 详细信息
来源: 评论
CHERI JNI: Sinking the Java security model into the C
收藏 引用
acm sigplan Notices 2017年 第4期52卷 569-583页
作者: Chisnall, David Davis, Brooks Gudka, Khilan Brazdil, David Joannou, Alexandre Woodruff, Jonathan Theodore Markettos, A. Edward Maste, J. Norton, Robert Son, Stacey Roe, Michael Moore, Simon W. Neumann, Peter G. Laurie, Ben Watson, Robert N.M. University of Cambridge Cambridge United Kingdom SRI International Menlo Park United States DeepMind Technologies Ltd. London United Kingdom
Java provides security and robustness by building a high-level security model atop the foundation of memory protection. Unfortunately, any native code linked into a Java program-including the million lines used to imp... 详细信息
来源: 评论
Dependent Types and Multi-monadic Effects in F  16
Dependent Types and Multi-monadic Effects in F<SUP>☆</SUP>
收藏 引用
43rd Annual acm sigplan-SIGACT Symposium on Principles of programming languages (POPL)
作者: Swamy, Nikhil Hritcu, Catalin Keller, Chantal Rastogi, Aseem Delignat-Lavaud, Antoine Forest, Simon Bhargavan, Karthikeyan Fournet, Cedric Strub, Pierre-Yves Kohlweiss, Markulf Zinzindohoue, Jean-Karim Zanella-Beguelin, Santiago Microsoft Res Bangalore Karnataka India Inria Rennes France MSR Inria Rennes France UMD Rennes France ENS Paris Paris France IMDEA Software Inst Paris France
We present a new, completely redesigned, version of F-star, a language that works both as a proof assistant as well as a general-purpose, verification-oriented, effectful programming language. In support of these comp... 详细信息
来源: 评论
Using Fusion to Enable Late design Decisions for Pipelined Computations  5
Using Fusion to Enable Late Design Decisions for Pipelined C...
收藏 引用
5th acm International Workshop on Functional High-Performance Computing (FHPC)
作者: Karacsony, Matc Claessen, Koen Eotvos Lorand Univ Dept Programming Languages & Compilers Budapest Hungary Chalmers Univ Technol Dept Comp Sci & Engn Gothenburg Sweden
We present an embedded language in Haskell for programming pipelined computations. The language is a combination of Feldspar (a functional language for array computations) and a new implementation of Ziria (a language... 详细信息
来源: 评论
Is There a need for a programming language adapted for implementation of design patterns?  16
Is There a need for a programming language adapted for imple...
收藏 引用
21st European conference on Pattern languages of Programs, EuroPLoP 2016
作者: Batdalov, Ruslan Riga Technical University Latvia
The paper contains a summary of a focus group discussion concerning a possibility to design a programming language so that implementation of the known design patterns would be easier than in the existing languages. We... 详细信息
来源: 评论
A Domain Specific language for Optimal Pumping Systems  1
A Domain Specific Language for Optimal Pumping Systems
收藏 引用
1st Industry Track for Software language Engineering Workshop (ITSLE)
作者: Saul, Benjamin Berg, Christian Zimmermann, Wolf Martin Luther Univ Halle Wittenberg Von Seckendorff Pl 1 D-06120 Halle Saale Germany
This paper discusses the design and implementation of a domain-specific language for modelling energy optimal pumping systems (realizing specific flows and pressures). The domain model is transformed into a correspond... 详细信息
来源: 评论
An Experience in Ada Multicore programming: Parallelisation of a Model Checking Engine  21st
An Experience in Ada Multicore Programming: Parallelisation ...
收藏 引用
21st Ada-Europe International conference on Reliable Software Technologies (Ada-Europe)
作者: Mazzanti, Franco CNR ISTI Ist Sci & Tecnol Informaz A Faedo Pisa Italy
Even if multicore architectures are nowadays extremely wide- spread, the exploitation of this easily available degree of parallelism is not always straightforward. In this paper we describe the experience gained in ou... 详细信息
来源: 评论
Example-Directed Synthesis: A Type-Theoretic Interpretation  16
Example-Directed Synthesis: A Type-Theoretic Interpretation
收藏 引用
43rd Annual acm sigplan-SIGACT Symposium on Principles of programming languages (POPL)
作者: Frankle, Jonathan Osera, Peter-Michael Walker, David Zdancewic, Steve Princeton Univ Princeton NJ 08544 USA Grinnell Coll Grinnell IA 50112 USA Univ Penn Philadelphia PA 19104 USA
Input-output examples have emerged as a practical and user-friendly specification mechanism for program synthesis in many environments. While example-driven tools have demonstrated tangible impact that has inspired ad... 详细信息
来源: 评论