咨询与建议

限定检索结果

文献类型

  • 1,094 篇 会议
  • 132 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,062 篇 工学
    • 1,002 篇 软件工程
    • 769 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 134 篇 理学
    • 111 篇 数学
    • 14 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 82 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 法学
    • 5 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 99 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 54 篇 object oriented ...
  • 51 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 c (programming l...
  • 17 篇 compilers

机构

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

作者

  • 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 篇 foster nate
  • 6 篇 felleisen matthi...
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,148 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"
1226 条 记 录,以下是921-930 订阅
排序:
The GNAT implementation of controlled types
The GNAT implementation of controlled types
收藏 引用
International conference on TRI-Ada 1995: Ada's Role in Global Markets: Solutions for a Changing Complex World, TRI-Ada 1995
作者: Comar, Cyrille Dismukes, Gary Gasperoni, Franco Ada Core Technologies 73 Fifth Avenue New YorkNY10003 United States Ada Core Technologies 10397 Avenida Magnifica San DiegoCA92131 United States Telecom Paris-ENST Dep. INF 46 rue Barrault Paris Cedex 1375634 France
This paper discusses the implementation model for supporting Ada 95 controlled types in the GNAT compiler [1]. After reviewing the semantics of controlled types, we outline the associated implementation problems and d... 详细信息
来源: 评论
The composition of abstractions: Evolution of software component design with Ada 95
The composition of abstractions: Evolution of software compo...
收藏 引用
International conference on TRI-Ada 1995: Ada's Role in Global Markets: Solutions for a Changing Complex World, TRI-Ada 1995
作者: Kempe, Magnus Swiss Federal Institute of Technology in Lausanne Software Engineering Laboratory EPFL-DI-LGL LausanneCH-1015 Switzerland
Ada 95 adds many new, powerful constructs to the ones Ada 83 already offered. From the perspective of a designer and implementor of Ada software components, this should encourage an evolution in the architecture of co... 详细信息
来源: 评论
Pattern matching for design concept localization
Pattern matching for design concept localization
收藏 引用
2nd Working conference on Reverse Engineering
作者: KONTOGIANNIS, K DEMORI, R BERNSTEIN, M GALLER, M MERLO, E MCGILL UNIV SCH COMP SCIMONTREALPQ H3A 2A7CANADA
The effective synergy of a number of different techniques is the key to the successful development of an efficient Reverse Engineering environment. Compiler technology, pattern matching techniques, visualization tools... 详细信息
来源: 评论
Communication Optimizations for Parallel Computing Using Data Access Information
Communication Optimizations for Parallel Computing Using Dat...
收藏 引用
Supercomputing conference
作者: M.C. Rinard Department of Computer Science University of California슠Santa Barbara Santa Barbara CA USA
Given the large communication overheads characteristic of modern parallel machines, optimizations that eliminate, hide or parallelize communication may improve the performance of parallel computations. This paper desc... 详细信息
来源: 评论
On slicing programs with jump statements  94
On slicing programs with jump statements
收藏 引用
proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
作者: Agrawal, Hiralal Bellcore Morristown United States
Program slices have potential uses in many software engineering applications. Traditional slicing algorithms, however, do not work correctly on programs that contain explicit jump statements. Two similar algorithms we... 详细信息
来源: 评论
Optimizing dynamically-dispatched calls with run-time type feedback  94
Optimizing dynamically-dispatched calls with run-time type f...
收藏 引用
proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
作者: Holzle, Urs Ungar, David Stanford Univ Stanford CA United States
Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not know which callee will be invoked at run... 详细信息
来源: 评论
Type analysis of Prolog using type graphs  94
Type analysis of Prolog using type graphs
收藏 引用
proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
作者: Van Hentenryck, P. Cortesi, A. Le Charlier, B. Brown Univ Providence United States
Type analysis of Prolog is of primary importance for high-performance compilers, since type information may lead to better indexing and to sophisticated specializations of unification and built-in predicates to name a... 详细信息
来源: 评论
Backtracking without trailing in CLP (RLin)  94
Backtracking without trailing in CLP (RLin)
收藏 引用
proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
作者: Van Hentenryck, Pascal Ramachandran, Viswanath Brown Univ Providence United States
Constraint logic programming (CLP) is a generalization of logic programming where unification is replaced by constraint solving as the basic operation of the language. The combination of constraint solving and nondete... 详细信息
来源: 评论
Randomized implementation of multiple functional arrays
Randomized implementation of multiple functional arrays
收藏 引用
proceedings of the 1994 acm conference on LISP and Functional programming
作者: Chuang, Tyng-Ruey Chalmers Univ of Technology Goteborg Sweden
The array update problem in the implementation of a purely functional language is the following: once an array is updated, both the original array and the newly updated one must be preserved to maintain referential tr... 详细信息
来源: 评论
Program structure tree. Computing control regions in linear time
Program structure tree. Computing control regions in linear ...
收藏 引用
proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
作者: Johnson, Richard Pearson, David Pingali, Keshav Cornell Univ Ithaca United States
In this paper, we describe the program structure tree (PST), a hierarchical representation of program structure based on single entry single exit (SESE) regions of the control flow graph. We give a linear-time algorit... 详细信息
来源: 评论