Logic-Based Program Synthesis and Transformation: 17th by Michael Codish (auth.), Andy King (eds.)

Posted by

By Michael Codish (auth.), Andy King (eds.)

This ebook constitutes the completely refereed postproceedings of the seventeenth foreign Symposium on Logic-Based software Synthesis and Transformation, LOPSTR 2007, held in Kongens Lyngby, Denmark, August 23-24, 2007 colocated with SAS 2007.

The thirteen revised complete papers provided including one invited speak have been conscientiously chosen and revised from 30 submissions in the course of rounds of reviewing and development. The papers are prepared in topical sections on application termination, application transformation, constraint fixing and research in addition to software program engineering.

Show description

Read Online or Download Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers PDF

Best international_1 books

Smart Graphics: 10th International Symposium, SG 2009, Salamanca, Spain, May 28-30, 2009. Proceedings

This booklet constitutes the refereed court cases of the tenth overseas Symposium on shrewdpermanent pix, SG 2009, held in Salamanca, Spain in may well 2009. The 15 revised complete papers including eight brief papers and a pair of demonstrations provided have been conscientiously reviewed and chosen. The papers are prepared in topical sections on visible analytics, consumer experiences, human laptop interplay, special effects and synthetic intelligence, in addition to digital and combined truth.

Personal Wireless Communications: The 12th IFIP International Conference on Personal Wireless Communications (PWC 2007), Prague, Czech Republic, September 2007

Foreign Federation for info ProcessingThe IFIP sequence publishes cutting-edge ends up in the sciences and applied sciences of knowledge and verbal exchange. The scope of the sequence contains: foundations of desktop technological know-how; software program conception and perform; schooling; laptop purposes in expertise; verbal exchange structures; structures modeling and optimization; info structures; pcs and society; desktops know-how; defense and security in details processing structures; man made intelligence; and human-computer interplay.

E-Business and Telecommunications: International Joint Conference, ICETE 2012, Rome, Italy, July 24--27, 2012, Revised Selected Papers

This e-book constitutes the refereed court cases of the ninth overseas Joint convention on E-Business and Telecommunications, ICETE 2012, held in Rome, Italy, in July 2012. ICETE is a joint foreign convention integrating 4 significant components of information which are divided into six corresponding meetings: foreign convention on info conversation Networking, DCNET; foreign convention on E-Business, ICE-B; overseas convention on Optical communique platforms, OPTICS; overseas convention on safeguard and Cryptography, SECRYPT; foreign convention on instant details structures, WINSYS; and overseas convention on sign Processing and Multimedia, SIGMAP.

Extra resources for Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Example text

Bytecode(2,iload(1)). bytecode(3,iload(0)). bytecode(4,if_icmp(geInt,3)). bytecode(5,iinc(1,1)). bytecode(6,goto(-4)). bytecode(7,iload(1)). bytecode(8,return). static int count(int n){ int i = 0; while (i < n) i++; return i; } Fig. 2. Object program for working example main(N, I)  execute(st(0, [], [N, 0]), Sf )  execute(st(1, [0], [N, 0]), Sf ) _ _ _ _ _ _ _ _ _ _ _ _ _   execute(st(2, [], [N, 0]), Sf )(1)  _ _ _ _ _ _ _ _ _ _ _ _ _  execute(st(4, [N, 0], [N, 0]), Sf ) hhh thhhh {0≥N} execute(st(8, [0], [N, 0]), Sf )  {I/0} true VVVV VV{0=N.

Finally, dfs performs a depth-first search avoiding state repetitions in a two dimensional space. Predicate path/4 computes the path and its cost (using an accumulator) given the initial and final states. Type-Based Homeomorphic Embedding Table 2. 80 In this case, in order to measure the quality of the specialization we compare the execution times of the specialized programs (Tres ) with the execution times of the original programs (Torig ) for sufficiently large inputs. From left to right, the first two columns, Bench and Entry, show respectively the name of the benchmark and the entry for which the program will be specialized.

We introduce Type-based Homeomorphic Embedding (TbHEm) as an extension of the standard, untyped HEm to deal with infinite signatures. In the paper, we show how TbHEm can be used to improve the accuracy of online partial evaluation. For this purpose, we propose an approach to constructing suitable types for partial evaluation automatically based on existing analysis tools for constraint logic programs. We also present useful properties of types which allow us to take full advantage of TbHEm in practice.

Download PDF sample

Rated 4.85 of 5 – based on 14 votes