咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
THE ROLE OF STANDARDIZING APART IN LOGIC programming
收藏 引用
THEORETICAL COMPUTER SCIENCE 1994年 第1期129卷 143-166页
作者: SHEPHERDSON, JC Mathematics Department University of Bristol UK
Some of the basic results in the theory of logic programming, e.g. the mgu lemma, lifting lemma and completeness theorem, have been incorrectly stated in standard texts. We explain how these errors arise and how they ... 详细信息
来源: 评论
REVERSING ABSTRACT INTERPRETATIONS
收藏 引用
SCIENCE OF COMPUTER programming 1994年 第3期22卷 307-326页
作者: HUGHES, J LAUNCHBURY, J UNIV GLASGOW DEPT COMP SCIGLASGOW G12 8QQSCOTLAND
Program analyses are often presented as one of two brands: forwards or backwards. In this paper we explore the significance of the direction of analysis, and show how arbitrary abstract interpretations may be reversed.
来源: 评论
TERM GRAPH REWRITING AND GARBAGE COLLECTION USING OPFIBRATIONS
收藏 引用
THEORETICAL COMPUTER SCIENCE 1994年 第1期131卷 29-94页
作者: BANACH, R Computer Science Department University of Manchester Manchester M13 9PL UK
The categorical semantics of (an abstract version of) the general term graph rewriting language DACTL is investigated. The operational semantics is reformulated in order to reveal its universal properties. The technic... 详细信息
来源: 评论
REGULAR RELATIONS AND BICARTESIAN SQUARES
收藏 引用
THEORETICAL COMPUTER SCIENCE 1994年 第1期129卷 187-192页
作者: BANACH, R Computer Science Department University of Manchester M13 9PL UK
It is shown that regular relations, which arise in a number of areas of programming theory, can be characterised in a variety of ways as pullbacks in Jet;and up to isomorphism, as bicartesian squares in Jet.
来源: 评论
ON THE RELATIVE MERITS OF PATH DISSOLUTION AND THE METHOD OF ANALYTIC TABLEAUX
收藏 引用
THEORETICAL COMPUTER SCIENCE 1994年 第1期131卷 1-28页
作者: MURRAY, NV ROSENTHAL, E UNIV NEW HAVEN DEPT MATHW HAVENCT 06516
Path dissolution is an inferencing mechanism that generalizes the method of analytic tableaux. We present several results demonstrating that tableau deductions can be substantially speeded up with applications of diss... 详细信息
来源: 评论
APPROXIMATE FIXED-POINTS IN ABSTRACT INTERPRETATION
收藏 引用
SCIENCE OF COMPUTER programming 1994年 第3期22卷 283-306页
作者: HANKIN, C HUNT, S UNIV LONDON IMPERIAL COLL SCI TECHNOL & MED DEPT COMPLONDON SW7 2BZENGLAND
Much of the earlier development of abstract interpretation, and its application to imperative programming languages, has concerned techniques for finding fixed points in large (often infinite) lattices. The standard a... 详细信息
来源: 评论
IMPLEMENTATION OF STATIC SEMANTIC ANALYSIS OF LOTOS SPECIFICATIONS
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1994年 第2期9卷 55-66页
作者: DURANTE, L SISTO, R VALENZANO, A POLITECN TORINO DIPARTIMENTO AUTOMAT & INFORMAT I-10129 TURIN ITALY POLITECN TORINO CTR ELABORAZ NUMERALE SEGNALI I-10129 TURIN ITALY
The implementation of syntax-driven static semantic analysis of languages presenting recursive forward references in their definition requires the handling of a syntax tree. When dealing with languages for which the s... 详细信息
来源: 评论
ON THE MUTUAL-EXCLUSION PROBLEM - A QUEST FOR MINIMAL SOLUTIONS
收藏 引用
THEORETICAL COMPUTER SCIENCE 1994年 第1期129卷 1-38页
作者: ABRAHAM, U MAGIDOR, M HEBREW UNIV JERUSALEM INST MATHJERUSALEMISRAEL
We investigate here the question of finding the minimal requirements for the registers used by n processes that solve the critical-section problem. For two processes, we show that there cannot be a solution to the cri... 详细信息
来源: 评论
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... 详细信息
来源: 评论