咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,228 篇 电子文献
  • 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,150 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"
1228 条 记 录,以下是971-980 订阅
排序:
Forth, metaWINDOW, and GUI design  4
Forth, metaWINDOW, and GUI design
收藏 引用
4th Annual Workshop for the acm Special Interest Group on Forth, FORTH 1992
作者: Lopez, P.D. Eleusinian Enterprises 7997 Phaeton Drive OaklandCA94605-4212 United States
ELUS by Eleusinian Enterprises is discussed as an example of a mixed language Forth implementation which includes its own GUI toolkit, the Interactive Screen designer. The linked MetaWINDOW graphics library (Metagraph... 详细信息
来源: 评论
Visual conventions for system design using Ada 9X: Representing asynchronous transfer of control
Visual conventions for system design using Ada 9X: Represent...
收藏 引用
1993 conference on TRI-Ada, TRI-Ada 1993
作者: Nickerson, Jeffrey V. New York University United States
来源: 评论
design and implementation of a distributed graphics language
Design and implementation of a distributed graphics language
收藏 引用
proceedings of the 1993 IEEE Region 10 conference on Computer, Communication, Control and Power Engineering (TENCON '93). Part 1 (of 5)
作者: Pan, Zhigeng Shi, Jiaoying Hu, Binfong Zhejiang Univ Hangzhou China
In this paper, we present a distributed graphics programming language called DGLa, which facilitates the development of distributed graphics application. DGLa is an upward compatible extension of programming language ... 详细信息
来源: 评论
Automating the Ada programming process: A domain-specific approach
Automating the Ada programming process: A domain-specific ap...
收藏 引用
1993 conference on TRI-Ada, TRI-Ada 1993
作者: Grossman, Fred Klerer, Robert J. Engle, Charles B. Pace University School of Computer Science and Information Systems 1 Martine Avenue White PlainsNY10606 United States Iona College Department of Computer Science New RochelleNY10801 United States Florida Institute of Technology Department of Computer Science MelbourneFL32901 United States
This paper addresses the problem of automating the process of programming in general, and offers a solution for the scientific computation application domain. The goal of an automated programming system is to minimize... 详细信息
来源: 评论
Roman-9X: A technique for representing object models in Ada 9X notation
Roman-9X: A technique for representing object models in Ada ...
收藏 引用
1993 conference on TRI-Ada, TRI-Ada 1993
作者: Cernosek, Gary J. Fastrak Training Inc. M/C 6-W 2224 Bay Area Blvd. HoustonTX77058 United States
An object model describes the objects and classes in a system and their relationships among one another. When the desired implementation language is Ada 83, the software designer cannot directly implement the inherita... 详细信息
来源: 评论
Promise of multiparadigm languages as pedagogical tools
Promise of multiparadigm languages as pedagogical tools
收藏 引用
proceedings of the 21st Annual Computer Science conference
作者: Placer, John Northern Arizona Univ Flagstaff United States
This paper presents a discussion of why languages that support multiple paradigms (i.e. multiparadigm languages) have the potential to be good pedagogical tools for teaching programming skills. Several examples are gi... 详细信息
来源: 评论
Network programming support with object-oriented paradigm
Network programming support with object-oriented paradigm
收藏 引用
1993 Phoenix conference on Computers and Communications, PCCC 1993
作者: Yuasa, Kei Sinha, Pradeep Kumar Tokyo Information Systems Research Laboratory Matsushita Electric Industrial Co. Ltd. 4-5-15 Higashi-Shinagawa Tokyo140 Japan
The authors describe the design and implementation of the MONARCH system, which is a network programming support based on an object-oriented paradigm. As a popular programming aid for network applications, the RPC (re... 详细信息
来源: 评论
BEPPO: A data model for design representation
BEPPO: A data model for design representation
收藏 引用
proceedings of the European design Automation conference
作者: Schettler, Olav Redenfeld, Ansgar Inst for System Design Technology Sankt Augustin Germany
In this paper we present a data model for design representation, BEPPO (Basic, Efficient, Portable, Persistent Objects) provides a data model, schema language and schema invariant programming interface geared towards ... 详细信息
来源: 评论
High performance Fortran: Implementor and users workshop
High performance Fortran: Implementor and users workshop
收藏 引用
proceedings of the Supercomputing '93 conference
作者: Choudhary, Alok Koelbel, Charles Zosel, Mary Syracuse Univ Syracuse United States
High Performance Fortran (HPF) is anticipated to be an industry-wide standard language protable from workstations to massively parallel supercomputers, impelemented by many vendors. Functions needed on the highest-per... 详细信息
来源: 评论
PDAS: Processor design automation system
PDAS: Processor design automation system
收藏 引用
proceedings of the European design Automation conference
作者: Pyo, I. Despain, A.M. Univ of Southern California
The PDAS (Processor design Automation System) is a new approach to design automation that employs formal methods to achieve a new level of design power and the ability to formally validate designs. Our idea is to deve... 详细信息
来源: 评论