咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是951-960 订阅
排序:
Ada 9x: From abstraction-oriented to object-oriented  8
Ada 9x: From abstraction-oriented to object-oriented
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Taft, S. Tucker Intermetrics Inc. 733 Concord Avenue CambridgeMA02138 United States
Ada 83 is an abstraction-oriented programming language. It supports the definition of abstract data types in modules called "packages," with a separate interface and implementation. The next revision of the ... 详细信息
来源: 评论
Communicating reactive processes  93
Communicating reactive processes
收藏 引用
20th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'93
作者: Berry, G. Ramesh, S. Shyamasundar, R.K. Ecole des Mines Sophia-Antipolis France
We present a new programming paradigm called Communicating Reactive Processes or CRP that unifies the capabilities of asynchronous and synchronous concurrent programming languages. Asynchronous languages such as CSP, ... 详细信息
来源: 评论
Strongtalk: Typechecking smalltalk in a production environment  8
Strongtalk: Typechecking smalltalk in a production environme...
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Bracha, Gilad Griswold, David Horizon Technologies of New York Inc. 38 W. 32nd St. New YorkNY10001 United States
Strongtalk™ is a typechecker for a downwardcompatible Smalltalk dialect. It is designed for large-scale production software development, and incorporates a strong, modem structural type system. It not only separates t... 详细信息
来源: 评论
Practical data breakpoints: design and implementation
Practical data breakpoints: Design and implementation
收藏 引用
acm sigplan '93 conference on programming language design and implementation, PLDI 1993
作者: Wahbe, Robert Lucco, Steven Graham, Susan L. Univ of California at Berkeley Berkeley CA United States
A data breakpoint associates debugging actions with programmer-specified conditions on the memory state of an executing program. Data breakpoints provide a means for discovering program bugs that are tedious or imposs... 详细信息
来源: 评论
Experiences developing and using an object-oriented library for program manipulation  93
Experiences developing and using an object-oriented library ...
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Bingham, Tim Hobbs, Nancy Husson, Dave Software Development Technologies Digital Equipment Corporation 110 Spitbrook Road M/S ZK02-3/K6 NashuaNH03060-2698 United States
Using an Object-Oriented (OO) model, we developed an architecture for an extensible and portable class library designed to build applications mat manipulate programs. This library enables applications to manipulate st... 详细信息
来源: 评论
Ada - The project the DoD high order language working group  2
Ada - The project the DoD high order language working group
收藏 引用
2nd acm sigplan conference on History of programming languages, HOPL 1993
作者: Whhaker, William A. Colonel USAF PO Box 3036 McLeanVA22103 United States
The Department of Defense PoD) High Order language *** program begin in 1975 with the goal of establishing a single high order computer programming language appropriate for DoD real-time embedded computer systems. A H... 详细信息
来源: 评论
Safe type checking in a statically-typed object-oriented programming language  93
Safe type checking in a statically-typed object-oriented pro...
收藏 引用
20th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'93
作者: Bruce, Kim B. Williams Coll Williamstown MA United States
In this paper we introduce a statically-typed, functional, object-oriented programming language, TOOPL, which supports classes, objects, methods, instance variables, subtypes, and inheritance. It has proved to be surp... 详细信息
来源: 评论
SKILL: A Lisp based extension language
SKILL: A Lisp based extension language
收藏 引用
3rd International conference on Lisp Users and Vendors, LUV 1993
作者: Petrus, Edwin S. Cadence Design Systems Inc. 555 River Oaks Parkway San Jose CA 95134 United States
This paper describes an experience with Lisp as an extension language for a large electronics CAD environment and the role it plays in software design automation. This paper is not about extension languages in general... 详细信息
来源: 评论
Object distribution in Orca using compile-time and run-time techniques  8
Object distribution in Orca using compile-time and run-time ...
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Bal, Henri E. Kaashoek, M. Frans Vrije Universiteit Dept. of Mathematics and Computer Science Amsterdam Netherlands M.I.T. Laboratory for Computer Science CambridgeMA United States
Orca is a language for parallel programming on distributed systems. Communication in Orca is based on shared data-objects, which is a form of distributed shared memory. The performance of Orca programs depends strongl... 详细信息
来源: 评论
Object fault handling for persistent programming languages: A performance evaluation  8
Object fault handling for persistent programming languages: ...
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Hosking, Antony L. Moss, J. Eliot B. Object Systems Laboratory Department of Computer Science University of Massachusetts AmherstMA01003 United States
A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the programmer, allowing the transparent manip... 详细信息
来源: 评论