咨询与建议

限定检索结果

文献类型

  • 128 篇 期刊文献
  • 114 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 220 篇 工学
    • 208 篇 计算机科学与技术...
    • 166 篇 软件工程
    • 14 篇 电气工程
    • 11 篇 控制科学与工程
    • 8 篇 信息与通信工程
    • 4 篇 电子科学与技术(可...
    • 2 篇 化学工程与技术
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 92 篇 理学
    • 89 篇 数学
    • 4 篇 化学
    • 3 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 生物学
    • 1 篇 系统科学
  • 36 篇 管理学
    • 26 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 9 篇 工商管理
  • 3 篇 经济学
    • 3 篇 应用经济学
    • 1 篇 理论经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 2 篇 医学
    • 1 篇 临床医学

主题

  • 242 篇 programming theo...
  • 10 篇 programming and ...
  • 5 篇 software enginee...
  • 5 篇 software testing
  • 4 篇 high level langu...
  • 3 篇 programming
  • 3 篇 ada
  • 3 篇 graph theory
  • 3 篇 software reliabi...
  • 3 篇 wireless mesh ne...
  • 3 篇 formal specifica...
  • 3 篇 capacity optimiz...
  • 3 篇 programming envi...
  • 3 篇 channel allocati...
  • 2 篇 parallel process...
  • 2 篇 formal logic
  • 2 篇 automation
  • 2 篇 automatic testin...
  • 2 篇 reliability theo...
  • 2 篇 formal languages

机构

  • 2 篇 univ of pennsylv...
  • 2 篇 mgu im. m.v. lom...
  • 2 篇 moskovskij gosud...
  • 2 篇 inria rocquencou...
  • 2 篇 ecole des mines ...
  • 2 篇 inst kibernetiki...
  • 2 篇 aarhus univ aarh...
  • 2 篇 univ oxford comp...
  • 2 篇 city univ london...
  • 2 篇 eindhoven univ t...
  • 2 篇 univ calif berke...
  • 2 篇 univ of nottingh...
  • 1 篇 beijing univ of ...
  • 1 篇 poznan universit...
  • 1 篇 addis ababa univ...
  • 1 篇 hewlett-packard ...
  • 1 篇 technion israel ...
  • 1 篇 johann wolfgang ...
  • 1 篇 national institu...
  • 1 篇 at&t research

作者

  • 3 篇 liu yanhong a.
  • 2 篇 banach r
  • 2 篇 stuckey peter j.
  • 2 篇 kiselyov oleg
  • 2 篇 cousot patrick
  • 2 篇 desharnais j
  • 2 篇 zakharov v.a.
  • 2 篇 duggan d
  • 2 篇 nielson flemming
  • 2 篇 stoller scott d.
  • 2 篇 nielson hanne ri...
  • 2 篇 henzinger thomas...
  • 2 篇 sheard tim
  • 2 篇 mili a
  • 2 篇 rehof jakob
  • 1 篇 merz stephan
  • 1 篇 davidov mikhail
  • 1 篇 puel laurence
  • 1 篇 mai zhongfan
  • 1 篇 ignatushchenko v...

语言

  • 209 篇 英文
  • 17 篇 其他
  • 12 篇 俄文
  • 4 篇 中文
检索条件"主题词=Programming Theory"
242 条 记 录,以下是151-160 订阅
排序:
Supporting multiple domains in a single reuse repository
Supporting multiple domains in a single reuse repository
收藏 引用
Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering
作者: Eichmann, David West Virginia Univ Morgantown United States
Domain analysis typically results in the construction of a domain-specific repository. Such a repository imposes artificial boundaries on the sharing of similar assets between related domains. A lattice-based approach... 详细信息
来源: 评论
A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure
A Noninterleaving Model of Concurrency Based on Transition S...
收藏 引用
作者: Monteiro, Luís Departamento De Informática Faculdade De Ciê. E Tecnologia Universidade Nova De Lisboa
In an attempt to devise a general notion of model for spatial logic, we have been led to consider transition systems with an additional so-called spatial structure on the states, with both the tran- sition and the spa... 详细信息
来源: 评论
Managing conflicts between rules
Managing conflicts between rules
收藏 引用
Proceedings of the 1996 15th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS
作者: Jagadish, H.V. Mendelzon, Alberto O. Mumick, Inderpal Singh AT&T Research
Rules are used as a programming paradigm in several application domains, including active databases, planning, expert systems, and billing. For example, active databases have rules that execute upon the occurrence of ... 详细信息
来源: 评论
Typed pattern calculus
Typed pattern calculus
收藏 引用
Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science
作者: Breazu-Tannen, Val Kesner, Delia Puel, Laurence Univ of Pennsylvania Philadelphia United States
The theory of programming with pattern-matching function definitions has been studied mainly in the framework of first-order rewrite systems. We present a typed functional calculus that emphasizes the strong connectio... 详细信息
来源: 评论
A theory of overloading  02
A theory of overloading
收藏 引用
Proceedings of the Seventh ACM SIGPLAN;International Conference on Functional programming (ICFP'02)
作者: Stuckey, Peter J. Sulzmann, Martin Dept. of Comp. Sci. Software Eng. The University of Melbourne Melbourne Vic. 3010 Australia
We present a minimal extension of the Hindley/Milner system to allow for overloading of identifiers. Our approach relies on a combination of the HM(X) type system framework with Constraint Handling Rules (CHRs). CHRs ... 详细信息
来源: 评论
The semantics of graphical languages  07
The semantics of graphical languages
收藏 引用
2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation
作者: Ellner, Stephan Taha, Walid Google Inc. Mountain View CA United States Rice University Houston TX United States
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming language theory are taking place in the ... 详细信息
来源: 评论
Formal language, grammar and set-constraint-based program analysis by abstract interpretation  95
Formal language, grammar and set-constraint-based program an...
收藏 引用
Conference Record of Conference on Functional programming Languages and Computer Architecture
作者: Cousot, Patrick Cousot, Radhia LIENS Ecole Normale Superieure Paris France
Grammar-based programs analyses are static analysis techniques that have traditionally been seen as quite different from abstract-interpretation-based analyses, due to their apparent non-iterative nature. There are de... 详细信息
来源: 评论
Safe polymorphic type inference for a dynamically typed language: translating scheme to ML
Safe polymorphic type inference for a dynamically typed lang...
收藏 引用
Conference Record of Conference on Functional programming Languages and Computer Architecture
作者: Henglein, Fritz Rehof, Jakob Univ of Copenhagen Copenhagen East Denmark
A new method for polymorphic type interference for the dynamically typed language Scheme is described. The method which infers both types and explicit run-time type operations (coercions) for a given program can be us... 详细信息
来源: 评论
Iteration space slicing and its application to communication optimization  97
Iteration space slicing and its application to communication...
收藏 引用
Proceedings of the 1997 International Conference on Supercomputing
作者: Pugh, William Rosser, Evan Univ of Maryland College Park MD United States
Applications of iteration space slicing to communication optimizations in parallel executions of programs such as stencil computations and book-cyclic Gaussian elimination with partial pivoting are examined. The key s... 详细信息
来源: 评论
A framework for modeling and optimization of prescient instruction prefetch
A framework for modeling and optimization of prescient instr...
收藏 引用
ACM SIGMETRICS 2003 - International Conference on Measurement and Modeling of Computer Systems
作者: Aamodt, Tor M. Marcuello, Pedro Chow, Paul González, Antonio Hammarlund, Per Wang, Hong Shen, John P. Microprocessor Research Intel Labs Santa Clara CA 95054 United States Intel Barcelona Research Center Universitat Politècnica de Catalunya Spain Dept. of Electrical and Computer Engineering University of Toronto Canada Desktop Products Group Intel Corp. Hillsboro OR 97124 United States
This paper describes a framework for modeling macroscopic program behavior and applies it to optimizing prescient instruction prefetch - a novel technique that uses helper threads to improve single-threaded applicatio... 详细信息
来源: 评论