咨询与建议

限定检索结果

文献类型

  • 1,156 篇 会议
  • 136 篇 期刊文献

馆藏范围

  • 1,292 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,116 篇 工学
    • 1,040 篇 软件工程
    • 804 篇 计算机科学与技术...
    • 49 篇 控制科学与工程
    • 43 篇 电气工程
    • 36 篇 信息与通信工程
    • 10 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 6 篇 安全科学与工程
    • 5 篇 航空宇航科学与技...
    • 5 篇 生物工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 2 篇 力学(可授工学、理...
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 141 篇 理学
    • 117 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 89 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 15 篇 教育学
    • 15 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 180 篇 design
  • 167 篇 languages
  • 103 篇 computer program...
  • 99 篇 performance
  • 59 篇 algorithms
  • 49 篇 object oriented ...
  • 49 篇 computer program...
  • 45 篇 experimentation
  • 45 篇 java programming...
  • 39 篇 verification
  • 35 篇 reliability
  • 34 篇 java
  • 32 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 software design
  • 21 篇 theory
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 c (programming l...

机构

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

作者

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

语言

  • 1,203 篇 英文
  • 88 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"
1292 条 记 录,以下是771-780 订阅
proceedings - 1st acm and IEEE International conference on Formal Methods and Models for Co-design, MEMOCODE 2003
Proceedings - 1st ACM and IEEE International Conference on F...
收藏 引用
1st acm and IEEE International conference on Formal Methods and Models for Co-design, MEMOCODE 2003
The proceedings contain 31 papers. The topics discussed include: executable computational logics: combining formal methods and programming language based system design;from use cases to system implementation: statecha...
来源: 评论
TDL:: A hardware description language for retargetable postpass optimizations and analyses
收藏 引用
2nd International conference on Generative programming and Component Engineering
作者: Kästner, D Univ Saarland D-6600 Saarbrucken Germany AbsInt Angew Informat GmbH Saarbrucken Germany
The hardware description language TDL has been designed with the goal to generate machine-dependent postpass optimizers and analyzers from a concise specification of the target processor. TDL is assembly-oriented and ... 详细信息
来源: 评论
Destructors, finalizers, and synchronization  03
Destructors, finalizers, and synchronization
收藏 引用
The 30th acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Boehm, Hans-J. Hewlett-Packard Laboratories 1501 Page Mill Rd. Palo Alto CA 94304 United States
We compare two different facilities for running cleanup actions for objects that are about to reach the end of their life. Destructors, such as we find in C++, are invoked synchronously when an object goes out of scop... 详细信息
来源: 评论
MJ: A rational module system for Java and its applications
MJ: A rational module system for Java and its applications
收藏 引用
18th Annual conference on Object-Oriented programming, Systems, languages and Applications (OOPSLA 2003)
作者: Corwin, J Bacon, DF Grove, D Murthy, C IBM
While Java provides many software engineering benefits, it lacks a coherent module system and instead provides only packages (which are primarily a name space mechanism) and classloaders (which are very low-level). As... 详细信息
来源: 评论
design and implementation of a graphical interface to XQuery  03
Design and implementation of a graphical interface to XQuery
收藏 引用
proceedings of the 2003 acm Symposium on Applied Computing
作者: Augurusa, Enrico Braga, Daniele Campi, Alessandro Ceri, Stefano Politecnico di Milano P.za L. da Vinci 32 I-20133 Milano Italy
As the use of XML is rapidly growing, a growing number of users without programming skills will need to query XML data. Although designed to be easily understood by humans, XQuery, the XML standard query language, has... 详细信息
来源: 评论
programming Agent Deliberation: An Approach Illustrated Using the 3APL language
Programming Agent Deliberation: An Approach Illustrated Usin...
收藏 引用
proceedings of the Second International Joint conference on Autonomous Agents and Multiagent Systems, AAMAS 03
作者: Dastani, Mehdi De Boer, Frank Dignum, Frank Meyer, John-Jules Inst. of Info./Computing Sciences Utrecht University Netherlands
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed to be represented in an object language... 详细信息
来源: 评论
Translating fusion/UML to Object-Z  1
Translating fusion/UML to Object-Z
收藏 引用
1st acm/IEEE International conference on Formal Methods and Models for Co-design (MEMOCODE 03)
作者: Bittner, M Kammüller, F Tech Univ Berlin Inst Softwaretech & Theoret Informat D-1000 Berlin Germany
We present an extension of the development method Fusion/UML that translates the results of analysis and design into the formal specification language Object-Z. The extended process establishes a consistency relations... 详细信息
来源: 评论
XSTEP:: A markup language for embodied agents  16
XSTEP:: A markup language for embodied agents
收藏 引用
16th International conference on Computer Animation and Social Agents
作者: Huang, ZS Eliëns, A Visser, C Vrije Univ Amsterdam Amsterdam Netherlands
In this paper we propose an XML-based markup language, called XSTER, for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP The scripting language STEP incorporates the for... 详细信息
来源: 评论
A calculus of untyped aspect-oriented programs
收藏 引用
17th European conference on Object-Oriented programming (ECOOP 2003)
作者: Jagadeesan, R Jeffrey, A Riely, J Depaul Univ CTI Chicago IL 60604 USA
Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspects is typically specified by appealing to an u... 详细信息
来源: 评论
On lifting of Statechart structuring mechanisms  3
On lifting of Statechart structuring mechanisms
收藏 引用
3rd International conference on Application of Concurrency to System design
作者: Gomes, L Costa, A Univ Nova Lisboa Fac Ciencias & Tecnol Dept Elect Engn UNINOVACtr Robot Inteligente P-2825 Monte De Caparica Portugal
This paper proposes a set of procedures addressing the implementation of Statechart models. The main goal of this set of procedures is to lift the structuring mechanisms presented in statecharts to the top level. In t... 详细信息
来源: 评论