咨询与建议

限定检索结果

文献类型

  • 278 篇 会议
  • 41 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 320 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 275 篇 工学
    • 267 篇 软件工程
    • 141 篇 计算机科学与技术...
    • 7 篇 电气工程
    • 3 篇 生物工程
    • 2 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 化学工程与技术
    • 1 篇 纺织科学与工程
    • 1 篇 生物医学工程(可授...
  • 10 篇 理学
    • 8 篇 数学
    • 1 篇 化学
    • 1 篇 地质学
    • 1 篇 生物学
  • 6 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 80 篇 design
  • 73 篇 languages
  • 32 篇 performance
  • 17 篇 verification
  • 16 篇 algorithms
  • 14 篇 reliability
  • 14 篇 probabilistic pr...
  • 13 篇 object oriented ...
  • 13 篇 program synthesi...
  • 13 篇 domain-specific ...
  • 13 篇 functional progr...
  • 11 篇 java
  • 10 篇 experimentation
  • 10 篇 programming lang...
  • 9 篇 type systems
  • 9 篇 theory
  • 9 篇 concurrency
  • 7 篇 compilers
  • 7 篇 optimization
  • 6 篇 modules

机构

  • 9 篇 carnegie mellon ...
  • 8 篇 purdue univ w la...
  • 6 篇 princeton univ p...
  • 5 篇 northeastern uni...
  • 5 篇 yale univ new ha...
  • 5 篇 harvard univ cam...
  • 5 篇 cornell univ ith...
  • 5 篇 univ washington ...
  • 5 篇 univ calif berke...
  • 4 篇 univ wisconsin m...
  • 4 篇 univ calif davis...
  • 4 篇 univ utah salt l...
  • 4 篇 univ penn philad...
  • 4 篇 rice univ housto...
  • 4 篇 univ chicago il ...
  • 4 篇 stanford univ st...
  • 4 篇 univ texas austi...
  • 3 篇 mit csail cambri...
  • 3 篇 univ cambridge c...
  • 3 篇 microsoft res re...

作者

  • 7 篇 walker david
  • 6 篇 foster nate
  • 5 篇 shao zhong
  • 5 篇 gulwani sumit
  • 5 篇 dillig isil
  • 4 篇 rainey mike
  • 4 篇 gu ronghui
  • 4 篇 rompf tiark
  • 4 篇 solar-lezama arm...
  • 4 篇 chaudhuri swarat
  • 4 篇 myers andrew c.
  • 4 篇 wansbrough keith
  • 3 篇 hirschfeld rober...
  • 3 篇 flatt matthew
  • 3 篇 rajamani sriram
  • 3 篇 seshia sanjit a.
  • 3 篇 rajan hridesh
  • 3 篇 huang jeff
  • 3 篇 liu yu david
  • 3 篇 vechev martin

语言

  • 283 篇 英文
  • 36 篇 其他
  • 1 篇 中文
检索条件"任意字段=37th ACM SIGPLAN Conference on Programming Language Design and Implementation"
320 条 记 录,以下是311-320 订阅
排序:
Extending SQL-92 for OODB access: design and implementation experience  95
Extending SQL-92 for OODB access: Design and implementation ...
收藏 引用
10th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1995
作者: Kiernan, Jerry Carey, Michael J. IBM Santa Teresa Lab. 555 Bailey Avenue San Jose CA 95141 United States IBM Almaden Research Center 650 Harry Road K55-B1 San Jose CA 95120 United States
this paper describes the design and implementation of a query engine that provides extended SQL-based access to the data managed by an object-oriented database system. this query engine allows extended SQL queries to ... 详细信息
来源: 评论
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, ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Composable attribute grammars: Support for modularity in translator design and implementation
Composable attribute grammars: Support for modularity in tra...
收藏 引用
19th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'92
作者: Farrow, R. Marlowe, T.J. Yellin, D.M. Declarative Systems Inc
this paper introduces Composable Attribute Grammars (CAGs), a formalism that extends classical attribute grammars to allow for the modular composition of translation specifications and of translators. CAGs bring to co... 详细信息
来源: 评论
Eliminating branches using a superoptimizer and the GNU C compiler
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1992年 第7期27卷 341-341页
作者: Granlund, Torbjoern Kenner, Richard Logic Programming and Parallel Systems Laboratory Swedish Institute of Computer Science S-164 28 Kista BOX 1263 Sweden Ultracomputer Research Laboratory New York University New York NY 10003 715 Broadway 10th Floor United States
来源: 评论
An extension of Standard ML modules with subtyping and inheritance  91
An extension of Standard ML modules with subtyping and inher...
收藏 引用
18th acm sigplan-SIGACT Symposium on Principles of programming languages, POPL 1991
作者: Mitchell, John Meldal, Sigurd Madhav, Neel Dept. of Computer Science Stanford University StanfordCA94305 United States Dept. of Informatics University of Bergen Bergen Norway
We describe a general module language integrating abstract data types, specifications and object-oriented concepts. the framework is based on the Standard ML module system, with three main extensions: subtyping, a for... 详细信息
来源: 评论
programming aspects of VLSI  82
Programming aspects of VLSI
收藏 引用
9th acm sigplan-SIGACT Symposium on Principles of programming languages, POPL 1982
作者: Lipton, Richard J. Sedgewick, Robert Valdes, Jacobo Department of Electrical Engineering and Computer Science Princeton University PrincetonNJ United States Computer Science Department Brown University ProvidenceRI United States
Two components of a VLSI design environment being built at Princeton are described. the general theme of this effort is to make the design of VLSI circuits as similar to programming as possible. A conscious attempt is... 详细信息
来源: 评论
the smalitalk-76 programming system design and implementation  5
The smalitalk-76 programming system design and implementatio...
收藏 引用
5th acm SIGACT-sigplan Symposium on Principles of programming languages, POPL 1978
作者: Ingalls, Daniel H. H. XEROX Palo Alto Research Center Palo AltoCA United States
this paper describes a programming system based on the metaphor of communicating objects. Experience with a running system shows that this model provides flexibility, modularity and compactness. A compiled representat... 详细信息
来源: 评论
Advanced Information Systems Engineering Workshops  1
Advanced Information Systems Engineering Workshops
收藏 引用
丛书名: Lecture Notes in Business Information Processing
1000年
作者: Jānis Grabis Yves Wautelet
this book constitutes the thoroughly refereed proceedings of the international workshops associated with the 37th International conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vie... 详细信息
来源: 评论