咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1141-1150 订阅
排序:
proceedings of the 1986 acm conference on LISP and Functional programming, LFP 1986
Proceedings of the 1986 ACM Conference on LISP and Functiona...
收藏 引用
1986 acm conference on LISP and Functional programming, LFP 1986
The proceedings contain 32 papers. The topics discussed include: a simple applicative language: Mini-ML;the CURRY Chip;desiderata for the standardisation of LISP;laws in Miranda;variations on strictness analysis;exper...
来源: 评论
proceedings of the conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA
Proceedings of the Conference on Object-Oriented Programming...
收藏 引用
conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1986
The proceedings contain 49 papers. The topics discussed include: Petri net-based object-oriented modelling of distributed systems;the application accelerator illustration system;a smalltalk system for algebraic manipu...
来源: 评论
programming for observability support in a parallel programming environment  86
Programming for observability support in a parallel programm...
收藏 引用
1986 acm 14th Annual conference on Computer Science, CSC 1986
作者: Gregoretti, Francesco Segall, Zary Department of Computer Science Pittsburgh Carnegie Mellon University PA United States
The programming for observability concept for performance/correctness debugging in a parallel programming environment is introduced. The design, first implementation, and evaluation of the required language and system... 详细信息
来源: 评论
JAPANESE APL language SYSTEM ON IBM MULTISTATION 5550.  86
JAPANESE APL LANGUAGE SYSTEM ON IBM MULTISTATION 5550.
收藏 引用
APL86 conference proceedings: APL in Action.
作者: Udo, M. Akimoto, Y. Kaneko, S. Sanuki, T. Alfonseca, M. IBM Japan Ltd Tokyo Jpn IBM Japan Ltd Tokyo Jpn
This paper exemplifies the national language support of a programming language by describing the implementation of APL with a language facility for processing Japanese characters: that is, a character set that has wid... 详细信息
来源: 评论
INTERACTIVE PROTOTYPING ENVIRONMENT FOR language design.
INTERACTIVE PROTOTYPING ENVIRONMENT FOR LANGUAGE DESIGN.
收藏 引用
proceedings of the Nineteenth Hawaii International conference on System Sciences 1986. Volume 3: Healthcare Management Systems, Medical Information Processing.
作者: Feiler, Peter H. Jalili, Fahimeh Schlichter, Johann H. Siemens Corporate Research & Support Inc Princeton NJ USA Siemens Corporate Research & Support Inc Princeton NJ USA
This paper discusses an interactive prototyping environment for language design. An implementation of this language prototyping environment is operational and in use. The prototyping environment is structure editor ba... 详细信息
来源: 评论
KNOWLEDGE-BASED EXPERT SYSTEM FOR HARDWARE LOGIC design.
收藏 引用
1986 proceedings - Fall Joint Computer conference.
作者: Mano, Tamio Maruyama, Fumihiro Hayashi, Kazushi Kakuda, Taeko Kawato, Nobuaki Uehara, Takao Fujitsu Ltd Kawasaki Jpn Fujitsu Ltd Kawasaki Jpn
The authors have developed a knowledge-based expert system that designs CMOS circuits from a concurrent algorithm written in the Occam high-level programming language. The system aims at supporting the entire design p... 详细信息
来源: 评论
programming WITH INVARIANTS.
PROGRAMMING WITH INVARIANTS.
收藏 引用
proceedings of the Nineteenth Hawaii International conference on System Sciences 1986. Volume 3: Healthcare Management Systems, Medical Information Processing.
作者: Paige, Robert Rutgers Univ New Brunswick NJ USA Rutgers Univ New Brunswick NJ USA
Although it is widely accepted that invariants play a major role in the design of efficient algorithms and software systems, the programming languages in common use do not incorporate invariants as primitives. This pa... 详细信息
来源: 评论
SYNTHESIZING VLSI ARCHITECTURES: DYNAMIC programming SOLVER.
SYNTHESIZING VLSI ARCHITECTURES: DYNAMIC PROGRAMMING SOLVER.
收藏 引用
proceedings of the 1986 International conference on Parallel Processing.
作者: Chen, Marina C. Yale Univ New Haven CT USA Yale Univ New Haven CT USA
A design methodology for synthesizing efficient parallel algorithms and architectures from problem definitions specified in the language Crystal is presented. First, transformations on a problem definition to programs... 详细信息
来源: 评论
The design and implementation of Concurrent Smalltalk  86
The design and implementation of Concurrent Smalltalk
收藏 引用
conference proceedings on Object-oriented programming systems, languages and applications
作者: Yasuhiko Yokote Mario Tokoro Keio Univ. Japan
ConcurrentSmalltalk is a programming language/system which incorporates the facilities of concurrent programming in Smalltalk-801. Such facilities are realized by providing concurrent constructs and atomic objects. Th...
来源: 评论
INTERACTIVE FLOWCHARTING TECHNIQUE FOR COMMUNICATING AND REALIZING ALGORITHMS.
INTERACTIVE FLOWCHARTING TECHNIQUE FOR COMMUNICATING AND REA...
收藏 引用
proceedings of the Nineteenth Hawaii International conference on System Sciences 1986. Volume 3: Healthcare Management Systems, Medical Information Processing.
作者: Jonsson, Arne Patel, Mikael Linkoping Univ Linkoping Swed Linkoping Univ Linkoping Swed
This paper describes the design, specification, implementation of and experiences from an interactive flowcharting technique for communicating and realizing algorithms. Educating the expert to know how to use the comp... 详细信息
来源: 评论