咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是201-210 订阅
排序:
AUTOMATIC PROGRAM GENERATION USING SEQUENT CALCULUS  92
AUTOMATIC PROGRAM GENERATION USING SEQUENT CALCULUS
收藏 引用
20TH ANNUAL COMPUTER SCIENCE SYMP
作者: MAGHRABI, T GOLSHANI, F Department of Computer Science and Engineering Arizona State University Tempe Arizona Bull Worldwide Information Systems Phoenix Arizona
Program development can be made amenable to formal methods by using a logical framework. A logic specification, whose operational semantics is based on proof theory, provides an abstract and “implementation independ... 详细信息
来源: 评论
THE CATEGORY OF CONSTRAINT SYSTEMS IS CARTESIAN-CLOSED
THE CATEGORY OF CONSTRAINT SYSTEMS IS CARTESIAN-CLOSED
收藏 引用
7TH ANNUAL SYMP ON LOGIC IN COMPUTER SCIENCE ( LICS 92 )
作者: SARASWAT, V Xerox PARC Palo Alto CA USA
A general definition of constraint systems utilizing Gentzen-style sequents is given. Constraint systems can be regarded as enriching the propositional Scott information systems with minimal first-order structure: the... 详细信息
来源: 评论
Logic decomposition for programmable gate arrays
Logic decomposition for programmable gate arrays
收藏 引用
Proceedings Euro ASIC '92
作者: Luba, Tadeusz Markowski, Maciej Zbierzchowski, Bogdan Warsaw Univ of Technology Warsaw Poland
In this paper an effective decomposition algorithm for mapping of logic functions onto FPGAs is proposed. The algorithm exploits our symbolic decomposition concept to find FPGA based implementation with a minimal numb... 详细信息
来源: 评论
Symbolic model checking for real-time systems
Symbolic model checking for real-time systems
收藏 引用
Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science
作者: Henzinger, Thomas A. Nicollin, Xavier Sifakis, Joseph Yovine, Sergio Comput Sci Dept Cornell Univ Ithaca NY USA
Finite-state programs over real-numbered time in a guarded-command language with real-valued clocks are described. Model checking answers the question of which states of a real-time program satisfy a branching-time sp... 详细信息
来源: 评论
NEW FOUNDATIONS FOR THE GEOMETRY OF INTERACTION
NEW FOUNDATIONS FOR THE GEOMETRY OF INTERACTION
收藏 引用
7TH ANNUAL SYMP ON LOGIC IN COMPUTER SCIENCE ( LICS 92 )
作者: ABRAMSKY, S JAGADEESAN, R
A new formal embodiment of J.-Y. Girard's (1989) geometry of interaction program is given. The geometry of interaction interpretation considered is defined, and the computational interpretation is sketched in term... 详细信息
来源: 评论
OBJECT-ORIENTED ANALYSIS FOR EVOLVING SYSTEMS  92
OBJECT-ORIENTED ANALYSIS FOR EVOLVING SYSTEMS
收藏 引用
14TH INTERNATIONAL CONF ON SOFTWARE ENGINEERING
作者: LUBARS, M MEREDITH, G POTTS, C RICHTER, C Microelectronics and Computer Technology Corp
We are investigating the claim that object-oriented analysis (OOA) requirements models can be changed, reused, and integrated more easily than other kinds of requirements models. In this paper, we describe one part of... 详细信息
来源: 评论
A CONSTRUCTIVE FORMALIZATION OF THE CATCH AND THROW MECHANISM
A CONSTRUCTIVE FORMALIZATION OF THE CATCH AND THROW MECHANIS...
收藏 引用
7TH ANNUAL SYMP ON LOGIC IN COMPUTER SCIENCE ( LICS 92 )
作者: NAKANO, H Fac of Sci & Technol Ryukoku Univ Seta Otsu Japan
The catch/throw mechanism, a programming construct for nonlocal exit, plays an important role when programmers handle exceptional situations. A constructive formalization that captures the mechanism in the proofs-as-p... 详细信息
来源: 评论
Property vector specification of a multiset iterator
Property vector specification of a multiset iterator
收藏 引用
International Conference on Software Engineering
作者: Pearce, Trevor W. Lamb, David A.
Trace assertion specification methods constrain behaviour at the interface of a module by identifying legal sequences of calls to the module's access programs. The legality of extending a trace by a call is specif... 详细信息
来源: 评论
Towards integrating logic, object, frame, and production
Towards integrating logic, object, frame, and production
收藏 引用
Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering
作者: Chan, Tak-Wai Hwang, Wei-Ren Natl Central Univ Chungli Korea Republic of
Recently, considerable interest arose in integrating object-oriented and logic programming. In this paper, we describe an object-oriented logic programming language and discuss its extension by exploring its roles and... 详细信息
来源: 评论
Finiteness conditions for fixed point iteration
Finiteness conditions for fixed point iteration
收藏 引用
Proceedings of the 1992 ACM Conference on Lisp and Functional programming
作者: Nielson, Flemming Nielson, Hanne Riis Aarhus Univ Ny Munkegade Aarhus Denmark
This paper provides a link between the formulation of static program analyses using the framework of abstract interpretation (popular for functional languages) and using the more classical framework of data flow analy... 详细信息
来源: 评论