咨询与建议

限定检索结果

文献类型

  • 143 篇 会议
  • 15 册 图书

馆藏范围

  • 158 篇 电子文献
  • 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...
  • 11 篇 logics and meani...
  • 9 篇 program transfor...
  • 9 篇 mathematical log...
  • 8 篇 computer circuit...
  • 8 篇 semantics
  • 8 篇 artificial intel...
  • 7 篇 programming lang...
  • 6 篇 software enginee...
  • 6 篇 programming tech...
  • 5 篇 program analysis
  • 4 篇 program synthesi...
  • 4 篇 software enginee...
  • 4 篇 constraint handl...
  • 3 篇 static analysis
  • 3 篇 fpga
  • 3 篇 source-to-source...
  • 2 篇 program debuggin...
  • 2 篇 floating-point n...
  • 2 篇 concurrent const...

机构

  • 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 篇 nagoya institute...

作者

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

语言

  • 155 篇 英文
  • 3 篇 中文
检索条件"任意字段=19th International Symposium on Logic-Based Program Synthesis and Transformation"
158 条 记 录,以下是141-150 订阅
排序:
Input-termination of logic programs
Input-termination of logic programs
收藏 引用
14th international symposium on logic based program synthesis and transformation, LOPSTR 2004
作者: Krishna Rao, M.R.K. Information and Computer Science Department King Fahd University of Petroleum and Minerals Dhahran 31261 Saudi Arabia
In this paper, we study termination properties of input-consuming derivations of moded logic programs. Input-consuming derivations can be used to model the behavior of logic programs using dynamic scheduling and emplo... 详细信息
来源: 评论
Constraint solver synthesis using tabled resolution for constraint logic programming
收藏 引用
12th international Workshop on logic based program synthesis and transformation
作者: Abdennadher, S Rigotti, C Univ Munich Dept Comp Sci D-80538 Munich Germany INS Lyon Lab Ingn Syst Informat F-69621 Villeurbanne France
the goal of automated program synthesis is to bridge the gap between what is easy for people to describe and what is possible to execute on a computer. In this paper, we present a framework for synthesis of rule-based...
来源: 评论
the next 700 synthesis calculi  11
The next 700 synthesis calculi
收藏 引用
11th international symposium of Formal Methods Europe, FME 2002
作者: Basin, David Universität Freiburg Freiburg Germany
Over the last decade I have worked with colleagues on different projects to develop, implement, and automate the use of calculi for program synthesis and transformation. these projects had different motivations and go... 详细信息
来源: 评论
program synthesis and transformation techniques for simulation, optimization, and constraint satisfaction  4th
收藏 引用
4th international symposium on Abstraction, Reformulation and Approximation, SARA 2000
作者: Ellman, thomas Department of Computer Science Vassar College United States
Scientists and engineers face recurring problems of constructing, testing and modifying numerical simulation programs. the process of coding and revising such simulators is extremely time-consuming, because they are a...
来源: 评论
Abstract: Proof planning with program schemas  1
收藏 引用
8th international Workshop on logic-based program synthesis and transformation (LOPSTR 98)
作者: Richardson, J Univ Edinburgh Div Informat Inst Representat & Reasoning Edinburgh EH1 1HN Midlothian Scotland
Schema-based program synthesis and transformation techniques tend to be either pragmatic, designed for carrying out real program transformation or synthesis operations but lacking the logical basis to ensure correctne...
来源: 评论
5th international Workshop on logic program synthesis and transformation, LOPSTR 1995
收藏 引用
5th international Workshop on logic program synthesis and transformation, LOPSTR 1995
the proceedings contain 19 papers. the special focus in this conference is on logic program synthesis and transformation. the topics include: Preserving characteristic trees without constraints;memoing evaluation by s...
来源: 评论
5th international symposium on programming, 1982
收藏 引用
5th international symposium on programming, 1982
the proceedings contain 25 papers. the special focus in this conference is on programming. the topics include: Procedures and concurrency: A study in proof;another characterization of weakest preconditions;powerdomain...
来源: 评论
logic-based program synthesis and transformation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: María Alpuente
this book constitutes the thoroughly refereed post-proceedings of the 20th international symposium on logic-based program synthesis and transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. the 13 revi... 详细信息
来源: 评论
logic-based program synthesis and transformation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Michael Hanus
this book constitutes the thoroughly refereed post-conference proceedings of the 18th international symposium on logic-based program synthesis and transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-1... 详细信息
来源: 评论
Static Analysis  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this book constitutes the refereed proceedings of the 15th international symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the international symposium on logic... 详细信息
来源: 评论