咨询与建议

限定检索结果

文献类型

  • 1,098 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,058 篇 工学
    • 998 篇 软件工程
    • 761 篇 计算机科学与技术...
    • 47 篇 控制科学与工程
    • 38 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 化学工程与技术
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 137 篇 理学
    • 113 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 化学
    • 4 篇 物理学
    • 2 篇 地质学
  • 86 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 30 篇 工商管理
  • 11 篇 教育学
    • 11 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 98 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 55 篇 object oriented ...
  • 49 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 28 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 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 篇 lam monica s.
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,151 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation"
1229 条 记 录,以下是981-990 订阅
排序:
design and implementation of HoME
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1992年 第7期27卷 44-44页
作者: Ogata, Kazuhiro Kurihara, Satoshi Inari, Mikio Doi, Norihisa
来源: 评论
Alphonse. Incremental computation as a programming abstraction
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1992年 第7期27卷 261-261页
作者: Hoover, Roger
来源: 评论
ISSUES IN THE design AND SPECIFICATION OF CLASS LIBRARIES  92
ISSUES IN THE DESIGN AND SPECIFICATION OF CLASS LIBRARIES
收藏 引用
7th conference on Object-Oriented programming Systems, languages, and Applications (OOPSLA 92)
作者: KICZALES, G LAMPING, J XEROX CORP PALO ALTO RES CTRPALO ALTOCA 94304
The design and specification of an extensible class library presents a difficult challenge: because extensibility comes from allowing the user to override parts of the implementation, more of the internal structure mu... 详细信息
来源: 评论
Rematerialization
Rematerialization
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Briggs, Preston Cooper, Keith D. Torczon, Linda Rice Univ Houston TX United States
This paper examines a problem that arises during global register allocation - rematerialization. If a value cannot be kept in a register, the allocator should recognize when it is cheaper to recompute the value (remat... 详细信息
来源: 评论
Compiler support for garbage collection in a statically typed language
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1992年 第7期27卷 273-273页
作者: Diwan, Amer Moss, Eliot Hudson, Richard
来源: 评论
Experimental evaluation of a generic abstract interpretation algorithm for Prolog
Experimental evaluation of a generic abstract interpretation...
收藏 引用
proceedings of the 1992 International conference on Computer languages
作者: Le Charlier, Baudouin Van Hentenryck, Pascal Inst d'Informatique Univ of Namur Belgium
The practical value of research involving the abstract interpretation of Prolog programs was examined experimentally. The design and implementation of the generic abstract interpretation algorithm originally proposed ... 详细信息
来源: 评论
Case study of object-oriented software development  92
Case study of object-oriented software development
收藏 引用
conference on Object-Oriented programming Systems, languages, and Applications - OOPSLA'92
作者: de Champeaux, Dennis Anderson, Al Feldhousen, Ed HP-Lab Palo Alto CA United States
These are the highlights of a successfully completed application of object-oriented software development for a new product. The project was of medium size, the duration was less than 24 months (from the end of the req... 详细信息
来源: 评论
Abstractions for recursive pointer data structures. Improving the analysis and transformation of imperative programs
Abstractions for recursive pointer data structures. Improvin...
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Hendren, Laurie J. Hummel, Joseph Nicolau, Alexandru McGill Univ
Even though impressive progress has been made in the area of optimizing and parallelizing programs with arrays, the application of similar techniques to programs with pointer data structures has remained difficult. In... 详细信息
来源: 评论
Semantic issues in the design of languages for debugging
Semantic issues in the design of languages for debugging
收藏 引用
proceedings of the 1992 International conference on Computer languages
作者: Crawford, Richard H. Olsson, Ronald A. Ho, W.Wilson Wee, Christopher E.
Some of the inherently difficult issues that will be faced by a designer of any imperative debugging language are surveyed. A powerful debugging language called GDL (General-purpose Debugging language) is outlined, th... 详细信息
来源: 评论
Experiences in object oriented development
Experiences in object oriented development
收藏 引用
1992 Annual International conference on TRI-Ada, TRI-Ada 1992
作者: Jurik, John A. Schemenaur, Roger S. LTV Aerospace and Defense Company PO BOX 650003 DallasTX75265-0003 United States
A wide variety of object-oriented (OO) methodologies and tools are currently available for software development Each methodology emphasizes various phases and activities of the software life cycle using different term... 详细信息
来源: 评论