咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 244 篇 programming theo...
  • 10 篇 programming and ...
  • 6 篇 software enginee...
  • 5 篇 software testing
  • 4 篇 high level langu...
  • 3 篇 programming
  • 3 篇 ada
  • 3 篇 graph theory
  • 3 篇 software reliabi...
  • 3 篇 program verifica...
  • 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 篇 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...

语言

  • 211 篇 英文
  • 17 篇 其他
  • 12 篇 俄文
  • 4 篇 中文
检索条件"主题词=Programming theory"
244 条 记 录,以下是41-50 订阅
排序:
INFERRING THE EQUIVALENCE OF FUNCTIONAL PROGRAMS THAT MUTATE DATA
收藏 引用
THEORETICAL COMPUTER SCIENCE 1992年 第2期105卷 167-215页
作者: MASON, I TALCOTT, C STANFORD UNIV DEPT COMP SCI STANFORD CA 94305 USA
In this paper we study the constrained equivalence of programs with effects. In particular, we present a formal system for deriving such equivalences. The formal system we present defines a single-conclusion consequen... 详细信息
来源: 评论
POWER DOMAINS AND 2ND-ORDER PREDICATES
收藏 引用
THEORETICAL COMPUTER SCIENCE 1993年 第1-2期111卷 59-88页
作者: HECKMANN, R FB 14-Informatik Universit&auml t des Saarlandes W-6600 Saarbr&uuml cken Germany
Lower, upper, sandwich, mixed. and convex power domains are isomorphic to domains of second-order predicates mapping predicates on the ground domain to logical values in a semiring. The various power domains differ in... 详细信息
来源: 评论
COMPLETE PROOF RULES FOR STRONG FAIRNESS AND STRONG EXTREME FAIRNESS
收藏 引用
THEORETICAL COMPUTER SCIENCE 1993年 第1-2期111卷 125-143页
作者: MAIN, MG Department of Computer Science University of Colorado Boulder CO 80309 USA
This paper demonstrates completeness of a termination-rule for iterative programs with strongly fair nondeterminism, even when there are countably infinite options for the nondeterminism. This means that whenever a pr... 详细信息
来源: 评论
BACK TO DIRECT STYLE
收藏 引用
SCIENCE OF COMPUTER programming 1994年 第3期22卷 183-195页
作者: DANVY, O CARNEGIE MELLON UNIV SCH COMP SCI PITTSBURGH PA 15213 USA AARHUS UNIV DEPT COMP SCI DK-8000 AARHUS DENMARK XEROX CORP PALO ALTO RES CTR PALO ALTO CA 94304 USA KANSAS STATE UNIV AGR & APPL SCI MANHATTAN KS 66506 USA
This paper describes the transformation of lambda-terms from continuation-passing style (CPS) to direct style. This transformation is the left inverse of Plotkin's left-to-right call-by-value CPS encoding for the ... 详细信息
来源: 评论
PROGRAM COMPOSITION VIA UNIFICATION
收藏 引用
THEORETICAL COMPUTER SCIENCE 1994年 第1期131卷 139-179页
作者: FIX, L FRANCEZ, N GRUMBERG, O TECHNION ISRAEL INST TECHNOL DEPT COMP SCIIL-32000 HAIFAISRAEL
Program composition and compositional proof systems have proved themselves important for simplifying the design and the verification of programs. The paper presents a version of the jigsaw program composition operator... 详细信息
来源: 评论
DEFINING CONDITIONAL-INDEPENDENCE USING COLLAPSES
收藏 引用
THEORETICAL COMPUTER SCIENCE 1992年 第2期101卷 337-359页
作者: KATZ, S PELED, D UNIV WARWICK DEPT COMP SCI COVENTRY CV4 7AL W MIDLANDS ENGLAND
Trace semantics is extended to allow conditional commutativity among operations. Conditional commutativity is obtained by identifying the context (the set of global states) in which operations are commutative using sp... 详细信息
来源: 评论
COMPUTATIONS IN APS
收藏 引用
THEORETICAL COMPUTER SCIENCE 1993年 第1期119卷 145-171页
作者: LETICHEVSKY, AA KAPITONOVA, JV KONOZENKO, SV Glushkov Institute of Cybernetics Ukrainian Academy of Sciences Kiev 252207 Ukraine
An algebraic programming system (APS) integrates four main paradigms of computations: procedural, functional, algebraic (rewriting rules) and logical. All of them may be used in different combinations at different lev... 详细信息
来源: 评论
Improving automation software dependability: A role for formal methods?
收藏 引用
CONTROL ENGINEERING PRACTICE 2007年 第11期15卷 1403-1415页
作者: Johnson, Timothy L. GE Global Res Niskayuna NY 12309 USA
The growth of manufacturing control software from simple NC and PLC-based systems to concurrent networked systems incorporating PCs, PLCs, CNCs, and enterprise databases has created new challenges to the design, imple... 详细信息
来源: 评论
Static correctness of hierarchical procedures
收藏 引用
THEORETICAL COMPUTER SCIENCE 1996年 第1-2期156卷 177-201页
作者: Schwartzbach, MI AARHUS UNIV DEPT COMP SCI NY MUNKEGADE DK-8000 AARHUS DENMARK
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this property to enable type-safe hierarchi... 详细信息
来源: 评论
On bunched typing
收藏 引用
JOURNAL OF FUNCTIONAL programming 2003年 第4期13卷 747-796页
作者: O'Hearn, P Queen Mary Univ London Dept Comp Sci London England
We study a typing scheme derived from a semantic situation where a single category possesses several closed structures, corresponding to different varieties of function type. In this scheme typing contexts are trees b... 详细信息
来源: 评论