咨询与建议

限定检索结果

文献类型

  • 143 篇 会议
  • 15 册 图书

馆藏范围

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

日期分布

学科分类号

  • 125 篇 工学
    • 124 篇 计算机科学与技术...
    • 69 篇 软件工程
    • 6 篇 电气工程
    • 5 篇 信息与通信工程
    • 3 篇 控制科学与工程
    • 1 篇 机械工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 网络空间安全
  • 38 篇 理学
    • 37 篇 数学
    • 1 篇 生物学
  • 4 篇 管理学
    • 3 篇 图书情报与档案管...
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 39 篇 logic programmin...
  • 11 篇 logics and meani...
  • 9 篇 program transfor...
  • 9 篇 mathematical log...
  • 8 篇 computer circuit...
  • 8 篇 semantics
  • 8 篇 artificial intel...
  • 7 篇 programming lang...
  • 6 篇 software enginee...
  • 6 篇 programming tech...
  • 5 篇 program analysis
  • 4 篇 program synthesi...
  • 4 篇 software enginee...
  • 4 篇 constraint handl...
  • 3 篇 static analysis
  • 3 篇 fpga
  • 3 篇 source-to-source...
  • 2 篇 program debuggin...
  • 2 篇 floating-point n...
  • 2 篇 concurrent const...

机构

  • 4 篇 univ politecn va...
  • 3 篇 katholieke univ ...
  • 3 篇 nagoya inst tech...
  • 2 篇 univ politecn ma...
  • 2 篇 univ fed rio gra...
  • 2 篇 univ politecn va...
  • 2 篇 katholieke univ ...
  • 2 篇 univ southern de...
  • 2 篇 rhein westfal th...
  • 2 篇 univ complutense...
  • 2 篇 univ north texas...
  • 2 篇 tech u madrid sc...
  • 2 篇 imdea software i...
  • 2 篇 univ new mexico ...
  • 2 篇 univ new mexico ...
  • 2 篇 ecole polytech l...
  • 2 篇 univ ulm d-89069...
  • 2 篇 ecole polytech i...
  • 2 篇 german univ cair...
  • 2 篇 nagoya institute...

作者

  • 6 篇 vidal german
  • 4 篇 proietti maurizi...
  • 4 篇 schneider-kamp p...
  • 4 篇 silva josep
  • 4 篇 falaschi moreno
  • 4 篇 seki hirohisa
  • 4 篇 abdennadher slim
  • 4 篇 giesl juergen
  • 3 篇 de schreye danny
  • 3 篇 leuschel michael
  • 3 篇 lucas salvador
  • 3 篇 meseguer jose
  • 2 篇 puebla german
  • 2 篇 bruynooghe mauri...
  • 2 篇 senni valerio
  • 2 篇 michael hanus
  • 2 篇 gallagher john p...
  • 2 篇 komendantskaya e...
  • 2 篇 sharaf nada
  • 2 篇 hermenegildo man...

语言

  • 155 篇 英文
  • 3 篇 中文
检索条件"任意字段=19th International Symposium on Logic-Based Program Synthesis and Transformation"
158 条 记 录,以下是141-150 订阅
排序:
Inferring Energy Bounds via Static program Analysis and Evolutionary Modeling of Basic Blocks  27th
Inferring Energy Bounds via Static Program Analysis and Evol...
收藏 引用
27th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Liqat, Umer Bankovic, Zorana Lopez-Garcia, Pedro Hermenegildo, Manuel, V IMDEA Software Inst Madrid Spain Spanish Council Sci Res CSIC Madrid Spain Univ Politecn Madrid Madrid Spain
the ever increasing number and complexity of energy-bound devices (such as the ones used in Internet of things applications, smart phones, and mission critical systems) pose an important challenge on techniques to opt... 详细信息
来源: 评论
logic-based program synthesis and transformation  2008
收藏 引用
丛书名: Lecture Notes in Computer Science
2008年
作者: Andy King
来源: 评论
Verification, Model Checking, and Abstract Interpretation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Isil Dillig Jens Palsberg
this book constitutes the refereed proceedings of the 19th international Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.;the 24 full ... 详细信息
来源: 评论
25th international symposium on Model Checking Software, SPIN 2018
25th International Symposium on Model Checking Software, SPI...
收藏 引用
25th international symposium on Model Checking Software, SPIN 2018
the proceedings contain 19 papers. the special focus in this conference is on Model Checking Software. the topics include: An extension of TRIANGLE testbed with model-based testing;local data race freedom with non-mul...
来源: 评论
logic based program synthesis and transformation  2006
收藏 引用
丛书名: Lecture Notes in Computer Science
2006年
作者: Patricia M. Hill
来源: 评论
Static Analysis  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Antoine Miné David Schmidt
this book constitutes the thoroughly refereed proceedings of the 19th international symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. the 25 revised full papers presented together w... 详细信息
来源: 评论
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems  24th
Extending the 2D Dependency Pair Framework for Conditional T...
收藏 引用
24th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Lucas, Salvador Meseguer, Jose Gutierrez, Raul Univ Illinois CS Dept Champaign IL 61820 USA Univ Politecn Valencia DSIC E-46022 Valencia Spain
Recently, a new dependency pair framework for proving operational termination of Conditional Term Rewriting Systems (CTRSs) has been introduced. We call it 2D Dependency Pair (DP) Framework for CTRSs because it makes ... 详细信息
来源: 评论
transformational verification of quicksort  8
Transformational verification of quicksort
收藏 引用
8th international Workshop on Verification and program transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and synthesis, HCVS 2020
作者: de Angelis, Emanuele Fioravanti, Fabio Proietti, Maurizio CNR IASI Via dei Taurini 19 Roma00185 Italy DEC University "G. d'Annunzio" of Chieti-Pescara Viale Pindaro 42 Pescara65127 Italy
Many transformation techniques developed for constraint logic programs, also known as constrained Horn clauses (CHCs), have found new useful applications in the field of program verification. In this paper, we work ou... 详细信息
来源: 评论
Practical Aspects of Declarative Languages - 11th international symposium, PADL 2009, Proceedings
收藏 引用
11th international symposium on Practical Aspects of Declarative Languages, PADL 2009
the proceedings contain 19 papers. the topics discussed include: on preferring and inspecting abductive models;declarative programming of user interfaces;huge data but small programs: visualization design via multiple...
来源: 评论
Eliminating Timing Side-Channel Leaks using program Repair  2018
Eliminating Timing Side-Channel Leaks using Program Repair
收藏 引用
27th ACM SIGSOFT international symposium on Software Testing and Analysis (ISSAT)
作者: Wu, Meng Guo, Shengjian Schaumont, Patrick Wang, Chao Virginia Tech Blacksburg VA 24061 USA Univ Southern Calif Los Angeles CA 90007 USA
We propose a method, based on program analysis and transformation, for eliminating timing side channels in software code that implements security-critical applications. Our method takes as input the original program t... 详细信息
来源: 评论