咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是141-150 订阅
排序:
Dynamic typing and subtype inference  95
Dynamic typing and subtype inference
收藏 引用
Conference Record of Conference on Functional programming Languages and Computer Architecture
作者: Aiken, Alexander Fahndrich, Manuel Univ of California Berkeley Berkeley CA United States
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynamic typing with a subtyping system based... 详细信息
来源: 评论
Integrating object-oriented requirements specifications with formal notations
Integrating object-oriented requirements specifications with...
收藏 引用
Proceedings of the 1995 IEEE 7th International Conference on Tools with Artificial Intelligence
作者: Lee, Jonathan Pan, Jiann-I Huang, Wei T. Natl Central Univ Chungli Taiwan
In this paper, we propose an integration of an extension of Bailin's object-oriented requirements specification (OOS) with a formal notation (Z), called OOSZ. The OOS is used to guide the derivation of Z specifica... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Warm fusion: deriving build-catas from recursive definitions
Warm fusion: deriving build-catas from recursive definitions
收藏 引用
Conference Record of Conference on Functional programming Languages and Computer Architecture
作者: Launchbury, John Sheard, Tim Oregon Graduate Inst of Science & Technology Portland United States
Program fusion is the process whereby separate pieces of code are fused into a single piece, typically transforming a multi-pass algorithm into a single pass. Recent work has made it clear that the process is especial... 详细信息
来源: 评论
Shortcut deforestation in calculational form  95
Shortcut deforestation in calculational form
收藏 引用
Conference Record of Conference on Functional programming Languages and Computer Architecture
作者: Takano, Akihiko Meijer, Erik Hitachi Advanced Research Lab Saitama Japan
In functional programming, intermediate data structures are often used to 'glue' together small programs. Deforestation is a program transformation to remove these intermediate data structures automatically. W... 详细信息
来源: 评论
Dimension inference under polymorphic recursion  95
Dimension inference under polymorphic recursion
收藏 引用
Conference Record of Conference on Functional programming Languages and Computer Architecture
作者: Rittri, Mikael Chalmers Univ of Technology and Goteborg Univ Goteborg Sweden
Numeric types can be given polymorphic dimension parameters, in order to avoid dimension errors and unit errors. The most general dimensions can be inferred automatically. It has been observed that polymorphic recursi... 详细信息
来源: 评论
A new approach to organizing the anticipatory data sampling for single-processor and parallel computers: formal models and proofs
Avtomatika i Telemekhanika
收藏 引用
Avtomatika i Telemekhanika 1995年 第8期 158-181页
作者: Bakharevskij, A.L. Ignatushchenko, V.V. Inst Problem Upravleniya RAN Moscow Russia
A new approach to formation and organization of the anticipatory data sampling (A-process) in fast local processor memory is analyzed in development of mechanisms directed to achievement of the limitary processors cap... 详细信息
来源: 评论
Transparency and soundness in WP semantics of procedures
Hua Dong Li Gong Da Xue/Journal of East China University of ...
收藏 引用
Hua Dong Li Gong Da Xue/Journal of East China University of Science and Technology 1995年 第1期21卷 95-98页
作者: Shao, Zhiqing Song, Guoxin Fu, Chunyi East China Univ of Science and Technology Shanghai China
Several mistakes in Transparency Lemma and Soundness Theorem proved by Bijlsma (1989) were pointed out by proposing some counter examples. Furthermore, the authors reproved the above results using intuitive methods wh... 详细信息
来源: 评论
Mathematical theory and its environment for parallel programming
收藏 引用
Parallel processing letters 1994年 第3期4卷 313-328页
作者: Violard, Eric Univ of Franche-Comte Besancon France
This paper presents the main concepts of the mathematical theory PEI for parallel programming and emphasizes its derivation power. The mathematical basis of this theory leads to a nice implementation in CENTAUR of an ... 详细信息
来源: 评论