咨询与建议

限定检索结果

文献类型

  • 250 篇 会议
  • 5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 210 篇 工学
    • 202 篇 软件工程
    • 92 篇 计算机科学与技术...
    • 7 篇 电气工程
    • 3 篇 控制科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 生物工程
  • 7 篇 理学
    • 6 篇 数学
    • 1 篇 生物学
  • 5 篇 管理学
    • 4 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 49 篇 design
  • 40 篇 languages
  • 22 篇 performance
  • 15 篇 algorithms
  • 14 篇 probabilistic pr...
  • 12 篇 verification
  • 12 篇 functional progr...
  • 11 篇 program synthesi...
  • 10 篇 object oriented ...
  • 10 篇 reliability
  • 10 篇 concurrency
  • 9 篇 experimentation
  • 9 篇 programming lang...
  • 8 篇 type systems
  • 8 篇 domain-specific ...
  • 7 篇 java
  • 6 篇 optimization
  • 6 篇 theory
  • 5 篇 compilers
  • 5 篇 metaprogramming

机构

  • 8 篇 purdue univ w la...
  • 7 篇 carnegie mellon ...
  • 6 篇 harvard univ cam...
  • 5 篇 univ penn philad...
  • 4 篇 univ wisconsin m...
  • 4 篇 princeton univ p...
  • 4 篇 univ calif davis...
  • 4 篇 northeastern uni...
  • 4 篇 cornell univ ith...
  • 4 篇 stanford univ st...
  • 4 篇 univ washington ...
  • 3 篇 microsoft res re...
  • 3 篇 swiss fed inst t...
  • 3 篇 mit cambridge ma...
  • 3 篇 yale univ new ha...
  • 3 篇 rice univ housto...
  • 3 篇 univ calif berke...
  • 3 篇 univ texas austi...
  • 2 篇 microsoft corp r...
  • 2 篇 oracle labs pots...

作者

  • 5 篇 foster nate
  • 5 篇 gulwani sumit
  • 5 篇 walker david
  • 4 篇 dillig isil
  • 3 篇 ahmed amal
  • 3 篇 huang jeff
  • 3 篇 vechev martin
  • 3 篇 shao zhong
  • 3 篇 tobin-hochstadt ...
  • 3 篇 su zhendong
  • 3 篇 chaudhuri swarat
  • 3 篇 felleisen matthi...
  • 3 篇 myers andrew c.
  • 3 篇 zhang xiangyu
  • 3 篇 acar umut a.
  • 3 篇 mansinghka vikas...
  • 2 篇 hirschfeld rober...
  • 2 篇 flatt matthew
  • 2 篇 gupta gagan
  • 2 篇 shull thomas

语言

  • 251 篇 英文
  • 3 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation"
255 条 记 录,以下是181-190 订阅
排序:
SSJ: A framework for stochastic simulation in Java
SSJ: A framework for stochastic simulation in Java
收藏 引用
35th Winter Simulation conference
作者: L'Ecuyer, P Meliani, L Vaucher, J Univ Montreal Dept Informat & Rech Operationnelle Montreal PQ H3C 3J7 Canada
We introduce SSJ, an organized set of software tools implemented in the Java programming language and. offering general-purpose facilities for stochastic simulation programming. It supports the event view, process vie... 详细信息
来源: 评论
Acute: High-level programming language design for distributed computation  05
Acute: High-level programming language design for distribute...
收藏 引用
10th acm sigplan International conference on Functional programming (ICFP)
作者: Sewell, Peter Leifer, James J. Wansbrough, Keith Nardelli, Francesco Zappa Allen-Williams, Mair Habouzit, Pierre Vafeiadis, Viktor Univ Cambridge Cambridge England INRIA Rocquencourt Le Chesnay France
Existing languages provide good support for typeful programming of stand-alone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (b... 详细信息
来源: 评论
A Compiler and Run-time System for Network programming languages  12
A Compiler and Run-time System for Network Programming Langu...
收藏 引用
39th Annual acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Monsanto, Christopher Foster, Nate Harrison, Rob Walker, David Princeton Univ Princeton NJ 08544 USA
Software-defined networks (SDNs) are a new kind of network architecture in which a controller machine manages a distributed collection of switches by instructing them to install or uninstall packet-forwarding rules an... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
SLE 2016 - proceedings of the 2016 acm sigplan International conference on Software language Engineering, co-located with SPLASH 2016
SLE 2016 - Proceedings of the 2016 ACM SIGPLAN International...
收藏 引用
9th acm sigplan International conference on Software language Engineering, SLE 2016
the proceedings contain 23 papers. the topics discussed include: parsing and reflective printing, bidirectionally;taming context-sensitive languages with principled stateful parsing;efficient development of consistent...
来源: 评论
Distributed Data-Parallel Computing Using a High-Level programming language
Distributed Data-Parallel Computing Using a High-Level Progr...
收藏 引用
35th acm SIGMOD conference
作者: Isard, Michael Yu, Yuan Microsoft Research Silicon Valley United States
the Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. they generalize previous execution environments such as SQL and Map Reduce in three ways: by providing a general-p... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Workflow-based composition of web-services: a business model or a programming paradigm?  6
Workflow-based composition of web-services: a business model...
收藏 引用
6th International Enterprise Distributed Object Computing
作者: Ganesarajah, D Lupu, E NDS Orbis London England
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. this paper presents the design and implementation ... 详细信息
来源: 评论