咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
PLDI 2019 - Proceedings of the 40th acm sigplan conference on programming language design and implementation
PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference o...
收藏 引用
40th acm sigplan conference on programming language design and implementation, PLDI 2019
the proceedings contain 76 papers. the topics discussed include: data-trace types for distributed stream processing systems;cost analysis of nondeterministic probabilistic programs;mesh: compacting memory management f...
来源: 评论
DSLs in Racket: YouWant It How, Now?  17
DSLs in Racket: YouWant It How, Now?
收藏 引用
17th acm sigplan International conference on Software language Engineering (SLE)
作者: Lee, Yunjeong Gopinathan, Kiran Yang, Ziyi Flatt, Matthew Sergey, Ilya Natl Univ Singapore Singapore Singapore Univ Utah Salt Lake City UT USA
Domain-Specific languages (DSLs) are a popular way to simplify and streamline programmatic solutions of commonly occurring yet specialized tasks. While the design of frameworks for implementing DSLs has been a popular... 详细信息
来源: 评论
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 ...
来源: 评论
Morello MicroPython: A Python Interpreter for CHERI  20
Morello MicroPython: A Python Interpreter for CHERI
收藏 引用
20th acm sigplan International conference on Managed programming languages and Runtimes (MPLR)
作者: Lowther, Duncan Jacob, Dejice Singer, Jeremy Univ Glasgow Glasgow Scotland
Arm Morello is a prototype system that supports CHERI hardware capabilities for improving runtime security. As Morello becomes more widely available, there is a growing effort to port open source code projects to this... 详细信息
来源: 评论
BatakJava: An Object-Oriented programming language with Versions  15
BatakJava: An Object-Oriented Programming Language with Vers...
收藏 引用
15th International conference on Software language Engineering (SLE)
作者: Lubis, Luthfan Anshar Tanabe, Yudai Aotani, Tomoyuki Masuhara, Hidehiko Tokyo Inst Technol Tokyo Japan Mamezou Co Ltd Tokyo Japan
programming with versions is a recent proposal that supports multiple versions of software components in a program. though it would provide greater freedom for the programmer, the concept is only realized as a simple ... 详细信息
来源: 评论
iCoLa: A Compositional Meta-language with Support for Incremental language Development  15
iCoLa: A Compositional Meta-language with Support for Increm...
收藏 引用
15th International conference on Software language Engineering (SLE)
作者: Frolich, Damian van Binsbergen, L. thomas Univ Amsterdam Informat Inst Amsterdam Netherlands
programming languages providing high-level abstractions can increase a programmers' productivity and the safety of a program. language-oriented programming is a paradigm in which domain-specific languages are deve... 详细信息
来源: 评论
signatr: A Data-Driven Fuzzing Tool for R  15
signatr: A Data-Driven Fuzzing Tool for R
收藏 引用
15th International conference on Software language Engineering (SLE)
作者: Turcotte, Alexi Donat-Bouillud, Pierre Krikava, Filip Vitek, Jan Northeastern Univ Boston MA 02115 USA Czech Tech Univ Prague Czech Republic
the fast-and-loose, permissive semantics of dynamic programming languages limit the power of static analyses. For that reason, soundness is often traded for precision through dynamic program analysis. Dynamic analysis... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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...
来源: 评论
Towards an implementation of differential dynamic logic in PVS  11
Towards an implementation of differential dynamic logic in P...
收藏 引用
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
作者: Slagel, J. Tanner Muñoz, César Balachandran, Swee Moscato, Mariano Dutle, Aaron Masci, Paolo White, Lauren Nasa Langley Research Center United States National Institute of Aerospace United States
this paper describes an ongoing effort to embed and verify differential dynamic logic (dL) in the Prototype Verification System (PVS). dL is a logic for specifying and formally reasoning about hybrid systems, i.e., sy... 详细信息
来源: 评论