咨询与建议

限定检索结果

文献类型

  • 280 篇 会议
  • 40 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 275 篇 工学
    • 269 篇 软件工程
    • 141 篇 计算机科学与技术...
    • 7 篇 电气工程
    • 2 篇 信息与通信工程
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 控制科学与工程
    • 1 篇 化学工程与技术
    • 1 篇 生物工程
  • 12 篇 理学
    • 10 篇 数学
    • 1 篇 化学
    • 1 篇 地质学
    • 1 篇 生物学
    • 1 篇 系统科学
  • 6 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
  • 3 篇 教育学
    • 3 篇 教育学

主题

  • 82 篇 design
  • 76 篇 languages
  • 34 篇 performance
  • 17 篇 algorithms
  • 17 篇 verification
  • 15 篇 functional progr...
  • 14 篇 reliability
  • 14 篇 probabilistic pr...
  • 13 篇 object oriented ...
  • 13 篇 program synthesi...
  • 13 篇 domain-specific ...
  • 11 篇 experimentation
  • 11 篇 java
  • 10 篇 programming lang...
  • 9 篇 type systems
  • 9 篇 theory
  • 9 篇 concurrency
  • 7 篇 compilers
  • 7 篇 optimization
  • 6 篇 modules

机构

  • 9 篇 carnegie mellon ...
  • 8 篇 purdue univ w la...
  • 6 篇 princeton univ p...
  • 5 篇 northeastern uni...
  • 5 篇 yale univ new ha...
  • 5 篇 harvard univ cam...
  • 5 篇 cornell univ ith...
  • 5 篇 univ washington ...
  • 5 篇 univ calif berke...
  • 4 篇 univ wisconsin m...
  • 4 篇 univ calif davis...
  • 4 篇 univ utah salt l...
  • 4 篇 univ penn philad...
  • 4 篇 rice univ housto...
  • 4 篇 univ chicago il ...
  • 4 篇 stanford univ st...
  • 4 篇 univ texas austi...
  • 3 篇 mit csail cambri...
  • 3 篇 univ cambridge c...
  • 3 篇 microsoft res re...

作者

  • 7 篇 walker david
  • 6 篇 foster nate
  • 6 篇 shao zhong
  • 5 篇 gulwani sumit
  • 5 篇 dillig isil
  • 4 篇 rainey mike
  • 4 篇 gu ronghui
  • 4 篇 rompf tiark
  • 4 篇 solar-lezama arm...
  • 4 篇 chaudhuri swarat
  • 4 篇 myers andrew c.
  • 4 篇 wansbrough keith
  • 3 篇 hirschfeld rober...
  • 3 篇 flatt matthew
  • 3 篇 rajamani sriram
  • 3 篇 seshia sanjit a.
  • 3 篇 rajan hridesh
  • 3 篇 huang jeff
  • 3 篇 vechev martin
  • 3 篇 olukotun kunle

语言

  • 286 篇 英文
  • 33 篇 其他
  • 1 篇 中文
