咨询与建议

限定检索结果

文献类型

  • 146 篇 会议
  • 14 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

  • 4 篇 univ politecn va...
  • 3 篇 katholieke univ ...
  • 3 篇 nagoya inst tech...
  • 3 篇 univ north texas...
  • 2 篇 univ politecn ma...
  • 2 篇 microsoft resear...
  • 2 篇 univ fed rio gra...
  • 2 篇 univ politecn va...
  • 2 篇 katholieke univ ...
  • 2 篇 univ southern de...
  • 2 篇 rhein westfal th...
  • 2 篇 cnr iasi rome
  • 2 篇 univ complutense...
  • 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...

作者

  • 6 篇 vidal german
  • 4 篇 tarau paul
  • 4 篇 schneider-kamp p...
  • 4 篇 silva josep
  • 4 篇 falaschi moreno
  • 4 篇 seki hirohisa
  • 4 篇 abdennadher slim
  • 4 篇 giesl juergen
  • 3 篇 proietti maurizi...
  • 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

语言

  • 157 篇 英文
  • 3 篇 中文
检索条件"任意字段=17th International Symposium on Logic-Based Program Synthesis and Transformation"
160 条 记 录,以下是21-30 订阅
排序:
Annotation algorithms for unrestricted independent and-parallelism in logic programs
收藏 引用
17th international symposium on logic-based program synthesis and transformation
作者: Casas, Amadeo Carro, Manuel Hermenegildo, Manuel V. Univ New Mexico Dept Comp Sci & Elect Albuquerque NM 87131 USA Univ Politecn Madrid Sch Comp Sci Madrid Spain
We present two new algorithms which perform automatic parallelization via source-to-source transformations. the objective is to exploit goal-level, unrestricted independent and-parallelism. the proposed algorithms use... 详细信息
来源: 评论
Graph-based proof counting and enumeration with applications for program fragment synthesis
收藏 引用
14th international symposium on logic based program synthesis and transformation
作者: Wells, JB Yakobowski, B Heriot Watt Univ Edinburgh EH14 4AS Midlothian Scotland ENS Lyon France
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we wish to automatically build a number ... 详细信息
来源: 评论
A program transformation for tracing functional logic computations
A program transformation for tracing functional logic comput...
收藏 引用
16th international symposium on logic-based program synthesis and transformation
作者: Brassel, Bernd Fischer, Sebastian Huch, Frank Univ Kiel Inst Comp Sci Olshaussenstr 40 D-24098 Kiel Germany
Tracing program executions is a promising technique to find bugs in lazy functional logic programs. In previous work we developed an extension of a heap based semantics for functional logic languages which generates a... 详细信息
来源: 评论
Declarative Compilation for Constraint logic programming  24th
Declarative Compilation for Constraint Logic Programming
收藏 引用
24th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Gallego Arias, Emilio Jesus Lipton, James Marino, Julio Univ Penn Philadelphia PA 19104 USA Wesleyan Univ Middletown CT 06459 USA Univ Politecn Madrid Madrid Spain
We present a new declarative compilation of logic programs with constraints into variable-free relational theories which are then executed by rewriting. this translation provides an algebraic formulation of the abstra... 详细信息
来源: 评论
Denotation by transformation towards obtaining a denotational semantics by transformation to point-free style
收藏 引用
17th international symposium on logic-based program synthesis and transformation, LOPSTR 2007
作者: Braßel, Bernd Christiansen, Jan Institute of Computer Science University of Kiel Kiel 24098 Germany
It has often been observed that a point-free style of programming provides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semantics for functional logic languages in a... 详细信息
来源: 评论
Searching semantically equivalent code fragments in logic programs
收藏 引用
14th international symposium on logic based program synthesis and transformation
作者: Vanhoof, W Univ Namur Inst Informat Namur Belgium
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. the presence of duplicated code (or functionality) is a primary indication that the design of ... 详细信息
来源: 评论
An algorithm for local variable elimination in normal logic programs
收藏 引用
15th international symposium on logic based program synthesis and transformation
作者: Alvez, Javier Lucio, Paqui Univ Basque Country Fac Comp Sci San Sebastian Spain
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as negation, compilation, memoization, s... 详细信息
来源: 评论
Deciding Full Branching Time logic by program transformation
Deciding Full Branching Time Logic by Program Transformation
收藏 引用
19th international symposium on logic-based program synthesis and transformation
作者: Pettorossi, Alberto Proietti, Maurizio Senni, Valerio Univ Roma Tor Vergata DISP Via Politecn 1 I-00133 Rome Italy CNR IASI I-00185 Rome Italy
We present a method based on logic program transformation, for verifying Computation Tree logic (CTL*) properties of finite state reactive systems. the finite state systems and the CTL* properties we want to verify, a... 详细信息
来源: 评论
Dependency Triples for Improving Termination Analysis of logic programs with Cut
收藏 引用
20th international symposium on logic-based program synthesis and transformation, LOPSTR 2010
作者: Stroeder, thomas Schneider-Kamp, Peter Giesl, Juergen Rhein Westfal TH Aachen LuFG Informat 2 Aachen Germany Univ Southern Denmark IMADA Odense Denmark
In very recent work, we introduced a non-termination preserving transformation from logic programs with cut to definite logic programs. While that approach allows us to prove termination of a large class of logic prog... 详细信息
来源: 评论
Specialization of concurrent guarded multi-set transformation rules
收藏 引用
14th international symposium on logic based program synthesis and transformation
作者: Frühwirth, T Univ Ulm Fac Comp Sci Ulm Germany
program transformation and in particular partial evaluation are appealing techniques for declarative programs to improve not only their performance. this paper presents the first step towards developing program transf... 详细信息
来源: 评论