咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 166 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 74 篇 computer program...
  • 56 篇 algorithms
  • 45 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 36 篇 reliability
  • 34 篇 object oriented ...
  • 27 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 19 篇 concurrency
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ washington ...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 gulwani sumit
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是691-700 订阅
排序:
An Experience in Ada Multicore programming: Parallelisation of a Model Checking Engine  21st
An Experience in Ada Multicore Programming: Parallelisation ...
收藏 引用
21st Ada-Europe International conference on Reliable Software Technologies (Ada-Europe)
作者: Mazzanti, Franco CNR ISTI Ist Sci & Tecnol Informaz A Faedo Pisa Italy
Even if multicore architectures are nowadays extremely wide- spread, the exploitation of this easily available degree of parallelism is not always straightforward. In this paper we describe the experience gained in ou... 详细信息
来源: 评论
From network interface to multithreaded web applications : A case study in modular program verification  15
From network interface to multithreaded web applications : A...
收藏 引用
42nd Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL 2015
作者: Chlipala, Adam MIT CSAIL United States
Many verifications of realistic software systems are monolithic, in the sense that they define single global invariants over complete system state. More modular proof techniques promise to support reuse of component p... 详细信息
来源: 评论
Proceedings of the 1986 acm conference on LISP and Functional programming, LFP 1986
Proceedings of the 1986 ACM Conference on LISP and Functiona...
收藏 引用
1986 acm conference on LISP and Functional programming, LFP 1986
The proceedings contain 32 papers. The topics discussed include: a simple applicative language: Mini-ML;the CURRY Chip;desiderata for the standardisation of LISP;laws in Miranda;variations on strictness analysis;exper...
来源: 评论
Compressing Java class files
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
Proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 1999年 247-258页
作者: Pugh, William Univ of Maryland College Park MD United States
Java class files are often distributed as jar files, which are collections of individually compressed class files (and possibility other files). Jar files are typically about 1/2 the size of the original class files d... 详细信息
来源: 评论
A practical type system and language for reference immutability  04
A practical type system and language for reference immutabil...
收藏 引用
19th Annual acm conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA'04
作者: Birka, Adrian Ernst, Michael D. MIT Comp. Sci./Artif. Intell. Lab. Cambridge MA 02139 United States
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint expressed is that the abstract state of the object to which an immutable reference refer... 详细信息
来源: 评论
Proceedings of the acm SIGAda Annual International conference;SIGAda
Proceedings of the ACM SIGAda Annual International Conferenc...
收藏 引用
1998 Annual acm SIGAda International conference on Ada, SIGAda 1998
The proceedings contain 37 papers. The topics discussed include: multi-μ: an Ada 95 based architecture for fault tolerance support of real-time systems;a comparison of Ada and Pascal in an introductory computer scien...
来源: 评论
Checking race freedom via linear programming
收藏 引用
acm sigplan NOTICES 2008年 第6期43卷 1-10页
作者: Terauchi, Tachio Tohoku Univ Sendai Miyagi 980 Japan
We present a new static analysis for race freedom and race detection. The analysis checks race freedom by reducing the problem to ( rational) linear programming. Unlike conventional static analyses for race freedom or... 详细信息
来源: 评论
Analysis, design and implementation of an object-oriented framework in Ada95  5th
收藏 引用
5th Ada-Europe International conference on Reliable Software Technologies
作者: Schmitt, D Sema Grp GmbH D-26389 Wilhelmshaven Germany Open Univ Milton Keynes MK7 6AA Bucks England
This paper describes the analysis, design and implementation of an object-oriented framework for discrete event simulation in the programming language Ada95. The framework was constructed in an industrial setting so t... 详细信息
来源: 评论
Multi-dispatch in the Java Virtual Machine: design and implementation
Multi-dispatch in the Java Virtual Machine: Design and imple...
收藏 引用
2000 conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA 2000
作者: Dutchyn, Christopher Lu, Paul Szafron, Duane Bromling, Steve Holst, Wade Department of Computing Science University of Alberta Edmonton AB T6G 2E8 Canada Department of Computer Science University of Western Ontario MiddleSex College London ON N6A 5B7 Canada
Mainstream object-oriented languages, such as C++ and Java, provide only a restricted form of polymorphic methods, namely single-receiver dispatch. In common programming situations, programmers must work-around this l... 详细信息
来源: 评论
Aspectual Caml: an aspect-oriented functional language
收藏 引用
acm sigplan NOTICES 2005年 第9期40卷 320-330页
作者: Masuhara, H Tatsuzawa, H Yonezawa, A Univ Tokyo Grad Sch Arts & Sci Tokyo Japan Univ Tokyo Dept Comp Sci Tokyo Japan Univ Tokyo Dept Comp Sci Tokyo Japan
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml with two AOP mechanisms similar to those in AspectJ language. This paper desc... 详细信息
来源: 评论