咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
Classbox/J: Controlling the scope of change in Java
Classbox/J: Controlling the scope of change in Java
收藏 引用
20th conference on Object-Oriented programming, Systems, languages and Applications
作者: Bergel, A Ducasse, S Nierstrasz, O Univ Bern Software Composit Grp Bern Switzerland Univ Savoie Language & Software Evolut Grp LISTIC Chambery France
Unanticipated changes to complex software systems can introduce anomalies such as duplicated code, suboptimal inheritance relationships and a proliferation of run-tirne downcasts. Refactoring to eliminate these anomal... 详细信息
来源: 评论
SOAP 2021 - Proceedings of the 10th acm sigplan International Workshop on the State of the Art in Program Analysis, co-located with PLDI 2021
SOAP 2021 - Proceedings of the 10th ACM SIGPLAN Internationa...
收藏 引用
10th acm sigplan International Workshop on the State Of the Art in Program Analysis, SOAP 2021, co-located with the 42nd acm sigplan International conference on programming language design and implementation, PLDI 2021
the proceedings contain 8 papers. the topics discussed include: static analysis for dummies: experiencing LiSA;security and quality: two sides of the same coin?;program analysis for reversible languages;PerfLens: a da...
来源: 评论
Reactive Imperative programming with Dataflow Constraints  11
Reactive Imperative Programming with Dataflow Constraints
收藏 引用
2th acm International conference on Systems, programming, languages, and Applications: Software for Humanity (SPLASH)
作者: Demetrescu, Camil Finocchi, Irene Ribichini, Andrea Univ Roma La Sapienza Dept Comp & Syst Sci Rome Italy
Dataflow languages provide natural support for specifying constraints between objects in dynamic applications, where programs need to react efficiently to changes of their environment. Researchers have long investigat... 详细信息
来源: 评论
Pattern matching for object-like structures in the Go programning language
Pattern matching for object-like structures in the Go progra...
收藏 引用
6th Workshop on the implementation, Compilation, Optimization of Object-Oriented languages, Programs and Systems, ICOOOLPS 2011 - In Conjunction with the 25th European conference on Object-Oriented programming, ECOOP 2011
作者: Kaewkasi, Chanwit Kaewkasi, Pitchaya School of Computer Engineering Suranaree University of Technology Nakhon Ratchasima Thailand
this paper explores the feasibility of implementing pattern matching for the Go programming language. the design of pattern matching is taken from Scala, and reimplemented using Go's constructs and new language ex... 详细信息
来源: 评论
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 ...
来源: 评论
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... 详细信息
来源: 评论
Advanced Automata-Based Algorithms for Program Termination Checking  2018
Advanced Automata-Based Algorithms for Program Termination C...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Chen, Yu-Fang Heizmann, Matthias Lengal, Ondrej Li, Yong Tsai, Ming-Hsien Turrini, Andrea Zhang, Lijun Acad Sinica Taipei Taiwan Natl Taipei Univ New Taipei Taiwan Univ Freiburg Freiburg Germany Brno Univ Technol FIT IT4Innovat Ctr Excellence Brno Czech Republic Chinese Acad Sci Univ Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China
In 2014, Heizmann et al. proposed a novel framework for program termination analysis. the analysis starts with a termination proof of a sample path. the path is generalized to a Buchi automaton (BA) whose language (by... 详细信息
来源: 评论
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...
来源: 评论
Babelsberg/JS A Browser-Based implementation of an Object Constraint language
Babelsberg/JS A Browser-Based Implementation of an Object Co...
收藏 引用
28th European conference on Object-Oriented programming (ECOOP)
作者: Felgentreff, Tim Borning, Alan Hirschfeld, Robert Lincke, Jens Ohshima, Yoshiki Freudenberg, Bert Krahn, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany Univ Washington Seattle WA 98195 USA Viewpoints Res Inst Los Angeles CA USA SAP Labs Commun Design Grp San Francisco CA USA
Constraints provide a useful technique for ensuring that desired properties hold in an application. As a result, they have been used in a wide range of applications, including graphical layout, simulation, scheduling,... 详细信息
来源: 评论
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...
来源: 评论