咨询与建议

限定检索结果

文献类型

  • 123 篇 会议
  • 8 册 图书

馆藏范围

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

日期分布

学科分类号

  • 102 篇 工学
    • 87 篇 计算机科学与技术...
    • 61 篇 软件工程
    • 5 篇 电气工程
    • 5 篇 信息与通信工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 控制科学与工程
    • 1 篇 农业工程
    • 1 篇 生物医学工程(可授...
  • 18 篇 理学
    • 17 篇 数学
    • 2 篇 生物学
  • 2 篇 管理学
    • 2 篇 图书情报与档案管...
  • 1 篇 农学
    • 1 篇 作物学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 21 篇 logic programmin...
  • 16 篇 computer circuit...
  • 9 篇 semantics
  • 6 篇 logics and meani...
  • 5 篇 mathematical log...
  • 5 篇 programming tech...
  • 5 篇 programming lang...
  • 5 篇 artificial intel...
  • 4 篇 specifications
  • 3 篇 software enginee...
  • 3 篇 program analysis
  • 3 篇 program transfor...
  • 3 篇 software enginee...
  • 3 篇 functional progr...
  • 2 篇 model checking
  • 2 篇 static analysis
  • 2 篇 reusability
  • 1 篇 program debuggin...
  • 1 篇 functional & log...
  • 1 篇 logic-based

机构

  • 4 篇 univ roma tor ve...
  • 3 篇 katholieke univ ...
  • 3 篇 univ milan dipar...
  • 2 篇 dipartimento di ...
  • 2 篇 katholieke univ ...
  • 2 篇 univ copenhagen ...
  • 2 篇 department of co...
  • 2 篇 dipartimento di ...
  • 2 篇 cnr iasi i-00185...
  • 2 篇 univ politecn va...
  • 2 篇 univ politecn va...
  • 2 篇 univ southampton...
  • 1 篇 usn res lab ctr ...
  • 1 篇 univ brussels ul...
  • 1 篇 penn state univ ...
  • 1 篇 institut für inf...
  • 1 篇 computing scienc...
  • 1 篇 dipartimento di ...
  • 1 篇 cnr ist anal sis...
  • 1 篇 university of le...

作者

  • 5 篇 ornaghi mario
  • 4 篇 bossi a
  • 4 篇 proietti m
  • 4 篇 pettorossi a
  • 3 篇 vanhoof w
  • 3 篇 gallagher j.p.
  • 3 篇 proietti maurizi...
  • 3 篇 fribourg l
  • 3 篇 leuschel m
  • 3 篇 fuchs norbert e.
  • 3 篇 etalle s
  • 3 篇 cocco n
  • 3 篇 lau kung-kiu
  • 3 篇 fioravanti f
  • 2 篇 richardson j
  • 2 篇 vidal g
  • 2 篇 albert e
  • 2 篇 ferrari m
  • 2 篇 gallagher john p...
  • 2 篇 wiggins geraint ...

语言

  • 131 篇 英文
检索条件"任意字段=11th International Workshop on Logic Based Program Synthesis and Transformation"
131 条 记 录,以下是1-10 订阅
排序:
synthesis of Modality Definitions and a theorem Prover for Epistemic Intuitionistic logic  1
收藏 引用
30th international Conference on logic-based program synthesis and transformation (LOPSTR)
作者: Tarau, Paul Univ North Texas Dept Comp Sci & Engn Denton TX 76203 USA
We propose a mechanism for automating discovery of definitions, that, when added to a logic system for which we have a theorem prover, extends it to support an embedding of a new logic system into it. As a result, the... 详细信息
来源: 评论
Nominal Unification with Letrec and Environment-Variables  1
收藏 引用
30th international Conference on logic-based program synthesis and transformation (LOPSTR)
作者: Schmidt-Schauss, Michael Kutz, Yuliya Goethe Univ Frankfurt Germany
Unification algorithms of nominal expressions with letrec and atom- and expression-variables are already described in the literature. However, only explicit environments could be treated in nominal unification and the... 详细信息
来源: 评论
logic-based program synthesis and transformation : 8th international workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998 : Selected Papers
收藏 引用
2016年
作者: pierre flener
logic-based program synthesis and transformation : 8th international workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998 : Selected Papers by international workshop on logic-based program synthesis; Transformati... 详细信息
来源: 评论
Proceedings of the 11th international workshop on Graph Computation Models, GCM 2020
Proceedings of the 11th International Workshop on Graph Comp...
收藏 引用
11th international workshop on Graph Computation Models, GCM 2020
the proceedings contain 11 papers. the topics discussed include: VICToRy: visual interactive consistency management in tolerant rule-based systems;graph repair and its application to meta-modeling;modeling adverse con...
来源: 评论
Trace Analysis Using an Event-Driven Interval Temporal logic  29th
Trace Analysis Using an Event-Driven Interval Temporal Logic
收藏 引用
29th international Conference on logic-based program synthesis and transformation (LOPSTR)
作者: Gallardo, Maria-del-Mar Panizo, Laura Univ Malaga Dept Lenguajes & Ciencias Comp Andalucia Tech Campus Teatinos s-n Malaga 29071 Spain
Nowadays, many critical systems can be characterized as hybrid ones, combining continuous and discrete behaviours that are closely related. Changes in the continuous dynamics are usually fired by internal or external ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
the extended theory of trees and algebraic (Co)datatypes  8
The extended theory of trees and algebraic (Co)datatypes
收藏 引用
8th international workshop on Verification and program transformation, VPT 2020 and 7th workshop on Horn Clauses for Verification and synthesis, HCVS 2020
作者: Zaiser, Fabian Luke Ong, C.-H. University of Oxford
the first-order theory of finite and infinite trees has been studied since the eighties, especially by the logic programming community. Following Djelloul, Dao and Frühwirth, we consider an extension of this theo... 详细信息
来源: 评论
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...
来源: 评论
Multivariant Assertion-based Guidance in Abstract Interpretation  28th
Multivariant Assertion-Based Guidance in Abstract Interpreta...
收藏 引用
28th international Symposium on logic-based program synthesis and transformation (LOPSTR(
作者: Garcia-Contreras, Isabel Morales, Jose F. Hermenegildo, Manuel, V IMDEA Software Inst Madrid Spain Univ Politecn Madrid UPM Madrid Spain
Approximations during program analysis are a necessary evil, as they ensure essential properties, such as soundness and termination of the analysis, but they also imply not always producing useful results. Automatic t... 详细信息
来源: 评论
CEUR workshop Proceedings
CEUR Workshop Proceedings
收藏 引用
11th international Conference of programming UkrPROG, UkrPROG 2018
the proceedings contain 33 papers. the topics discussed include: transition systems as method of designing applications in GPGPU technology;context term calculus for rewriting systems;system aspects of design guarante...
来源: 评论