咨询与建议

限定检索结果

文献类型

  • 1,118 篇 会议
  • 137 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1,082 篇 工学
    • 1,011 篇 软件工程
    • 776 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 42 篇 电气工程
    • 40 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 132 篇 理学
    • 112 篇 数学
    • 13 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 生物学
    • 4 篇 物理学
    • 4 篇 化学
  • 88 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 40 篇 图书情报与档案管...
    • 29 篇 工商管理
  • 13 篇 教育学
    • 13 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 185 篇 design
  • 173 篇 languages
  • 102 篇 performance
  • 96 篇 computer program...
  • 62 篇 algorithms
  • 50 篇 computer program...
  • 47 篇 object oriented ...
  • 46 篇 experimentation
  • 43 篇 java programming...
  • 40 篇 verification
  • 35 篇 reliability
  • 32 篇 functional progr...
  • 31 篇 java
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 21 篇 domain-specific ...
  • 20 篇 measurement
  • 20 篇 concurrency
  • 19 篇 theory
  • 19 篇 c (programming l...

机构

  • 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 篇 mit cambridge ma...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 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,174 篇 英文
  • 81 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation"
1256 条 记 录,以下是931-940 订阅
排序:
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications  11
Leveraging Software Architectures to Guide and Verify the De...
收藏 引用
33rd International conference on Software Engineering (ICSE)
作者: Cassou, Damien Balland, Emilie Consel, Charles Lawall, Julia Univ Bordeaux INRIA Bordeaux France INRIA LIP6 DIKU Paris France
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key ele... 详细信息
来源: 评论
acm International conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
11th Central and Eastern European Software Engineering conference in Russia, CEE-SECR 2015
The proceedings contain 11 papers. The topics discussed include: securing outsourced database: architecture for protected web resource;implementation of request switch in PleskFS file system;automatic request analyzer...
来源: 评论
Quipper: A Scalable Quantum programming language  13
Quipper: A Scalable Quantum Programming Language
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Alexander S. Green Peter LeFanu Lumsdaine Neil J. Ross Peter Selinger Benoit Valiron Dalhousie University Institute of Advanced Studies University of Pennsylvania
The field of quantum algorithms is vibrant. Still, there is currently a lack of programming languages for describing quantum computation on a practical scale, i.e., not just at the level of toy problems. We address th... 详细信息
来源: 评论
Context-oriented software engineering: A modularity vision  14
Context-oriented software engineering: A modularity vision
收藏 引用
13th International conference on Modularity, MODULARITY 2014 (Formerly AOSD)
作者: Kamina, Tetsuo Aotani, Tomoyuki Masuhara, Hidehiko Tamai, Tetsuo University of Tokyo Japan Tokyo Institute of Technology Japan Hosei University Japan
There are a number of constructs to implement context-dependent behavior, such as conditional branches using if statements, method dispatching in object-oriented programming (such as the state design pattern), dynamic... 详细信息
来源: 评论
Contracts for Modular Discrete Controller Synthesis
收藏 引用
acm sigplan NOTICES 2010年 第4期45卷 57-66页
作者: Delaval, Gwenael Marchand, Herve Rutten, Eric INRIA Grenoble France INRIA Rennes France
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedded systems, and involves principles of... 详细信息
来源: 评论
The design and implementation of a table driven compiler system
The design and implementation of a table driven compiler sys...
收藏 引用
1967 Spring Joint Computer conference, AFIPS 1967
作者: Liu, C.L. Chang, G.D. Marks, R.E. Massachusetts Institute of Technology CambridgeMA United States University of Illinois UrbanaIL United States
The broader application of digital computers to various areas of studies has prompted the design and usage of special purpose problem-oriented programming languages. Although designing and writing a compiler for a spe... 详细信息
来源: 评论
Refined types: highly differentiated type systems and their use in the design of intermediate languages  88
Refined types: highly differentiated type systems and their ...
收藏 引用
proceedings of the acm sigplan 1988 conference on programming language design and implementation
作者: J. R. Rose Thinking Machines Corporation Cambridge MA
来源: 评论
design and implementation of a language-complete C++ semantic graph  12
Design and implementation of a language-complete C++ semanti...
收藏 引用
50th Annual Association for Computing Machinery Southeast conference, acm-SE'12
作者: Duffy, Edward B. Malloy, Brian A. School of Computing Clemson University Clemson SC 29634 United States
In this paper, we describe a system, Hylian, for construction of a language-complete abstract semantic graph that can be used for statement-level analysis, both static and dynamic, of a C++ application. We begin by ex... 详细信息
来源: 评论
Reflections on courses for software language engineering
Reflections on courses for software language engineering
收藏 引用
MODELS Educators Symposium, EduSymp 2014 - Co-located with the acm/IEEE 17th International conference on Model Driven Engineering languages and Systems, MODELS 2014
作者: Bagge, Anya Helene Lämmel, Ralf Zaytsev, Vadim Bergen Language Design Laboratory University of Bergen Norway Software Languages Team University of Koblenz-Landau Germany Institute of Informatics Universiteit van Amsterdam Netherlands
Software language Engineering (SLE) has emerged as a field in computer science research and software engineering, but it has yet to become entrenched as part of the standard curriculum at universities. Many places hav... 详细信息
来源: 评论
proceedings - 2024 32nd IEEE/acm International conference on Program Comprehension, ICPC 2024
Proceedings - 2024 32nd IEEE/ACM International Conference on...
收藏 引用
32nd IEEE/acm International conference on Program Comprehension, ICPC 2024
The proceedings contain 46 papers. The topics discussed include: exploring and improving code completion for test code;on the generalizability of deep learning-based code completion across programming language version...
来源: 评论