咨询与建议

限定检索结果

文献类型

  • 1,152 篇 会议
  • 135 篇 期刊文献

馆藏范围

  • 1,287 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,112 篇 工学
    • 1,037 篇 软件工程
    • 800 篇 计算机科学与技术...
    • 48 篇 控制科学与工程
    • 43 篇 电气工程
    • 36 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 6 篇 安全科学与工程
    • 5 篇 建筑学
    • 5 篇 土木工程
    • 5 篇 航空宇航科学与技...
    • 5 篇 生物工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 2 篇 力学(可授工学、理...
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 141 篇 理学
    • 117 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 89 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 15 篇 教育学
    • 15 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 180 篇 design
  • 167 篇 languages
  • 103 篇 computer program...
  • 99 篇 performance
  • 59 篇 algorithms
  • 49 篇 object oriented ...
  • 49 篇 computer program...
  • 45 篇 experimentation
  • 45 篇 java programming...
  • 39 篇 verification
  • 35 篇 reliability
  • 34 篇 java
  • 32 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 software design
  • 21 篇 theory
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 18 篇 type systems

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 12 篇 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 篇 microsoft res re...
  • 9 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 9 篇 microsoft resear...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 shao zhong
  • 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 篇 rajan hridesh
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,205 篇 英文
  • 81 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"
1287 条 记 录,以下是591-600 订阅
排序:
iTasks: Executable specifications of interactive work flow systems for the web
iTasks: Executable specifications of interactive work flow s...
收藏 引用
12th acm sigplan International conference on Functional programming
作者: Plasmeijer, Rinus Achten, Peter Koopman, Pieter Radboud Univ Nijmegen Inst Comp & Informat Sci Software Technol Dept NL-6525 ED Nijmegen Netherlands
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are automated systems in which tasks are coo... 详细信息
来源: 评论
Profile-guided proactive garbage collection for locality optimization  06
Profile-guided proactive garbage collection for locality opt...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Chen, Wen-Ke Bhansali, Sanjay Chilimbi, Trishul Gao, Xiaofeng Chuang, Weihaw Microsoft Research One Microsoft Way Redmond WA 98052 United States Dept. of Computer Science and Engineering University of California at San Diego San Diego CA 92093 United States
Many applications written in garbage collected languages have large dynamic working sets and poor data locality. We present a new system for continuously improving program data locality at run time with low overhead. ... 详细信息
来源: 评论
Structured programming: A minor part of software engineering
Structured programming: A minor part of software engineering
收藏 引用
Joint European conference on Theory and Practice of Software (ETAPS 2003)
作者: Parnas, DL Univ Limerick Coll Elect & Informat Software Qual Res Lab Dept Comp Sci & Informat Syst Limerick Ireland
Software Engineering is discussed as a branch of Engineering specialising in software intensive products. The process of developing good software is discussed and it is argued that writing programs, though obviously a... 详细信息
来源: 评论
SPIL: A language for construction of reliable system software
SPIL: A Language for construction of reliable system softwar...
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Liskov, Barbara H. Smith, Leroy A. Massachusetts Institute of Technology CambridgeMA United States MITRE Corporation BedfordMA United States
Structured programming is gaining wide acceptance as a technique for increasing the reliability and understandability of software. Nowhere is the need for better software felt more keenly than in the area of systems p... 详细信息
来源: 评论
Artemis: Practical runtime monitoring of applications for execution anomalies  06
Artemis: Practical runtime monitoring of applications for ex...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Fei, Long Midkiff, Samuel P. School of Electrical and Computer Engineering Purdue University West Lafayette IN 47907 United States
A number of hardware and software techniques have been proposed to detect dynamic program behaviors that may indicate a bug in a program. Because these techniques suffer from high overheads they are useful in finding ... 详细信息
来源: 评论
Dependent types in practical programming  99
Dependent types in practical programming
收藏 引用
The 1999 26th Annual acm sigplan-SIGACT Symposium on Principles of programming language, POPL'99
作者: Xi, Hongwei Pfenning, Frank Oregon Graduate Inst of Science and Technology Beaverton OR United States
We present an approach to enriching the type system of ML with a restricted form of dependent types, where type index objects are drawn from a constraint domain C, leading to the DML(C) language schema. This allows sp... 详细信息
来源: 评论
Workflow-based composition of web-services: a business model or a programming paradigm?  6
Workflow-based composition of web-services: a business model...
收藏 引用
6th International Enterprise Distributed Object Computing
作者: Ganesarajah, D Lupu, E NDS Orbis London England
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper presents the design and implementation ... 详细信息
来源: 评论
Task Types for Pervasive Atomicity  10
Task Types for Pervasive Atomicity
收藏 引用
conference on Object Oriented programming Systems, languages and Applications/SPLASH 2010
作者: Kulkarni, Aditya Liu, Yu David Smith, Scott F. SUNY Binghamton Binghamton NY 13902 USA Johns Hopkins Univ Baltimore MD 21218 USA
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the number of possible interleavings the pro... 详细信息
来源: 评论
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... 详细信息
来源: 评论
i3QL: language-Integrated Live Data Views  14
i3QL: Language-Integrated Live Data Views
收藏 引用
2014 acm International conference on Object-Oriented-programming-Systems-languages-and-Applications (OOPSLA 14)
作者: Mitschke, Ralf Erdweg, Sebastian Koehler, Mirko Mezini, Mira Salvaneschi, Guido Tech Univ Darmstadt Darmstadt Germany Univ Lancaster Lancaster LA1 4YW England
An incremental computation updates its result based on a change to its input, which is often an order of magnitude faster than a recomputation from scratch. In particular, incrementalization can make expensive computa... 详细信息
来源: 评论