咨询与建议

限定检索结果

文献类型

  • 783 篇 会议
  • 135 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 806 篇 工学
    • 792 篇 软件工程
    • 529 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 12 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物医学工程(可授...
  • 99 篇 理学
    • 84 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 3 篇 物理学
    • 3 篇 生物学
    • 1 篇 地质学
  • 52 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 20 篇 图书情报与档案管...
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

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

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 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 篇 stanford univ st...
  • 9 篇 univ washington ...
  • 8 篇 mit cambridge ma...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 chlipala adam
  • 10 篇 dillig isil
  • 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 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 mansinghka vikas...
  • 6 篇 bodik rastislav

语言

  • 841 篇 英文
  • 76 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"
918 条 记 录,以下是651-660 订阅
排序:
Pattern matching for object-like structures in the Go programning language
Pattern matching for object-like structures in the Go progra...
收藏 引用
6th Workshop on the implementation, Compilation, Optimization of Object-Oriented languages, Programs and Systems, ICOOOLPS 2011 - In Conjunction with the 25th European conference on Object-Oriented programming, ECOOP 2011
作者: Kaewkasi, Chanwit Kaewkasi, Pitchaya School of Computer Engineering Suranaree University of Technology Nakhon Ratchasima Thailand
This paper explores the feasibility of implementing pattern matching for the Go programming language. The design of pattern matching is taken from Scala, and reimplemented using Go's constructs and new language ex... 详细信息
来源: 评论
Kill-safe synchronization abstractions
Kill-safe synchronization abstractions
收藏 引用
conference on programming language design and implementation
作者: Flatt, M Findler, RB Univ Utah Salt Lake City UT 84112 USA Univ Chicago Chicago IL 60637 USA
When an individual task can be forcefully terminated at any time, cooperating tasks must communicate carefully. For example, if two tasks share an object, and if one task is terminated while it manipulates the object,... 详细信息
来源: 评论
Charm++: A portable concurrent object oriented system based on C++  8
Charm++: A portable concurrent object oriented system based ...
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Kale, Laxmikant V. Krishnan, Sanjeev Department of Computer Science University of Illinois Urbana-Champaign United States
We describe Charm++, an object oriented portable parallel programming language based on C++. Its design philosophy, implementation, sample applications and their performance on various parallel machines are described.... 详细信息
来源: 评论
KonohaScript: Static scripting for practical use
KonohaScript: Static scripting for practical use
收藏 引用
acm International conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH'11
作者: Kuramitsu, Kimio JST/CREST/DEOS Project Yokohama National University Japan
This demonstration presents the language design of Konoha-Script, a statically typed object-oriented scripting language. KonohaScript provides the very similar scripting experiences compared to dynamic languages. In a... 详细信息
来源: 评论
Generative software product line development using variability-aware design patterns
收藏 引用
COMPUTER languageS SYSTEMS & STRUCTURES 2017年 48卷 89-111页
作者: Seidl, Christoph Schuster, Sven Schaefer, Ina Tech Univ Carolo Wilhelmina Braunschweig Braunschweig Germany
Software Product Lines (SPLs) are an approach to reuse in-the-large that models a set of closely related software systems in terms of commonalities and variabilities. design patterns are best practices for addressing ... 详细信息
来源: 评论
Scala 2018 - Proceedings of the 9th acm sigplan International Symposium on Scala, co-located with ICFP 2018
Scala 2018 - Proceedings of the 9th ACM SIGPLAN Internationa...
收藏 引用
9th acm sigplan International Symposium on Scala, Scala 2018, Part of the acm sigplan International conference on Functional programming, ICFP 2018
The proceedings contain 9 papers. The topics discussed include: a domain-specific language for microservices;parser combinators for context-free path querying;garnishing parsec with parsley;path dependent types with p...
来源: 评论
Making asynchronous parallelism safe for the world
Making asynchronous parallelism safe for the world
收藏 引用
conference Record of the Seventeenth Annual acm Symposium on Principles of programming languages, POPL'90
作者: Steele, Guy L. Thinking Machines Corp MA United States
A programming model that combines the advantages of the synchronous and asynchronous parallel styles is proposed. Asynchronous threads of control, but shared-memory accesses and other side effects are restricted so as... 详细信息
来源: 评论
Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015)
Workshop preview of the 2015 workshop on reactive and event-...
收藏 引用
acm sigplan International conference on Systems, programming, languages and Applications: Software for Humanity, SPLASH 2015
作者: Salvaneschi, Guido De Meuter, Wolfgang Eugster, Patrick Ziarek, Lukasz Technische Universität Darmstadt Germany Vrije Universiteit Brussel Belgium Purdue University United States State University of New York United States
Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HCI technology and the ever increasing requirement for appl... 详细信息
来源: 评论
A unified system of parameterization for programming languages  88
A unified system of parameterization for programming languag...
收藏 引用
1988 acm conference on LISP and Functional programming, LFP 1988
作者: Lamping, John Stanford University United States Xerox PARC United States
Introduction: A system is parameterized when it has one or more external inputs which partially determine a result. In the lambda calculus parameterization arises in two situations;the value of a function is parameriz... 详细信息
来源: 评论
Pluggable AOP - designing aspect mechanisms for third-party composition
Pluggable AOP - Designing aspect mechanisms for third-party ...
收藏 引用
OOPSLA'05 - 20th Annual acm conference on Object-Oriented programming, Systems, languages, and Applications
作者: Kojarski, Sergei Lorenz, David H. Department of Computer Science University of Virginia Charlottesville VA 22904-4740 United States Northeastern University University of Virginia
Studies of Aspect-Oriented programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. languages specified in this manner have a fixed, non-extensible AOP fun... 详细信息
来源: 评论