咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 59 篇 工学
    • 57 篇 软件工程
    • 48 篇 计算机科学与技术...
    • 4 篇 控制科学与工程
    • 3 篇 信息与通信工程
    • 1 篇 光学工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 11 篇 理学
    • 8 篇 数学
    • 3 篇 系统科学
    • 1 篇 物理学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 7 篇 管理学
    • 5 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 5 篇 design
  • 3 篇 program synthesi...
  • 3 篇 languages
  • 3 篇 probabilistic pr...
  • 3 篇 software design
  • 3 篇 java programming...
  • 3 篇 programming by e...
  • 3 篇 programming lang...
  • 2 篇 object oriented ...
  • 2 篇 experimentation
  • 2 篇 performance
  • 2 篇 compilers
  • 2 篇 modules
  • 2 篇 intel ixa
  • 2 篇 parallel program...
  • 2 篇 java
  • 2 篇 register allocat...
  • 2 篇 bank assignment
  • 2 篇 composition
  • 2 篇 end-user program...

机构

  • 3 篇 univ michigan an...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ penn philad...
  • 2 篇 university of to...
  • 2 篇 kyushu institute...
  • 2 篇 kyushu universit...
  • 2 篇 univ chicago il ...
  • 2 篇 univ calif santa...
  • 2 篇 univ texas austi...
  • 1 篇 programming tool...
  • 1 篇 google ca united...
  • 1 篇 univ wisconsin d...
  • 1 篇 univ southern ca...
  • 1 篇 mpi sws saarbruc...
  • 1 篇 univ wisconsin m...
  • 1 篇 radboud univ nij...
  • 1 篇 network speed te...
  • 1 篇 institute for co...
  • 1 篇 university of ma...
  • 1 篇 university of tw...

作者

  • 2 篇 wang xinyu
  • 2 篇 sherwood timothy
  • 2 篇 fursin grigori
  • 2 篇 chong frederic t...
  • 2 篇 alur rajeev
  • 2 篇 hardekopf ben
  • 2 篇 dillig isil
  • 1 篇 milano matthew
  • 1 篇 blinn andrew
  • 1 篇 tao runzhou
  • 1 篇 kashyap vineeth
  • 1 篇 pailoor shankara
  • 1 篇 campagna giovann...
  • 1 篇 fedorova alexand...
  • 1 篇 collins nick
  • 1 篇 sewe andreas
  • 1 篇 lerner sorin
  • 1 篇 best micah j.
  • 1 篇 f.r.m. barnes
  • 1 篇 ekman torbjorn

语言

  • 71 篇 英文
检索条件"任意字段=Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation"
71 条 记 录,以下是51-60 订阅
排序:
Component NextGen: A sound and expressive component framework for Java  07
Component NextGen: A sound and expressive component framewor...
收藏 引用
22nd International conference on Object-Oriented programming, Systems, languages and Applications
作者: Sasitorn, James Cartwright, Robert Rice Univ Houston TX 77251 USA
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across components are common in object-orien... 详细信息
来源: 评论
The JastAdd extensible java compiler
The JastAdd extensible java compiler
收藏 引用
22nd Annual acm sigplan International conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA'07
作者: Ekman, Torbjörn Görel, Hedin Programming Tools Group University of Oxford United Kingdom Department of Computer Science Lund University Sweden
The JastAdd Extensible Java Compiler is a high quality Java that is easy to extend in order to build static analysis for Java, and to extend Java with new language constructs. built modularly, with a Java 1.4 compiler... 详细信息
来源: 评论
Practical dynamic software updating for C  06
Practical dynamic software updating for C
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Neamtiu, Iulian Hicks, Michael Stoyle, Gareth Oriol, Manuel University of Maryland United States University of Cambridge United Kingdom ETH Zurich Switzerland
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) addresses this difficulty by permittin... 详细信息
来源: 评论
Sedna: A native XML DBMS
Sedna: A native XML DBMS
收藏 引用
32nd conference on Current Trends in Theory and Practice of Computer Science
作者: Fomichev, A Grinev, M Kuznetsov, S Russian Acad Sci Inst Syst Programming Moscow 109004 Russia
Sedna is an XML database system being developed by the MODIS team at the Institute for System programming of the Russian Academy of Sciences. Sedna implements XQuery and its data model exploiting techniques developed ... 详细信息
来源: 评论
Java™ on the bare metal of wireless sensor devices the squawk java virtual machine
Java™ on the bare metal of wireless sensor devices the squa...
收藏 引用
VEE 2006 - 2nd International conference on Virtual Execution Environments
作者: Simon, Doug Cifuentes, Cristina Cleal, Dave Daniels, John White, Derek Sun Microsystems Laboratories 16 Network Drive Menlo Park CA 94025 United States Sun Microsystems Laboratories Level 10 80 Albert Street Brisbane QLD 4000 Australia Syntropy Limited 2 Stambourne Way West Wickham Kent BR4 9NF United Kingdom Sun Microsystems Laboratories One Network Drive Burlington MA 01803 United States
The Squawk virtual machine is a small Java™ virtual machine (VM) written mostly in Java that runs without an operating system on a wireless sensor platform. Squawk translates standard class file into an internal pre-l... 详细信息
来源: 评论
A simple typed intermediate language for object-oriented languages  05
A simple typed intermediate language for object-oriented lan...
收藏 引用
POPL 2005: The 32nd acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Chen, Juan Tarditi, David Microsoft Research One Microsoft Way Redmond WA 98052 United States
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermediate language for compiling object-orien... 详细信息
来源: 评论
Synthesis of interface specifications for Java classes  05
Synthesis of interface specifications for Java classes
收藏 引用
POPL 2005: The 32nd acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Alur, Rajeev Madhusudan, P. Černy, Pavol Nam, Wonhong Department of Computer and Information Science University of Pennsylvania Philadelphia PA 19104 United States
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequencing of method calls the client must i... 详细信息
来源: 评论
Combinators for bi-directional tree transformations a linguistic approach to the view update problem
Combinators for bi-directional tree transformations a lingui...
收藏 引用
POPL 2005: The 32nd acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Foster, J. Nathan Greenwald, Michael B. Moore, Jonathan T. Pierce, Benjamin C. Schmitt, Alan University of Pennsylvania
We propose a novel approach to the well-known view update problem for the case of tree-structured data: a domain-specific programming language in which all expressions denote bi-directional transformations on trees. I... 详细信息
来源: 评论
Pin: Building customized program analysis tools with dynamic instrumentation
Pin: Building customized program analysis tools with dynamic...
收藏 引用
2005 acm sigplan conference on programming language design and implementation, PLDI 05
作者: Luk, Chi-Keung Cohn, Robert Muth, Robert Patil, Harish Klauser, Artur Lowney, Geoff Wallace, Steven Reddi, Vijay Janapa Hazelwood, Kim Intel Corporation University of Colorado
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we have developed a new instrumentation syst... 详细信息
来源: 评论
Taming the IXP network processor
Taming the IXP network processor
收藏 引用
conference on programming language design and implementation
作者: George, L Blume, M Toyota Technol Inst Chicago Chicago IL USA
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal bank assignment, and spills. The compil... 详细信息
来源: 评论