咨询与建议

限定检索结果

文献类型

  • 1,152 篇 会议
  • 133 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,110 篇 工学
    • 1,036 篇 软件工程
    • 798 篇 计算机科学与技术...
    • 48 篇 控制科学与工程
    • 43 篇 电气工程
    • 36 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 6 篇 安全科学与工程
    • 5 篇 建筑学
    • 5 篇 土木工程
    • 5 篇 航空宇航科学与技...
    • 5 篇 生物工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 2 篇 力学(可授工学、理...
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 141 篇 理学
    • 117 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 89 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 15 篇 教育学
    • 15 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 180 篇 design
  • 167 篇 languages
  • 102 篇 computer program...
  • 99 篇 performance
  • 59 篇 algorithms
  • 49 篇 object oriented ...
  • 48 篇 computer program...
  • 45 篇 experimentation
  • 45 篇 java programming...
  • 39 篇 verification
  • 35 篇 reliability
  • 34 篇 java
  • 32 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 software design
  • 21 篇 theory
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 18 篇 type systems

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 12 篇 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 篇 microsoft res re...
  • 9 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 9 篇 microsoft resear...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...

作者

  • 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 篇 rajan hridesh
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,203 篇 英文
  • 81 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"
1285 条 记 录,以下是181-190 订阅
Programmable Semantic Fragments The design and implementation of typy  2016
Programmable Semantic Fragments The Design and Implementatio...
收藏 引用
15th acm International conference on Generative programming - Concepts and Experiences (GPCE)
作者: Omar, Cyrus Aldrich, Jonathan Carnegie Mellon Univ Pittsburgh PA 15213 USA
This paper introduces typy, a statically typed programming language embedded by reflection into Python. typy features a fragmentary semantics, i.e. it delegates semantic control over each term, drawn from Python's... 详细信息
来源: 评论
Recursion Synthesis with Unrealizability Witnesses  2022
Recursion Synthesis with Unrealizability Witnesses
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Farzan, Azadeh Lette, Danya Nicolet, Victor Univ Toronto Dept Comp Sci Toronto ON Canada
We propose SE(2)GIS, a novel inductive recursion synthesis approach with the ability to both synthesize code and declare a problem unsolvable. SE(2)GIS combines a symbolic variant of counterexample-guided inductive sy... 详细信息
来源: 评论
Profile guided code positioning  90
Profile guided code positioning
收藏 引用
proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Pettis, Karl Hansen, Robert C. Hewlett Packard Co California Language Lab Cupertino United States
This paper presents the results of our investigation of code positioning techniques using execution profile data as input into the compilation process. The primary objective of the positioning is to reduce the overhea... 详细信息
来源: 评论
Partial online cycle elimination in inclusion constraint graphs
Partial online cycle elimination in inclusion constraint gra...
收藏 引用
proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Faehndrich, Manuel Foster, Jeffrey S. Su, Zhendong Aiken, Alexander Univ of California Berkeley Berkeley United States
Many program analyses are naturally formulated and implemented using inclusion constraints. We present new results on the scalable implementation of such analyses based on two insights: first, that online elimination ... 详细信息
来源: 评论
A static analyzer for large safety-critical software  03
收藏 引用
conference on programming language design and implementation
作者: Blanchet, B Cousot, P Cousot, R Feret, J Mauborgne, L Miné, A Monniaux, D Rival, X CNRS F-75700 Paris France Ecole Normale Super Paris France Ecole Polytech F-91128 Palaiseau France
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false alarms. This is ... 详细信息
来源: 评论
Composable and compilable macros -: You want it when?
Composable and compilable macros -: You want it <i>when</i>?
收藏 引用
7th International conference on Functional programming
作者: Flatt, M Univ Utah Salt Lake City UT 84112 USA
Many macro systems, especially for Lisp and Scheme, allow macro transformers to perform general computation. Moreover, the language for implementing compile-time macro transformers is usually the same as the language ... 详细信息
来源: 评论
The spreadsheet paradigm: A basis for powerful and accessible programming
The spreadsheet paradigm: A basis for powerful and accessibl...
收藏 引用
acm sigplan International conference on Systems, programming, languages and Applications: Software for Humanity, SPLASH 2015
作者: Miller, Gary University of Technology Sydney Australia
This paper takes a cognition-centric approach for programming languages. It promotes the spreadsheet paradigm, with two concrete goals. First, it calls for the design and implementation of several language features to... 详细信息
来源: 评论
FAST: a Transducer-Based language for Tree Manipulation  14
FAST: a Transducer-Based Language for Tree Manipulation
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: D'Antoni, Loris Veanes, Margus Livshits, Benjamin Molnar, David Univ Penn Philadelphia PA 19104 USA
Tree automata and tree transducers are used in a wide range of applications in software engineering, from XML processing to language type-checking. While these formalisms are of immense practical use, they can only mo... 详细信息
来源: 评论
Frenetic: A Network programming language  11
Frenetic: A Network Programming Language
收藏 引用
16th acm sigplan International conference on Functional programming (ICFP 11)
作者: Foster, Nate Harrison, Rob Freedman, Michael J. Monsanto, Christopher Rexford, Jennifer Story, Alec Walker, David Cornell Univ Ithaca NY 14853 USA Princeton Univ Princeton NJ 08544 USA
Modern networks provide a variety of interrelated services including routing, traffic monitoring, load balancing, and access control. Unfortunately, the languages used to program today's networks lack modern featu... 详细信息
来源: 评论
Experience Report: seL4 Formally Verifying a High-Performance Microkernel
Experience Report: seL4 Formally Verifying a High-Performanc...
收藏 引用
14th acm sigplan International conference on Functional programming
作者: Klein, Gerwin Derrin, Philip Elphinstone, Kevin NICTA University of NSW Australia NICTA Australia
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. The verification connects an abstract operational specification in the theorem prov... 详细信息
来源: 评论