咨询与建议

限定检索结果

文献类型

  • 25 篇 期刊文献
  • 21 篇 会议
  • 1 册 图书
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 45 篇 工学
    • 36 篇 计算机科学与技术...
    • 12 篇 软件工程
    • 3 篇 电气工程
    • 2 篇 控制科学与工程
    • 1 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 信息与通信工程
    • 1 篇 建筑学
    • 1 篇 土木工程
  • 10 篇 理学
    • 7 篇 数学
    • 2 篇 物理学
    • 1 篇 系统科学
  • 4 篇 教育学
    • 4 篇 教育学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 48 篇 imperative progr...
  • 6 篇 declarative prog...
  • 6 篇 functional progr...
  • 5 篇 incremental comp...
  • 4 篇 languages
  • 4 篇 constraint solvi...
  • 3 篇 program analysis
  • 3 篇 dataflow program...
  • 3 篇 algorithms
  • 3 篇 design
  • 3 篇 observer design ...
  • 3 篇 data structure r...
  • 3 篇 object-oriented ...
  • 3 篇 reactive program...
  • 2 篇 experimentation
  • 2 篇 theorem proving
  • 2 篇 search agent
  • 2 篇 denotational sem...
  • 2 篇 programming para...
  • 2 篇 xml

机构

  • 3 篇 cornell univ dep...
  • 2 篇 univ colorado bo...
  • 2 篇 univ paris dider...
  • 2 篇 univ manchester ...
  • 2 篇 ibm corp tj wats...
  • 2 篇 indiana univ sic...
  • 2 篇 toyota technol i...
  • 1 篇 imperial coll lo...
  • 1 篇 lanzhou univ sch...
  • 1 篇 univ n carolina ...
  • 1 篇 school of mathem...
  • 1 篇 univ london impe...
  • 1 篇 tamkang univ dep...
  • 1 篇 univ sussex dept...
  • 1 篇 unsw australia n...
  • 1 篇 hankyong natl un...
  • 1 篇 sapienza univ ro...
  • 1 篇 ucl dept comp sc...
  • 1 篇 delft univ techn...
  • 1 篇 univ amsterdam d...

作者

  • 3 篇 demetrescu camil
  • 3 篇 leivant daniel
  • 3 篇 ribichini andrea
  • 3 篇 finocchi irene
  • 2 篇 kozen dexter
  • 2 篇 peshansky igor
  • 2 篇 ahmed amal
  • 2 篇 henderson chris
  • 2 篇 blume matthias
  • 2 篇 reichenbach chri...
  • 2 篇 burke michael g.
  • 2 篇 bansal ajay
  • 2 篇 raghavachari muk...
  • 2 篇 jeannin jean-bap...
  • 2 篇 smith james
  • 2 篇 acar umut a.
  • 2 篇 lau kung-kiu
  • 1 篇 kumar amruth n.
  • 1 篇 wisnesky ryan
  • 1 篇 guttmann walter

语言

  • 39 篇 英文
  • 8 篇 其他
  • 1 篇 中文
检索条件"主题词=imperative programming"
48 条 记 录,以下是31-40 订阅
排序:
Finitism, imperative Programs and Primitive Recursion
Finitism, Imperative Programs and Primitive Recursion
收藏 引用
International Symposium on Logical Foundations of Computer Science (LFCS)
作者: Leivant, Daniel Indiana Univ SICE Bloomington IN 47405 USA Univ Paris Diderot IRIF Paris France
The finitistic philosophy of mathematics, critical of referencing infinite totalities, has been associated from its inception with primitive recursion. That kinship was not initially substantiated, but is widely assum... 详细信息
来源: 评论
Deferring the Details and Deriving Programs  4
Deferring the Details and Deriving Programs
收藏 引用
4th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe)
作者: O'Connor, Liam UNSW Australia Sydney NSW Australia
A commonly-used technique in dependently-typed programming is to encode invariants about a data structure into its type, thus ensuring that the data structure is correct by construction. Unfortunately, this often nece... 详细信息
来源: 评论
Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic  2017
Automatic Cyclic Termination Proofs for Recursive Procedures...
收藏 引用
6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP)
作者: Rowe, Reuben N. S. Brotherston, James UCL Dept Comp Sci London England
We describe a formal verification framework and tool implementation, based upon cyclic proofs, for certifying the safe termination of imperative pointer programs with recursive procedures. Our assertions are symbolic ... 详细信息
来源: 评论
Verification by Reduction to Functional Programs
Verification by Reduction to Functional Programs
收藏 引用
作者: Regis William BLANC ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE
学位级别:博士
In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recu... 详细信息
来源: 评论
Knowledge-Based Explorable Extended Reality Environments  1st ed. 2020
Knowledge-Based Explorable Extended Reality Environments
收藏 引用
2020年
作者: Jakub Flotyński
来源: 评论
Using Generic and Generated Components to Create Static Software Analysis Tools Faster
Using Generic and Generated Components to Create Static Soft...
收藏 引用
13th Pacific Rim Knowledge Acquisition Workshop (PKAW)
作者: Tippetts, Edward Univ Canberra Canberra ACT 2601 Australia
In today's software engineering tool landscape, many sophisticated imperative static source code analysis tools exist. However the implementations of these analyses are normally tied to specific languages, so must... 详细信息
来源: 评论
The Math Gap in an Inclusive CS1 Course  18
The Math Gap in an Inclusive CS1 Course
收藏 引用
49th ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE)
作者: Jordan, Kris Stein, Gabi Univ N Carolina Chapel Hill NC 27515 USA
This poster investigated the data from the past year of CS1 and found overwhelming evidence that students who have taken calculus are significantly more likely to succeed and less likely to fail that those who do not.... 详细信息
来源: 评论
imperative self-adjusting computation
收藏 引用
ACM SIGPLAN NOTICES 2008年 第1期43卷 309-322页
作者: Acar, Umut A. Ahmed, Amal Blume, Matthias Toyota Technol Inst Chicago IL USA
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e. g., inputs). The idea behind the approach is to store all data that can change over time ... 详细信息
来源: 评论
The Curse of the Excluded Middle
收藏 引用
COMMUNICATIONS OF THE ACM 2014年 第6期57卷 50-55页
作者: Meijer, Erik Appl Dual Inc Cupertino CA USA Delft Univ Technol Delft Netherlands
"Mostly functional" programming does not work.
来源: 评论
SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION
收藏 引用
LOGICAL METHODS IN COMPUTER SCIENCE 2024年 第2期20卷
作者: Park, Sewon Brausse, Franz Collins, Pieter Kim, Sunyoung Konecny, Michal Lee, Gyesik Mueller, Norbert Neumann, Eike Preining, Norbert Ziegler, Martin Korea Adv Inst Sci & Technol Sch Comp Daejeon South Korea Univ Manchester Manchester England Maastricht Univ Maastricht Netherlands Yonsei Univ Seoul South Korea Aston Univ Birmingham England Hankyong Natl Univ Anseong South Korea Univ Trier Trier Germany Swansea Univ Swansea Wales Cornell Tech arXiv Komatsu Japan
We propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides a formal programming language -theor... 详细信息
来源: 评论