咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是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...
来源: 评论