咨询与建议

限定检索结果

文献类型

  • 143 篇 会议
  • 4 册 图书

馆藏范围

  • 147 篇 电子文献
  • 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...
  • 9 篇 program transfor...
  • 8 篇 computer circuit...
  • 8 篇 semantics
  • 5 篇 program analysis
  • 4 篇 program synthesi...
  • 4 篇 constraint handl...
  • 3 篇 static analysis
  • 3 篇 fpga
  • 3 篇 source-to-source...
  • 2 篇 program debuggin...
  • 2 篇 floating-point n...
  • 2 篇 concurrent const...
  • 2 篇 types
  • 2 篇 program slicing
  • 2 篇 debugging
  • 2 篇 coinduction
  • 2 篇 abstract interpr...
  • 2 篇 combinatorics of...
  • 2 篇 congresses.

机构

  • 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 篇 univ politecn va...

作者

  • 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 篇 gallagher john p...
  • 2 篇 komendantskaya e...
  • 2 篇 sharaf nada
  • 2 篇 hermenegildo man...
  • 2 篇 tarau paul

语言

  • 144 篇 英文
  • 3 篇 中文
检索条件"任意字段=19th International Symposium on Logic-Based Program Synthesis and Transformation"
147 条 记 录,以下是61-70 订阅
排序:
A Generic Intermediate Representation for Verification Condition Generation  25th
A Generic Intermediate Representation for Verification Condi...
收藏 引用
25th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Montenegro, Manuel Pena, Ricardo Sanchez-Hernandez, Jaime Univ Complutense Madrid Madrid Spain
As part of a platform for computer-assisted verification, we present an intermediate representation of programs that is both language independent and appropriate for the generation of verification conditions. We show ... 详细信息
来源: 评论
Concolic Execution in Functional programming by program Instrumentation  25th
Concolic Execution in Functional Programming by Program Inst...
收藏 引用
25th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Palacios, Adrian Vidal, German Univ Politecn Valencia DSIC MiST Camino Vera S-N E-46022 Valencia Spain
Concolic execution, a combination of concrete and symbolic execution, has become increasingly popular in recent approaches to model checking and test case generation. In general, an interpreter of the language is augm... 详细信息
来源: 评论
Analyzing Array Manipulating programs by program transformation  24th
Analyzing Array Manipulating Programs by Program Transformat...
收藏 引用
24th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Cornish, J. Robert M. Gange, Graeme Navas, Jorge A. Schachte, Peter Sondergaard, Harald Stuckey, Peter J. Univ Melbourne Dept Comp & Informat Syst Melbourne Vic 3010 Australia NASA Ames Res Ctr Moffett Field Mountain View CA 94035 USA
We explore a transformational approach to the problem of verifying simple array-manipulating programs. Traditionally, verification of such programs requires intricate analysis machinery to reason with universally quan... 详细信息
来源: 评论
Correctness of Context-Moving transformations for Term Rewriting Systems  25th
Correctness of Context-Moving Transformations for Term Rewri...
收藏 引用
25th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Sato, Koichi Kikuchi, Kentaro Aoto, Takahito Toyama, Yoshihito Tohoku Univ RIEC Aoba Ku 2-1-1 Katahira Sendai Miyagi 9808577 Japan
Proofs by induction are often incompatible with functions in tail-recursive form as the accumulator changes in the course of unfolding the definitions. Context-moving and context-splitting (Giesl, 2000) for functional... 详细信息
来源: 评论
CHRAnimation: An Animation Tool for Constraint Handling Rules  24th
CHRAnimation: An Animation Tool for Constraint Handling Rule...
收藏 引用
24th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Sharaf, Nada Abdennadher, Slim Fruehwirth, thom German Univ Cairo Cairo Egypt Univ Ulm D-89069 Ulm Germany
Visualization tools of different languages offer its users with a needed set of features allowing them to animate how programs of such languages work. Constraint Handling Rules (CHR) is currently used as a general pur... 详细信息
来源: 评论
Polynomial Approximation to Well-Founded Semantics for logic programs with Generalized Atoms: Case Studies  24th
Polynomial Approximation to Well-Founded Semantics for Logic...
收藏 引用
24th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Chowdhury, Md. Solimul Liu, Fangfang Chen, Wu Karimi, Arash You, Jia-Huai Univ Alberta Dept Comp Sci Edmonton AB Canada Shanghai Univ Coll Comp & Informat Sci Baoshan Peoples R China Southwest Univ Coll Comp & Informat Sci Chongqing Peoples R China
the well-founded semantics of normal logic programs has two main utilities, one being an efficiently computable semantics with a unique intended model, and the other serving as polynomial time constraint propagation f... 详细信息
来源: 评论
Proof Checking and logic programming  25th
Proof Checking and Logic Programming
收藏 引用
25th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Miller, Dale Ecole Polytech Inria Palaiseau France Ecole Polytech LIX Palaiseau France
In a world where trusting software systems is increasingly important, formal methods and formal proof can help provide trustable foundations. Proof checking can help to reduce the size of the trusted base since we do ... 详细信息
来源: 评论
A Generalized Model for Algorithmic Debugging  25th
A Generalized Model for Algorithmic Debugging
收藏 引用
25th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Insa, David Silva, Josep Univ Politecn Valencia E-46022 Valencia Spain
Algorithmic debugging is a semi-automatic debugging technique that is present in practically all mature programming languages. In this paper we claim that the state of the practice in algorithmic debugging is a step f... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
20th international symposium on Formal Methods, FM 2015
收藏 引用
20th international symposium on Formal Methods, FM 2015
the proceedings contain 43 papers. the special focus in this conference is on Formal Methods. the topics include: Automated circular assume-guarantee reasoning;narrowing operators on template abstract domains;detectio...
来源: 评论