咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是451-460 订阅
排序:
Jinn: Synthesizing Dynamic Bug Detectors for Foreign language Interfaces  10
Jinn: Synthesizing Dynamic Bug Detectors for Foreign Languag...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Lee, Byeongcheol Wiedermann, Ben Hirzel, Martin Grimm, Robert McKinley, Kathryn S. Univ Texas Austin Austin TX 78712 USA
programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, composing languages is not, and this poor sp... 详细信息
来源: 评论
Evaluating Iterative Optimization Across 1000 Data Sets  10
Evaluating Iterative Optimization Across 1000 Data Sets
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Chen, Yang Huang, Yuanjie Eeckhout, Lieven Fursin, Grigori Peng, Liang Temam, Olivier Wu, Chengyong Chinese Acad Sci ICT LCSA Key Lab Comp Syst & Architecture Beijing Peoples R China Chinese Acad Sci Grad Sch Beijing Peoples R China INRIA Saclay France Univ Ghent Ghent Belgium
While iterative optimization has become a popular compiler optimization approach, it is based on a premise which has never been truly evaluated: that it is possible to learn the best compiler optimizations across data... 详细信息
来源: 评论
language extension and composition with language workbenches
Language extension and composition with language workbenches
收藏 引用
acm International conference Companion on Object Oriented programming Systems languages and Applications Companion, SPLASH '10
作者: Völter, Markus Visser, Eelco Independent/Itemis Germany Delft University of Technology Netherlands
Domain-specific languages (DSLs) provide high expressive power focused on a particular problem domain. They provide linguistic abstractions and specialized syntax specifically designed for a domain, allowing developer... 详细信息
来源: 评论
Cross-language, Type-Safe, and Transparent Object Sharing For Co-Located Managed Runtimes  10
Cross-Language, Type-Safe, and Transparent Object Sharing Fo...
收藏 引用
conference on Object Oriented programming Systems, languages and Applications/SPLASH 2010
作者: Wegiel, Michal Krintz, Chandra Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming languages and to architect systems that compr... 详细信息
来源: 评论
Task Types for Pervasive Atomicity  10
Task Types for Pervasive Atomicity
收藏 引用
conference on Object Oriented programming Systems, languages and Applications/SPLASH 2010
作者: Kulkarni, Aditya Liu, Yu David Smith, Scott F. SUNY Binghamton Binghamton NY 13902 USA Johns Hopkins Univ Baltimore MD 21218 USA
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the number of possible interleavings the pro... 详细信息
来源: 评论
SPUR: A Trace-Based JIT Compiler for CIL  10
SPUR: A Trace-Based JIT Compiler for CIL
收藏 引用
conference on Object Oriented programming Systems, languages and Applications/SPLASH 2010
作者: Bebenita, Michael Brandner, Florian Fahndrich, Manuel Logozzo, Francesco Schulte, Wolfram Tillmann, Nikolai Venter, Herman Microsoft Research Redmond WA USA
Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) in running programs and focus their optimization effort by emitting optimized machine code specialized to these traces.... 详细信息
来源: 评论
Implicitly threaded parallelism in Manticore
收藏 引用
JOURNAL OF FUNCTIONAL programming 2010年 第5-6期20卷 537-576页
作者: Fluet, Matthew Rainey, Mike Reppy, John Shaw, Adam Rochester Inst Technol Dept Comp Sci Rochester NY 14623 USA Univ Chicago Dept Comp Sci Chicago IL 60637 USA Toyota Technol Inst Chicago IL USA
The increasing availability of commodity multicore processors is making parallel computing ever more widespread. In order to exploit its potential, programmers need languages that make the benefits of parallelism acce... 详细信息
来源: 评论
Hera-JVM: A Runtime System for Heterogeneous Multi-Core Architectures  10
Hera-JVM: A Runtime System for Heterogeneous Multi-Core Arch...
收藏 引用
conference on Object Oriented programming Systems, languages and Applications/SPLASH 2010
作者: McIlroy, Ross Sventek, Joe Microsoft Res Cambridge Cambridge England Univ Glasgow Glasgow G12 8QQ Lanark Scotland
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores support different instruction set arch... 详细信息
来源: 评论
design principles for internal domain-specific languages: A pattern catalog illustrated by Ruby  10
Design principles for internal domain-specific languages: A ...
收藏 引用
17th conference on Pattern languages of Programs, PLoP 2010
作者: Günther, Sebastian Cleenewerck, Thomas School of Computer Science University of Magdeburg Germany Software Language Engineering Lab Vrije Universiteit Brussel Belgium Universitätsplatz 2 D-39106 Magdeburg Germany Vrije Universiteit Brussel Faculty of Sciences DINF - SOFT Pleinlaan 2 B-1050 Brussels Belgium
Some programming languages, especially dynamic programming languages, offer suitable mechanisms for the construction of internal domain-specific languages (DSL). Internal DSLs inherit the facilities of their host lang... 详细信息
来源: 评论
Evaluating Java runtime reflection for implementing cross-language method invocations  10
Evaluating Java runtime reflection for implementing cross-la...
收藏 引用
proceedings of the 8th International conference on the Principles and Practice of programming in Java
作者: Sobernig, Stefan Zdun, Uwe Institute for Information Systems and New Media Vienna University of Economics and Business Austria Information Systems Institute Vienna University of Technology Austria
Cross-language method invocations are commonly used for integrating objects residing in different programming language environments. In this experience report, we evaluate the performance and the design impact of alte... 详细信息
来源: 评论