咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是941-950 订阅
排序:
The development of the C language  2
The development of the C language
收藏 引用
2nd acm sigplan conference on History of programming languages, HOPL 1993
作者: Ritchie, Dennis M. AT and T dell Laboratories Murray HillNJ07974 United States
The C programming language was devised in liie early 1970s as a system implementation language for the nascent Unix operating system. Derived from the typeless language BCPL, il evolved a type structure;created on a t... 详细信息
来源: 评论
History of the icon programming language  2
History of the icon programming language
收藏 引用
2nd acm sigplan conference on History of programming languages, HOPL 1993
作者: Ghswold, Ralph E. Griswold, Madge T. Department of Computer Science University of Arizona TucsonAZ85721 United States
The Icon programming language, which was conceived in 1977, was strongly influenced by the earlier SNOBOL languages and the subsequent SLS. This paper concentrates primarily on the early development of Icon, but also ... 详细信息
来源: 评论
Charm++: A portable concurrent object oriented system based on C++  8
Charm++: A portable concurrent object oriented system based ...
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Kale, Laxmikant V. Krishnan, Sanjeev Department of Computer Science University of Illinois Urbana-Champaign United States
We describe Charm++, an object oriented portable parallel programming language based on C++. Its design philosophy, implementation, sample applications and their performance on various parallel machines are described.... 详细信息
来源: 评论
proceedings of the 6th International conference on Functional programming languages and Computer Architecture (FPCA '93)
Proceedings of the 6th International Conference on Functiona...
收藏 引用
proceedings of the 6th International conference on Functional programming languages and Computer Architecture (FPCA '93)
The conference materials contain 33 papers. The topics covered include experience with functional programming applications, theory and implementation of types, storage reclamation, semantics analysis of imperative ext... 详细信息
来源: 评论
Recollections about the development of pascal  2
Recollections about the development of pascal
收藏 引用
2nd acm sigplan conference on History of programming languages, HOPL 1993
作者: Wirth, N. Institut für Computer systeme E7H Zürich ZürichCH-8092 Switzerland
Pascal was defined in 1970 and, after a slow start, becane one of the most widely used languages n introductoiy programming courses. This a/tide first summarises the events leading to Pascal's design and implement... 详细信息
来源: 评论
IMPLEMENTING TYPE CLASSES  93
IMPLEMENTING TYPE CLASSES
收藏 引用
CONF ON programming language design AND implementation
作者: PETERSON, J JONES, M YALE UNIV DEPT COMP SCINEW HAVENCT 06520
We describe the implementation of a type checker for the functional programming language Haskell that supports the use of type classes. This extends the type system of ML to support overloading (ad-hoc polymorphism) a... 详细信息
来源: 评论
Widening the representation bottleneck: A functional implementation of relational programming
Widening the representation bottleneck: A functional impleme...
收藏 引用
proceedings of the 6th International conference on Functional programming languages and Computer Architecture (FPCA '93)
作者: Cattrall, Dave Runciman, Colin Univ of York York United Kingdom
Relational programming is a generalization of functional programming that includes aspects of logic programming. We describe a relational language, Drusilla, that retains the lazy, polymorphic and higher-order aspects... 详细信息
来源: 评论
Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages  8
Highly efficient and encapsulated re-use of synchronization ...
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Matsuoka, Satoshi Taura, Kenjiro Yonezawa, Akinori Department of Information Science University of Tokyo Japan
Re-use of synchronization code in concurrent 00-languages has been considered difficult due to inheritance anomaly, which we minimize with our new proposal. designed with high practicality in mind, we propose language... 详细信息
来源: 评论
COMPILING REAL-TIME PROGRAMS INTO SCHEDULABLE CODE  93
COMPILING REAL-TIME PROGRAMS INTO SCHEDULABLE CODE
收藏 引用
CONF ON programming language design AND implementation
作者: HONG, S GERBER, R UNIV MARYLAND DEPT COMP SCICOLL PKMD 20742
We present a programming language with first-class timing constructs, whose semantics is based on time-constrained relationships between observable events. Since a system specification postulates timing relationships ... 详细信息
来源: 评论
Concurrent, generational garbage collector for a multithreaded implementation of ML
Concurrent, generational garbage collector for a multithread...
收藏 引用
20th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'93
作者: Doligez, Damien Leroy, Xavier Ecole Normale Superieure and INRIA Rocquencourt Le Chesnay France
This paper presents the design and implementation of a `quasi real-time' garbage collector for Concurrent Caml Light, an implementation of ML with threads. This two-generation system combines a fast, asynchronous ... 详细信息
来源: 评论