咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是611-620 订阅
排序:
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 ... 详细信息
来源: 评论
SPECL: A system programming dialect of ECL
SPECL: A system programming dialect of ECL
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Udin, David Harvard University Center for Computing Technology CambridgeMA United States
The SPECL programming system is an attempt to combine the characteristics of an implementation language with those desirable for verifiability (human and mechanical) and transportability. The former requires efficient... 详细信息
来源: 评论
The liberty structural specification language: A high-level modeling language for component reuse
The liberty structural specification language: A high-level ...
收藏 引用
conference on programming language design and implementation
作者: Vachharajani, M Vachharajani, N August, DI Princeton Univ Dept Comp Sci & Elect Engn Princeton NJ 08544 USA
Rapid exploration of the design space with simulation models is essential for quality hardware systems research and development. Despite striking commonalities across hardware systems, designers routinely fail to achi... 详细信息
来源: 评论
Tachyon Common Lisp: An efficient and portable implementation of CLtL2
Tachyon Common Lisp: An efficient and portable implementatio...
收藏 引用
proceedings of the 1992 acm conference on Lisp and Functional programming
作者: Nagasaka, Atsushi Shintani, Yoshihiro Ito, Tanji Gomi, Hiroshi Takahashi, Junichi Oki Electric Industry Co Ltd Tokyo Japan
Tachyon Common Lisp is an efficient and portable implementation of Common Lisp 2nd Edition. The design objective of Tachyon is to apply both advanced optimization technology developed for RISC processors and Lisp opti... 详细信息
来源: 评论
A collaboration specification language  99
A collaboration specification language
收藏 引用
2nd conference on Domain-Specific languages, DSL 1999
作者: Li, Du Muntz, Richard R. Department of Computer Science University of California Los Angeles Los AngelesCA90024 United States
COCA (Collaborative Objects Coordination Architecture) was proposed as a novel means to model and support collaborations over the Internet. Our approach separates coordination policies from user interfaces and the pol... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Concrete syntax for objects - Domain-specific language embedding and assimilation without restrictions
Concrete syntax for objects - Domain-specific language embed...
收藏 引用
19th conference on Object-Oriented programming, Systems, languages, and Applications
作者: Bravenboer, M Visser, E Univ Utrecht Inst Comp & Informat Sci NL-3508 TB Utrecht Netherlands
Application programmer's interfaces give access to domain knowledge encapsulated in class libraries without providing the appropriate notation for expressing domain composition. Since object-oriented languages are... 详细信息
来源: 评论
Implicitly threaded parallelism in Manticore
收藏 引用
JOURNAL OF FUNCTIONAL programming 2010年 第5-6期20卷 537-576页
作者: Fluet, Matthew Rainey, Mike Reppy, John Shaw, Adam Rochester Inst Technol Dept Comp Sci Rochester NY 14623 USA Univ Chicago Dept Comp Sci Chicago IL 60637 USA Toyota Technol Inst Chicago IL USA
The increasing availability of commodity multicore processors is making parallel computing ever more widespread. In order to exploit its potential, programmers need languages that make the benefits of parallelism acce... 详细信息
来源: 评论
DSL implementation using staging and monads  99
DSL implementation using staging and monads
收藏 引用
2nd conference on Domain-Specific languages, DSL 1999
作者: Sheard, Tim Benaissa, Zine-El-Abidine Pasalic, Emir Pacific Software Research Center Oregon Graduate Institute P.O. Box 91000 PortlandON97291-1000 United States
The impact of Domain Specific languages (DSLs) on software design is considerable. They allow programs to be more concise than equivalent programs written in a high-level programming languages. They relieve programmer... 详细信息
来源: 评论
Time Conscious Objects™
Time Conscious Objects™
收藏 引用
18th Annual acm sigplan conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA'03
作者: Bettin, Jorn Hoare, Jeff SoftMetaWare PO Box 617 Waiheke Island Auckland New Zealand
In most business software systems the time dimension of business objects plays a significant role. Time is a crosscutting concern that is hard to separate from other business logic. We have developed a toolkit that al... 详细信息
来源: 评论