咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
34th international symposium on logic-based program synthesis and transformation, LOPSTR 2024
34th International Symposium on Logic-Based Program Synthesi...
收藏 引用
34th international symposium on logic-based program synthesis and transformation, LOPSTR 2024
the proceedings contain 13 papers. the special focus in this conference is on logic-based program synthesis and transformation. the topics include: Deciding Knowledge Problems Modulo Classes of Permutative theori...
来源: 评论
29th international symposium on logic-based program synthesis and transformation, LOPSTR 2019
29th International Symposium on Logic-Based Program Synthesi...
收藏 引用
29th international symposium on logic-based program synthesis and transformation, LOPSTR 2019
the proceedings contain 15 papers. the special focus in this conference is on logic-based program synthesis and transformation. the topics include: Trace Analysis Using an Event-Driven Interval Temporal logic;the Prol...
来源: 评论
28th international symposium on logic-based program synthesis and transformation, LOPSTR 2018
28th International Symposium on Logic-Based Program Synthesi...
收藏 引用
28th international symposium on logic-based program synthesis and transformation, LOPSTR 2018
the proceedings contain 11 papers. the special focus in this conference is on logic-based program synthesis and transformation. the topics include: Multivariant Assertion-based Guidance in Abstract Interpretation;guid...
来源: 评论
27th international symposium on logic-based program synthesis and transformation, LOPSTR 2017
27th International Symposium on Logic-Based Program Synthesi...
收藏 引用
27th international symposium on logic-based program synthesis and transformation, LOPSTR 2017
the proceedings contain 19 papers. the special focus in this conference is on logic-based program synthesis and transformation. the topics include: Analysis of rewriting-based systems as first-order theories;a constru...
来源: 评论
Improving logic programs by Adding Functions  34th
Improving Logic Programs by Adding Functions
收藏 引用
34th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Hanus, Michael Univ Kiel Inst Informat Kiel Germany
logic programming is based on defining relations. Functions are often considered as syntactic sugar which can be transformed into predicates so that their logic is not used for computational purposes. In this paper, w... 详细信息
来源: 评论
Parallel Assembly synthesis  34th
Parallel Assembly Synthesis
收藏 引用
34th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Hu, Jingmei Chong, Stephen Seltzer, Margo Harvard Univ Cambridge MA 02138 USA Univ British Columbia Vancouver BC Canada
program synthesis offers an attractive alternative to the intricate and tedious process of writing assembly programs manually. Assembly program synthesis automatically generates implementations, given a high-level for... 详细信息
来源: 评论
Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae  34th
Binary Implication Hypergraphs for the Representation and Si...
收藏 引用
34th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: de Mas, Jordina Frances Univ St Andrews Sch Comp Sci St Andrews Fife Scotland
Propositional simplification and preprocessing are of key importance in the fields of automated reasoning and theorem proving. We present a novel propositional formula representation able to capture all of its n-ary i... 详细信息
来源: 评论
25th international symposium on Practical Aspects of Declarative Languages, PADL 2023
25th International Symposium on Practical Aspects of Declara...
收藏 引用
25th international symposium on Practical Aspects of Declarative Languages, PADL 2023
the proceedings contain 19 papers. the special focus in this conference is on Practical Aspects of Declarative Languages. the topics include: From Starvation Freedom to All-Path Reachability Problems in Cons...
来源: 评论
26th international symposium on logic-based program synthesis and transformation, LOPSTR 2016
26th International Symposium on Logic-Based Program Synthesi...
收藏 引用
26th international symposium on logic-based program synthesis and transformation, LOPSTR 2016
the proceedings contain 20 papers. the special focus in this conference is on logic-based program synthesis and transformation. the topics include: Partial evaluation of order-sorted equational programs modulo axioms;...
来源: 评论
19th international symposium on Automated Technology for Verification and Analysis, ATVA 2021
19th International Symposium on Automated Technology for Ver...
收藏 引用
19th international symposium on Automated Technology for Verification and Analysis, ATVA 2021
the proceedings contain 24 papers. the special focus in this conference is on Automated Technology for Verification and Analysis. the topics include: Live synthesis;faster Pushdown Reachability Analysis with Applicati...
来源: 评论