咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 166 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 74 篇 computer program...
  • 56 篇 algorithms
  • 45 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 36 篇 reliability
  • 34 篇 object oriented ...
  • 27 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 19 篇 concurrency
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ washington ...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 gulwani sumit
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是331-340 订阅
排序:
Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml language Extension for the Run-Time Generation of Mathematical Contents and their Presentation on the Web  11
Using Camlp4 for Presenting Dynamic Mathematics on the Web: ...
收藏 引用
16th acm sigplan International conference on Functional programming (ICFP 11)
作者: Chyzak, Frederic Darrasse, Alexis INRIA Rocquencourt France
We report on the design and implementation of a programming tool, DynaMoW, to control interactive and incremental mathematical calculations to be presented on the web. This tool is implemented as a language extension ... 详细信息
来源: 评论
Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic  11
Mostly-Automated Verification of Low-Level Programs in Compu...
收藏 引用
32nd acm sigplan conference on programming language design and implementation (PLDI 11)
作者: Chlipala, Adam Harvard Univ Cambridge MA 02138 USA
Several recent projects have shown the feasibility of verifying low-level systems software. Verifications based on automated theorem-proving have omitted reasoning about first-class code pointers, which is critical fo... 详细信息
来源: 评论
Caisson: A Hardware Description language for Secure Information Flow  11
Caisson: A Hardware Description Language for Secure Informat...
收藏 引用
32nd acm sigplan conference on programming language design and implementation (PLDI 11)
作者: Li, Xun Tiwari, Mohit Oberg, Jason K. Kashyap, Vineeth Chong, Frederic T. Sherwood, Timothy Hardekopf, Ben Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system's root of trust. We incorporate insights a... 详细信息
来源: 评论
Commutative Set: A language Extension for Implicit Parallel programming  11
Commutative Set: A Language Extension for Implicit Parallel ...
收藏 引用
32nd acm sigplan conference on programming language design and implementation (PLDI 11)
作者: Prabhu, Prakash Ghosh, Soumyadeep Zhang, Yun Johnson, Nick P. August, David I. Princeton Univ Princeton NJ 08544 USA
Sequential programming models express a total program order, of which a partial order must be respected. This inhibits parallelizing tools from extracting scalable performance. Programmer written semantic commutativit... 详细信息
来源: 评论
Backstage Java Making a Difference in Metaprogramming  11
Backstage Java Making a Difference in Metaprogramming
收藏 引用
2011 acm International conference on Object Oriented programming Systems languages and Applications
作者: Palmer, Zachary Smith, Scott F. Johns Hopkins Univ Baltimore MD 21218 USA
We propose Backstage Java (BSJ), a Java language extension which allows algorithmic, contextually-aware generation and transformation of code. BSJ explicitly and concisely represents design patterns and other encoding... 详细信息
来源: 评论
Forest: A language and Toolkit for programming with Filestores  11
Forest: A Language and Toolkit for Programming with Filestor...
收藏 引用
16th acm sigplan International conference on Functional programming (ICFP 11)
作者: Fisher, Kathleen Foster, Nate Walker, David Zhu, Kenny Q. Tufts Univ Medford MA 02155 USA
A filestore is a structured collection of data files housed in a conventional hierarchical file system. Many applications use filestores as a poor-man's database, and the correct execution of these applications re... 详细信息
来源: 评论
Flexible Object Layouts Enabling Lightweight language Extensions by Intercepting Slot Access  11
Flexible Object Layouts Enabling Lightweight Language Extens...
收藏 引用
2011 acm International conference on Object Oriented programming Systems languages and Applications
作者: Verwaest, Toon Lungu, Mircea Nierstrasz, Oscar Bruni, Camillo Univ Bern Software Composit Grp CH-3012 Bern Switzerland INRIA Lille Nord Europe RMoD Lille France
programming idioms, design patterns and application libraries often introduce cumbersome and repetitive boilerplate code to a software system. language extensions and external DSLs (domain specific languages) are some... 详细信息
来源: 评论
Integrated language Definition Testing Enabling Test-Driven language Development  11
Integrated Language Definition Testing Enabling Test-Driven ...
收藏 引用
2011 acm International conference on Object Oriented programming Systems languages and Applications
作者: Kats, Lennart C. L. Vermaas, Rob Visser, Eelco Delft Univ Technol NL-2600 AA Delft Netherlands
The reliability of compilers, interpreters, and development environments for programming languages is essential for effective software development and maintenance. They are often tested only as an afterthought. Langua... 详细信息
来源: 评论
Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs  10
Lightweight Modular Staging: A Pragmatic Approach to Runtime...
收藏 引用
9th International conference on Generative programming and Component Engineering
作者: Rompf, Tiark Odersky, Martin Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland
Software engineering demands generality and abstraction, performance demands specialization and concretization. Generative programming can provide both, but developing high-quality program generators takes a large eff... 详细信息
来源: 评论
Sal/Svm: An assembly language and virtual machine for computing with non-enumerated sets
Sal/Svm: An assembly language and virtual machine for comput...
收藏 引用
4th Workshop on Virtual Machines and Intermediate languages, VMIL 2010, Held at the 1st acm sigplan conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH 2010
作者: Stanley-Marbell, Phillip IBM Research-Zürich Säumerstrasse 4 8803 Rüschlikon Switzerland
Presented is the design, implementation and evaluation of a system for computing with non-enumerative set representations. The implementation is in the form of a set assembly language (Sal) whose operations correspond... 详细信息
来源: 评论