咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
Forward slicing of functional logic programs by partial evaluation
Forward slicing of functional logic programs by partial eval...
收藏 引用
作者: Silva, Josep Vidal, Germán DSIC Technical University of Valencia Camino de Vera s/n E-46022 Valencia Spain
program slicing has been mainly studied in the context of imperative languages, where it has been applied to a wide variety of software engineering tasks, like program understanding, maintenance, debugging, testing, c... 详细信息
来源: 评论
11th international workshop on logic based program synthesis and transformation, LOPSTR 2001
收藏 引用
11th international workshop on logic-based program synthesis and transformation, LOPSTR 2001
the proceedings contain 14 papers. the special focus in this conference is on program transformation, Equivalence, program Verificaion and program Analysis. the topics include: Static analysis for safe destructive upd...
来源: 评论
logic based program synthesis and transformation - 15th international Symposium, LOPSTR 2005, Revised Selected Papers
收藏 引用
15th international Symposium on logic based program synthesis and transformation, LOPSTR 2005
the proceedings contains 11 papers. the topics discussed include: declarative programming with function patterns;transformational verification of parameterized protocols using array formulas;an algorithm for local var... 详细信息
来源: 评论
Schema-guided synthesis of imperative programs by constraint solving
收藏 引用
14th international Symposium on logic based program synthesis and transformation
作者: Colón, MA USN Res Lab Ctr High Assurance Comp Syst Washington DC 20375 USA
We present a method for schema-guided synthesis of imperative programs computing polynomial functions and their inverses. the schemas of our approach contain parameters representing both fragments of code and fragment... 详细信息
来源: 评论
Knowledge-based synthesis of distributed systems using event structures
收藏 引用
11th international Conference on logic for programming, Artificial Intelligence, and Reasoning, LPAR 2004
作者: Bickford, Mark Constable, Robert C. Halpern, Joseph Y. Petride, Sabina Department of Computer Science Cornell University Ithaca NY 14853 United States
To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. this process is particularly effective i... 详细信息
来源: 评论
12th international workshop on logic based program synthesis and transformation, LOPSTR 2002
收藏 引用
12th international workshop on logic based program synthesis and transformation, LOPSTR 2002
the proceedings contain 22 papers. the special focus in this conference is on Debugging and types, Tabling and constraints, Abstract interpretation, program refinement, Verification, Partial evaluation and Rewriting a...
来源: 评论
logic based program synthesis and transformation - 11th international workshop, LOPSTR 2001, Selected Papers
收藏 引用
11th international workshop on logic-based program synthesis and transformation, LOPSTR 2001
the proceedings contain 14 papers. the topics discussed include: a transformation technique for datalog programs based on non-deterministic constructs;on deforesting parameters of accumulating maps;equivalence in answ...
来源: 评论
program synthesis based on the equivalent transformation computation model
收藏 引用
12th international workshop on logic based program synthesis and transformation
作者: Akama, K Nantajeewarawat, E Koike, H Hokkaido Univ CIMS Sapporo Hokkaido 0600811 Japan Thammasat Univ Inst Tech Sirindhorn Intl Pathum Thani 12121 Thailand
Effective generation of efficient and correct programs from specifications is the underlying design motivation of the Equivalent transformation (ET) computation model. this concise paper explains how the ET model sati...
来源: 评论
Combining logic programs and monadic second order logics by program transformation
收藏 引用
12th international workshop on logic based program synthesis and transformation
作者: Fioravanti, F Pettorossi, A Proietti, M IASI CNR I-00185 Rome Italy Univ Roma Tor Vergata DISP I-00133 Rome Italy
We present a program synthesis method based on unfold/fold transformation rules which can be used for deriving terminating definite logic programs from formulas of the Weak Monadic Second Order theory of one successor...
来源: 评论
Refinement of higher-order logic programs
收藏 引用
12th international workshop on logic based program synthesis and transformation
作者: Colvin, R Hayes, I Hemer, D Strooper, P Univ Queensland Sch Informat Technol & Elect Engn Brisbane Qld 4072 Australia
A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the refinement calculus fo...
来源: 评论