咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,046 篇 工学
    • 982 篇 软件工程
    • 752 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 42 篇 电气工程
    • 32 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 冶金工程
    • 2 篇 农业工程
  • 126 篇 理学
    • 106 篇 数学
    • 12 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 5 篇 生物学
    • 4 篇 化学
  • 81 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 36 篇 图书情报与档案管...
    • 26 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 100 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 39 篇 verification
  • 35 篇 java programming...
  • 34 篇 reliability
  • 29 篇 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
  • 8 篇 sarkar vivek
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav

语言

  • 1,132 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"
1210 条 记 录,以下是1061-1070 订阅
排序:
Dynamic program slicing  90
Dynamic program slicing
收藏 引用
proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Agrawal, Hiralal Horgan, Joseph R. Purdue Univ West Lafayette United States
Program slices are useful in debugging, testing, maintenance, and understanding of programs. The conventional notion of a program slice, the static slice, is the set of all statements that might affect the value of a ... 详细信息
来源: 评论
TYPE DECLARATIONS AS SUBTYPE CONSTRAINTS IN LOGIC programming  90
TYPE DECLARATIONS AS SUBTYPE CONSTRAINTS IN LOGIC PROGRAMMIN...
收藏 引用
1990 CONF OF THE SPECIAL INTEREST GROUP ON programming languageS OF THE ASSOC FOR COMPUTING MACHINERY : programming language design AND implementation
作者: JACOBS, D UNIV SO CALIF LOS ANGELESCA 90089
This paper presents a type system for logic programs that supports parametric polymorphism and subtypes. This system follows most knowledge representation and object-oriented schemes in that subtyping is name-based, i... 详细信息
来源: 评论
Identifying the semantic and textural differences between two versions of a program
Identifying the semantic and textural differences between tw...
收藏 引用
proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Horwitz, Susan Univ of Wisconsin-Madison Madison United States
Text-based file comparators (e.g., the Unix utility diff), are very general tools that can be applied to arbitrary files. However, using such tools to compare programs can be unsatisfactory because their only notion o... 详细信息
来源: 评论
SKILL: A CAD system extension language
SKILL: A CAD system extension language
收藏 引用
27th acm/IEEE design Automation conference
作者: Barnes, Timothy J. Cadence Design Systems Inc San Jose CA USA
SKILL is a programming language that supports both command entry and procedural customization in the Opus design Framework. The author examines the requirements that motivate the provision of a programming language av... 详细信息
来源: 评论
ITERATIVE TYPE ANALYSIS AND EXTENDED MESSAGE SPLITTING - OPTIMIZING DYNAMICALLY-TYPED OBJECT-ORIENTED PROGRAMS  90
ITERATIVE TYPE ANALYSIS AND EXTENDED MESSAGE SPLITTING - OPT...
收藏 引用
1990 CONF OF THE SPECIAL INTEREST GROUP ON programming languageS OF THE ASSOC FOR COMPUTING MACHINERY : programming language design AND implementation
作者: CHAMBERS, C UNGAR, D STANFORD UNIV COMP SYST LABSTANFORDCA 94305
Object-oriented languages have suffered from poor performance caused by frequent and slow dynamically-bound procedure calls. The best way to speed up a procedure call is to compile it out, but dynamic binding of objec... 详细信息
来源: 评论
The performance of an object-oriented threads package  90
The performance of an object-oriented threads package
收藏 引用
1990 European conference on Object-Oriented programming on Object-Oriented programming Systems, languages, and Applications, OOPSLA/ECOOP 1990
作者: Faust, John E. Levy, Henry M. Department of Computer Science and Engineering University of Washington SeattleWA98195 United States
Presto is an object-oriented threads package for writing parallel programs on a shared-memory multiprocessor. The system adds thread objects and synchronization objects to C++ to allow programmers to create and contro... 详细信息
来源: 评论
How to print floating-point numbers accurately
How to print floating-point numbers accurately
收藏 引用
proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Steele Jr., Guy L. White, Jon L. Thinking Machines Corp Cambridge United States
We present algorithms for accurately converting floating-point numbers to decimal representation. The key idea is to carry along with the computation an explicit representation of the required rounding accuracy. We be... 详细信息
来源: 评论
programming languages,OOP,and C+4  28
Programming languages,OOP,and C+4
收藏 引用
28th acm Annual Southeast Regional conference, acm-SE 1990
作者: Lessman, Roger Department of Computer Science Tennessee Technological University United States
The traditional core course entitled programming language is a natural setting for the study of the currently popular programming paradigms. Within this course, it is also necessary and convenient to introduce student... 详细信息
来源: 评论
Making asynchronous parallelism safe for the world
Making asynchronous parallelism safe for the world
收藏 引用
conference Record of the Seventeenth Annual acm Symposium on Principles of programming languages, POPL'90
作者: Steele, Guy L. Thinking Machines Corp MA United States
A programming model that combines the advantages of the synchronous and asynchronous parallel styles is proposed. Asynchronous threads of control, but shared-memory accesses and other side effects are restricted so as... 详细信息
来源: 评论
A tailored design language: Putting model based formal specification into practice
A tailored design language: Putting model based formal speci...
收藏 引用
conference on TRI-ADA 1990
作者: Lees, R.A. Computer Sciences of Australia St Leonards NSW Australia
This paper introduces a model based formal design language aimed at supporting the practical use of rigorous methods within an industrial framework. The language consists of a core that is tailored to suit particular ... 详细信息
来源: 评论