检索条件"任意字段=36th ACM SIGPLAN Conference on Programming Language Design and Implementation"
320 条 记 录,以下是201-210 订阅
排序:
Multiple instances and symbolic variables in executable sequence charts  02
Multiple instances and symbolic variables in executable sequ...
收藏 引用
17th Meeting on Object-Oriented programming, Systems, languages and Applications (OOPSLA 2002)
作者: Marelly, R Harel, D Kugler, H Weizmann Inst Sci Dept Comp Sci & Appl Math IL-76100 Rehovot Israel
We extend live sequence charts (LSCs), a highly expressive variant of sequence diagrams, and provide the extension with an executable semantics. the extension involves support for instances that can bind to multiple o... 详细信息
来源: 评论
SOAP 2024 - Proceedings of the 13th acm sigplan International Workshop on the State Of the Art in Program Analysis, Co-located with: PLDI 2024
SOAP 2024 - Proceedings of the 13th ACM SIGPLAN Internationa...
收藏 引用
13th acm sigplan International Workshop on the State of the Art in Program Analysis, SOAP 2024, co-located with the 45th acm sigplan International conference on programming language design and implementation, PLDI 2024
the proceedings contain 8 papers. the topics discussed include: Dr Wenowdis: specializing dynamic language C extensions using type information;interleaving static analysis and LLM prompting;a better approximation for ...
来源: 评论
Practical predicate dispatch  04
Practical predicate dispatch
收藏 引用
19th conference on Object-Oriented programming, Systems, languages, and Applications
作者: Millstein, T Univ Calif Los Angeles Dept Comp Sci Los Angeles CA 90024 USA
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method implementation includes a predicate gu... 详细信息
来源: 评论
SOAP 2022 - Proceedings of the 11th acm sigplan International Workshop on the State Of the Art in Program Analysis, co-located with PLDI 2022
SOAP 2022 - Proceedings of the 11th ACM SIGPLAN Internationa...
收藏 引用
11th acm sigplan International Workshop on the State Of the Art in Program Analysis, SOAP 2022, co-located with the 43rd acm sigplan International conference on programming language design and implementation, PLDI 2022
the proceedings contain 7 papers. the topics discussed include: BinFPE: accurate floating-point exception detection for GPU applications;modeling code manipulation in JIT compilers;statically detecting data leakages i...
来源: 评论
Implicitly heterogeneous multi-stage programming  05
Implicitly heterogeneous multi-stage programming
收藏 引用
4th International conference on Generative programming and Component Engineering
作者: Eckhardt, J Kaiabachev, R Pasalic, E Swadi, K Taha, W Rice Univ Houston TX 77005 USA
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homogeneous designs simply add a hygienic q... 详细信息
来源: 评论
Fast RMWs for TSO: Semantics and implementation
Fast RMWs for TSO: Semantics and Implementation
收藏 引用
34th acm sigplan conference on programming language design and implementation (PLDI)
作者: Rajaram, Bhargava Nagarajan, Vijay Sarkar, Susmit Elver, Marco Univ Edinburgh Edinburgh EH8 9YL Midlothian Scotland Univ St Andrews St Andrews KY16 9AJ Fife Scotland
Read-Modify-Write (RMW) instructions are widely used as the building blocks of a variety of higher level synchronization constructs, including locks, barriers, and lock-free data structures. Unfortunately, they are ex... 详细信息
来源: 评论
CHIUW 2019 - Proceedings of the acm sigplan 6th Chapel Implementers and Users Workshop, co-located with PLDI 2019
CHIUW 2019 - Proceedings of the ACM SIGPLAN 6th Chapel Imple...
收藏 引用
acm sigplan 6th Annual Chapel Implementers and Users Workshop, CHIUW 2019, held in conjunction with PLDI 2019
the proceedings contain 8 papers. the topics discussed include: GPUIterator: bridging the gap between chapel and GPU platforms;calling chapel code: interoperability improvements;towards radix sorting in the chapel sta...
来源: 评论
Scala 2018 - Proceedings of the 9th acm sigplan International Symposium on Scala, co-located with ICFP 2018
Scala 2018 - Proceedings of the 9th ACM SIGPLAN Internationa...
收藏 引用
9th acm sigplan International Symposium on Scala, Scala 2018, Part of the acm sigplan International conference on Functional programming, ICFP 2018
the proceedings contain 9 papers. the topics discussed include: a domain-specific language for microservices;parser combinators for context-free path querying;garnishing parsec with parsley;path dependent types with p...
来源: 评论
ADA: a tool for visualizing the architectural overview of open-source repositories  11
ADA: a tool for visualizing the architectural overview of op...
收藏 引用
11th acm sigplan International Workshop on the State Of the Art in Program Analysis, SOAP 2022, co-located with the 43rd acm sigplan International conference on programming language design and implementation, PLDI 2022
作者: Misu, Md Rakib Hossain Janjanin, Aleksandar Saša Bian, Zhiqiang Burlacu, Valentin-Sebastian Anteski, Naum University College London United Kingdom
Writing highly maintainable and efficient software code is becoming increasingly difficult, especially while following the rapid, agile development process and working in a distributed team. One of the key indicators ... 详细信息
来源: 评论
A different kind of programming languages course
A different kind of programming languages course
收藏 引用
OOPSLA 2009 Companion - 24th Annual acm conference on Object-Oriented programming, Systems, languages and Applications, OOPSLA 2009
作者: Yeager, Dorian P. Grove City College Grove City PA United States
the complexity of the well-explored regions of the programming language design space has increased substantially in the last twenty-five years with the addition of a large number of object-oriented programming languag... 详细信息
来源: 评论