咨询与建议

限定检索结果

文献类型

  • 136 篇 会议
  • 11 册 图书
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 119 篇 工学
    • 118 篇 计算机科学与技术...
    • 66 篇 软件工程
    • 5 篇 电气工程
    • 4 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 生物医学工程(可授...
  • 37 篇 理学
    • 36 篇 数学
    • 1 篇 生物学
  • 4 篇 管理学
    • 3 篇 图书情报与档案管...
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

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

机构

  • 4 篇 katholieke univ ...
  • 4 篇 univ politecn va...
  • 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 篇 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 篇 vanhoof w
  • 2 篇 bruynooghe mauri...
  • 2 篇 senni valerio
  • 2 篇 michael hanus
  • 2 篇 gallagher john p...
  • 2 篇 komendantskaya e...
  • 2 篇 sharaf nada

语言

  • 145 篇 英文
  • 3 篇 中文
检索条件"任意字段=18th International Symposium on Logic-Based Program Synthesis and Transformation"
148 条 记 录,以下是41-50 订阅
排序:
A transformational Approach for Proving Properties of the CHR Constraint Store
A Transformational Approach for Proving Properties of the CH...
收藏 引用
19th international symposium on logic-based program synthesis and transformation
作者: Pilozzi, Paolo Schrijvers, Tom Bruynooghe, Maurice Katholieke Univ Leuven Dept Comp Sci Louvain Belgium
Proving termination of, or generating efficient control for Constraint Handling Rules (CH R,) programs requires information about the kinds of constraints that can show up in the CHR constraint store. In contrast to L... 详细信息
来源: 评论
On termination of binary CLP programs
收藏 引用
14th international symposium on logic based program synthesis and transformation
作者: Serebrenik, A Mesnard, F Eindhoven Univ Technol Lab Qual Software LaQuSo NL-5600 MB Eindhoven Netherlands
Termination of binary CLP programs has recently become an important question in the termination analysis community. the reason for this is due to the fact that some of the recent approaches to termination of logic pro... 详细信息
来源: 评论
A Constructor-based Reachability logic for Rewrite theories  27th
A Constructor-Based Reachability Logic for Rewrite Theories
收藏 引用
27th international symposium on logic-based program synthesis and transformation (LOPSTR)
作者: Skeirik, Stephen Stefanescu, Andrei Meseguer, Jose Univ Illinois Champaign IL 61820 USA
Reachability logic has been applied to K rewrite-rule-based language definitions as a language-generic logic of programs. To be able to verify not just code but also distributed system designs, a new rewrite-theory-ge... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Run-time profiling of functional logic programs
收藏 引用
14th international symposium on logic based program synthesis and transformation
作者: Brassel, B Hanus, M Huch, F Silva, J Vidal, G CAU Kiel Inst Informat D-24098 Kiel Germany Univ Politecn Valencia DSIC E-46022 Valencia Spain
In this work, we introduce a profiling scheme for modern functional logic languages covering notions like laziness, sharing, and non-determinism. Firstly, we instrument a natural (big-step) semantics in order to assoc... 详细信息
来源: 评论
Non-termination Analysis of logic programs Using Types
收藏 引用
20th international symposium on logic-based program synthesis and transformation, LOPSTR 2010
作者: Voets, Dean De Schreye, Danny Katholieke Univ Leuven Dept Comp Sci B-3001 Heverlee Belgium
In recent years techniques and systems have been developed to prove non-termination of logic programs for certain classes of queries. In previous work, we developed such a system based on mode-information and a form o... 详细信息
来源: 评论
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... 详细信息
来源: 评论
On the automated synthesis of proof-carrying temporal reference monitors
On the automated synthesis of proof-carrying temporal refere...
收藏 引用
16th international symposium on logic-based program synthesis and transformation
作者: Winwood, Simon Klein, Gerwin Chakravarty, Manuel M. T. Univ New South Wales Sch Engn & Comp Sci Sydney NSW Australia Natl ICT Australia Sydney NSW Australia
We extend the range of security policies that can be guaranteed with proof carrying code from the classical type safety, control safety, memory safety, and space/time guarantees to more general security policies, such... 详细信息
来源: 评论
Negation elimination for finite PCFGs
收藏 引用
14th international symposium on logic based program synthesis and transformation
作者: Sato, T Kameya, Y Tokyo Inst Technol CREST JST Tokyo Japan
We introduce negation to a symbolic-statistical modeling language PRISM and propose to eliminate negation by program transformation called negation technique which is applicable to probabilistic logic programs. We als... 详细信息
来源: 评论
program Parallelization Using Synchronized Pipelining
Program Parallelization Using Synchronized Pipelining
收藏 引用
19th international symposium on logic-based program synthesis and transformation
作者: Scandolo, Leonardo Kunz, Cesar Hermenegildo, Manuel IMDEA Software Spain Technical U. of Madrid Spain
While there are well-understood methods for detecting loops whose iterations are independent and parallelizing them, there are comparatively fewer proposals that support parallel execution of a sequence of loops or ne... 详细信息
来源: 评论