咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是111-120 订阅
排序:
Implementing deterministic declarative concurrency using sieves
Implementing deterministic declarative concurrency using sie...
收藏 引用
DAMP 2007: Workshop on Declarative Aspects of Multicore programming
作者: Lindley, Sam University of Edinburgh United Kingdom
The predominant thread-based approach to concurrent programming is bug-prone, difficult to reason about, and does not scale well to large numbers of processors. Sieves provide a simple way of adding deterministic decl... 详细信息
来源: 评论
Denotational semantics using an operationally-based term model  97
Denotational semantics using an operationally-based term mod...
收藏 引用
The 1997 24th ACM SIGPLAN-SIGACT Symposium on Principles of programming Languages, POPL'97
作者: Wand, Mitchell Sullivan, Gregory T. Northeastern Univ Boston MA United States
We introduce a method for proving the correctness of transformations of programs in languages like Scheme and ML. The method consists of giving the programs a denotational semantics in an operationally-based term mode... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Generalization and domain specific functions in genetic programming
Generalization and domain specific functions in genetic prog...
收藏 引用
Proceedings of the 2000 Congress on Evolutionary Computation
作者: Kuscu, Ibrahim Univ of Surrey Guildford United Kingdom
This research presents an evaluation of user defined domain specific functions of genetic programming using relational learning problems, generalization for this class of learning problems and learning bias. After pro... 详细信息
来源: 评论
Weaving a debugging aspect into domain-specific language grammars  05
Weaving a debugging aspect into domain-specific language gra...
收藏 引用
20th Annual ACM Symposium on Applied Computing
作者: Wu, Hui Gray, Jeff Roychoudhury, Suman Mernik, Marjan Department of Computer and Information Sciences University of Alabama at Birmingham Birmingham AL 35294-1170 United States Faculty of Electrical Engineering and Computer Science University of Maribor 2000 Maribor Slovenia
A common trend in programming language specification is to generate various tools (e.g., compiler, editor, profiler, and debugger) from a grammar. In such a generative approach, it is desirable to have the definition ... 详细信息
来源: 评论
Checking geometric programs or verification of geometric structures  96
Checking geometric programs or verification of geometric str...
收藏 引用
Proceedings of the 1996 12th Annual Symposium on Computational Geometry
作者: Mehlhorn, Kurt Naeher, Stefan Schilz, Thomas Schirra, Stefan Seel, Michael Seidel, Raimund Uhrig, Christian Max-Planck-Inst fuer Informatik Saarbruecken Germany
A program checker verifies that a particular program execution is correct. We give simple and efficient program checkers for some basic geometric tasks. We report about our experiences with program checking in the con... 详细信息
来源: 评论
TAO Project: An Intuitive Application UI Test Toolset
TAO Project: An Intuitive Application UI Test Toolset
收藏 引用
6th International Conference on Information Technology - New Generations (ITNG 2009)
作者: Li, Min Wang, Jason Damata, Lamar Microsoft China China Microsoft Corporation United States
This paper describes a GUI testing toolset. This toolset was designed to augment the primary testing activities found in a normal GUI testing cycle. It includes an automatic test case and test automation generator, st... 详细信息
来源: 评论
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... 详细信息
来源: 评论
LOCAL AND ASYNCHRONOUS BETA-REDUCTION
LOCAL AND ASYNCHRONOUS BETA-REDUCTION
收藏 引用
8TH ANNUAL IEEE SYMP ON LOGIC IN COMPUTER SCIENCE ( LICS 93 )
作者: DANOS, V REGNIER, L Cent Natl de la Recherche Scientifique Paris France
We build a confluent, local, asynchronous reduction on λ-terms, using infinite objects (partial injections of Girard's algebra L*), which is simple (only one move), intelligible (semantic setting of the reduction... 详细信息
来源: 评论
COPY AVOIDANCE THROUGH COMPILE-TIME ANALYSIS AND LOCAL REUSE
COPY AVOIDANCE THROUGH COMPILE-TIME ANALYSIS AND LOCAL REUSE
收藏 引用
INTERNATIONAL SYMP ON LOGIC programming
作者: FOSTER, I WINSBOROUGH, W Argonne Natl Lab Argonne United States
In single-assignment languages, modifications to data can be achieved only by explicit copying. Copy-avoidance schemes seek to avoid overhead associated with this copying and associated storage reclamation. Previous p... 详细信息
来源: 评论