咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
Component-based DSL development
收藏 引用
2nd International conference on Generative programming and Component Engineering
作者: Cleenewerck, T Free Univ Brussels Programming Technol Lab B-1050 Brussels Belgium
Domain specific languages (DSLs) have proven to be a very adequate mechanism to encapsulate and hide the complex implementation details of component-based software development. Since evolution lies at the heart of any... 详细信息
来源: 评论
Taming the IXP network processor  03
收藏 引用
proceedings of the acm sigplan 2003 conference on programming language design and implementation
作者: Lal George Matthias Blume Network Speed Technologies Inc Toyota Technological Institute at Chicago
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... 详细信息
来源: 评论
Effective sign extension elimination  02
Effective sign extension elimination
收藏 引用
conference on programming language design and implementation (PLDI 02)
作者: Kawahito, M Komatsu, H Nakatani, T IBM Tokyo Res Lab Kanagawa 2428502 Japan
Computer designs are shifting from 32-bit architectures to 64-bit architectures, while most of the programs available today are still designed for 32-bit architectures, Java(TM), for example, specifies the frequently ... 详细信息
来源: 评论
Towards a Discipline of Dynamic programming  32
Towards a Discipline of Dynamic Programming
收藏 引用
32. Jahrestagung der Gesellschaft fur Informatik, Informatik bewegt, INFORMATIK 2002 - 32nd Annual conference of the German Informatics Society, Informatics Moves, INFORMATIK 2002
作者: Giegerich, Robert Meyer, Carsten Steffen, Peter Faculty of Technology Bielefeld University Postfach 10 01 31 Bielefeld33501 Germany
Dynamic programming is a classic programming technique, applicable in a wide variety of domains, like stochastic systems analysis, operations research, combinatorics of discrete structures, flow problems, parsing ambi... 详细信息
来源: 评论
Hancock: A language for processing very large-scale data  99
Hancock: A language for processing very large-scale data
收藏 引用
2nd conference on Domain-Specific languages (DSL 99)
作者: Bonachea, D Fisher, K Rogers, A Smith, F AT&T Labs Res Shannon Lab Florham Park NJ 07932 USA
A signature is an evolving customer profile computed from call records. AT&T uses signatures to detect fraud and to target marketing. Code to compute signatures can be difficult to write and maintain because of th... 详细信息
来源: 评论
A collaboration specification language  99
A collaboration specification language
收藏 引用
2nd conference on Domain-Specific languages, DSL 1999
作者: Li, Du Muntz, Richard R. Department of Computer Science University of California Los Angeles Los AngelesCA90024 United States
COCA (Collaborative Objects Coordination Architecture) was proposed as a novel means to model and support collaborations over the Internet. Our approach separates coordination policies from user interfaces and the pol... 详细信息
来源: 评论
DSL implementation using staging and monads  99
DSL implementation using staging and monads
收藏 引用
2nd conference on Domain-Specific languages, DSL 1999
作者: Sheard, Tim Benaissa, Zine-El-Abidine Pasalic, Emir Pacific Software Research Center Oregon Graduate Institute P.O. Box 91000 PortlandON97291-1000 United States
The impact of Domain Specific languages (DSLs) on software design is considerable. They allow programs to be more concise than equivalent programs written in a high-level programming languages. They relieve programmer... 详细信息
来源: 评论
2nd JSSST International Symposium on Object Technologies for Advanced Software, ISOTAS 1996
收藏 引用
2nd International Symposium on Object Technologies for Advanced Software, ISOTAS 1996
The proceedings contain 19 papers. The special focus in this conference is on design and Evolution. The topics include: Automating the evolution of object-oriented systems;using C++ templates to implement role-based d...
来源: 评论
Strongtalk: Typechecking smalltalk in a production environment  8
Strongtalk: Typechecking smalltalk in a production environme...
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Bracha, Gilad Griswold, David Horizon Technologies of New York Inc. 38 W. 32nd St. New YorkNY10001 United States
Strongtalk™ is a typechecker for a downwardcompatible Smalltalk dialect. It is designed for large-scale production software development, and incorporates a strong, modem structural type system. It not only separates t... 详细信息
来源: 评论
Tachyon Common Lisp: An efficient and portable implementation of CLtL2
Tachyon Common Lisp: An efficient and portable implementatio...
收藏 引用
proceedings of the 1992 acm conference on Lisp and Functional programming
作者: Nagasaka, Atsushi Shintani, Yoshihiro Ito, Tanji Gomi, Hiroshi Takahashi, Junichi Oki Electric Industry Co Ltd Tokyo Japan
Tachyon Common Lisp is an efficient and portable implementation of Common Lisp 2nd Edition. The design objective of Tachyon is to apply both advanced optimization technology developed for RISC processors and Lisp opti... 详细信息
来源: 评论