咨询与建议

限定检索结果

文献类型

  • 60 篇 会议
  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 51 篇 工学
    • 49 篇 软件工程
    • 46 篇 计算机科学与技术...
    • 2 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
    • 1 篇 化学工程与技术
    • 1 篇 纺织科学与工程
    • 1 篇 生物工程
  • 7 篇 理学
    • 3 篇 数学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
    • 1 篇 系统科学
  • 4 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 15 篇 design
  • 11 篇 performance
  • 11 篇 languages
  • 5 篇 algorithms
  • 4 篇 experimentation
  • 4 篇 reliability
  • 4 篇 program synthesi...
  • 4 篇 verification
  • 3 篇 software enginee...
  • 3 篇 compiler
  • 3 篇 computer program...
  • 2 篇 object oriented ...
  • 2 篇 programming prof...
  • 2 篇 programming
  • 2 篇 computer archite...
  • 2 篇 java
  • 2 篇 operational sema...
  • 2 篇 determinism
  • 2 篇 abstract interpr...
  • 2 篇 static analysis

机构

  • 3 篇 univ michigan an...
  • 3 篇 princeton univ p...
  • 2 篇 intel corp haifa
  • 2 篇 cornell univ dep...
  • 2 篇 northeastern uni...
  • 2 篇 seoul natl univ ...
  • 1 篇 penn state univ ...
  • 1 篇 univ waterloo wa...
  • 1 篇 univ toronto on
  • 1 篇 university of aa...
  • 1 篇 univ oxford oxfo...
  • 1 篇 univ wisconsin m...
  • 1 篇 university of co...
  • 1 篇 uc santa barbara...
  • 1 篇 700–0005
  • 1 篇 intel corporatio...
  • 1 篇 sun microsystems...
  • 1 篇 tsinghua univers...
  • 1 篇 department of co...
  • 1 篇 purdue universit...

作者

  • 2 篇 cheng perry
  • 2 篇 yi kwangkeun
  • 2 篇 august david i.
  • 2 篇 bacon david f.
  • 2 篇 zaks ayal
  • 2 篇 myers andrew c.
  • 2 篇 lee wonchan
  • 1 篇 oliveira bruno c...
  • 1 篇 ding wei
  • 1 篇 muñoz césar
  • 1 篇 oda tetsuya
  • 1 篇 wu jingyue
  • 1 篇 sewe andreas
  • 1 篇 ueda chiaki
  • 1 篇 chen yanju
  • 1 篇 lan jin
  • 1 篇 wang xinyu
  • 1 篇 rendel tillmann
  • 1 篇 cartey luke
  • 1 篇 olivier jeffrey

语言

  • 61 篇 英文
  • 2 篇 其他
检索条件"任意字段=33rd ACM SIGPLAN Conference on Programming Language Design and Implementation"
63 条 记 录,以下是11-20 订阅
排序:
WebRobot: Web Robotic Process Automation using Interactive programming-by-Demonstration  2022
WebRobot: Web Robotic Process Automation using Interactive P...
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Dong, Rui Huang, Zhicheng Lam, Ian Iong Chen, Yan Wang, Xinyu Univ Michigan Ann Arbor MI 48109 USA Univ Toronto Toronto ON Canada
It is imperative to democratize robotic process automation (RPA), as RPA has become a main driver of the digital transformation but is still technically very demanding to construct, especially for non-experts. In this... 详细信息
来源: 评论
Visualization Question Answering using Introspective Program Synthesis  2022
Visualization Question Answering using Introspective Program...
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Chen, Yanju Yan, Xifeng Feng, Yu Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA
While data visualization plays a crucial role in gaining insights from data, generating answers over complex visualizations from natural language questions is far from an easy task. Mainstream approaches reduce data v... 详细信息
来源: 评论
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... 详细信息
来源: 评论
JAX Based Parallel Inference for Reactive Probabilistic programming  2022
JAX Based Parallel Inference for Reactive Probabilistic Prog...
收藏 引用
23rd International conference on languages, Compilers, and Tools for Embedded System (LCTES)
作者: Baudart, Guillaume Mandel, Louis Tekin, Reyyan PSL Univ DI ENS Ecole Normale Super CNRSInria Paris France IBM Res Armonk NY USA
ProbZelus is a synchronous probabilistic language for the design of reactive probabilistic models in interaction with an environment. Reactive inference methods continuously learn distributions over the unobserved par... 详细信息
来源: 评论
language Transformations in the Classroom  28
Language Transformations in the Classroom
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Cimini, Matteo Mourad, Benjamin Univ Massachusetts Lowell Lowell MA 01854 USA
language transformations are algorithms that take a language specification in input, and return the language specification modified. language transformations are useful for automatically adding features such as subtyp... 详细信息
来源: 评论
MAPL 2019 - Proceedings of the 3rd acm sigplan International Workshop on Machine Learning and programming languages, co-located with PLDI 2019
MAPL 2019 - Proceedings of the 3rd ACM SIGPLAN International...
收藏 引用
3rd acm sigplan International Workshop on Machine Learning and programming languages, MAPL 2019, co-located with PLDI 2019
The proceedings contain 5 papers. The topics discussed include: machine learning in python with no strings attached;triton: an intermediate language and compiler for tiled neural network computations;HackPPL: a univer...
来源: 评论
design of a Deep Q-Network Based Simulation System for Actuation Decision in Ambient Intelligence  33rd
Design of a Deep Q-Network Based Simulation System for Actua...
收藏 引用
33rd International conference on Advanced Information Networking and Applications, AINA 2019
作者: Oda, Tetsuya Ueda, Chiaki Ozaki, Ryo Katayama, Kengo 1-1 Ridaicho Kita-ku Okayama 700–0005 Japan
Ambient Intelligence (AmI) deals with a new world of ubiquitous computing devices, where physical environments interact intelligently and unobtrusively with people. AmI environments can be diverse, such as homes, offi... 详细信息
来源: 评论
A Hitchhiker’s guide to reinventing a prolog machine  33
A Hitchhiker’s guide to reinventing a prolog machine
收藏 引用
Technical Communications of the 33rd International conference on Logic programming, ICLP 2017
作者: Tarau, Paul Department of Computer Science and Engineering University of North Texas Denton United States
We take a fresh, "clean-room" look at implementing Prolog by deriving its translation to an executable representation and its execution algorithm from a simple Horn Clause meta-interpreter. The resulting des... 详细信息
来源: 评论