Fabio Fioravanti  Home/Search
Context Related
| iasi.rm.cnr.it/~fiora...PhDthesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iasi.rm.cnr.it/~fioravan/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: programs and we will demonstrate its effectiveness by using it for (i) the specialization of a program to the context of use and (ii) the verification of temporal properties of infinite state concurrent systems. (Update)
Context of citations to this paper: More
.... ) sat(Y; EF ( which speci es the safety property :EF ( in the sense that, for every system state X in S, the following holds [11]: K; X j= EF ( i sat(X; EF ( 2 M(PK ) Notice that the program PK is locally strati ed w.r.t. the size of the second argument of sat,...
...theorems ensure the correctness of the transformation rules w.r.t. the perfect model semantics. Proofs of these results may be found in [16]. Theorem 5.1. Correctness of the Transformation Rules] Let P 0 be a locally strati ed program and let P 0 ; P n be a...
Cited by: More
Transformation Rules for Locally Stratified.. - Fioravanti.. (2004) (Correct)
Verifying CTL Properties of Infinite State Systems.. - Fioravanti.. (2001) (Correct)
Verification of Sets of Infinite State Processes.. - Fioravanti.. (2001) (Correct)
Active bibliography (related documents): More All
0.8: Rules and Strategies for Contextual Specialization of.. - Fioravanti (2000) (Correct)
0.8: Program Derivation = Rules + Strategies - Pettorossi, Proietti (2001) (Correct)
0.8: Contextual Specialization of Constraint Logic Programs - Fioravanti, Proietti (1999) (Correct)
Similar documents based on text: More All
0.8: Transformation Rules For A Higher Order Logic Programming.. - Pettorossi, Proietti (2000) (Correct)
0.7: The List Introduction Strategy for. . . - Pettorossi, Proietti (1998) (Correct)
0.7: Design, Implementation, And Use Of The Map Transformation .. - Renault, Pettorossi.. (1998) (Correct)
Related documents from co-citation: More All
3: Theoretical Computer Science (context) - Etalle, Gabbrielli et al. - 1996
3: A transformation system for developing recursive programs - Burstall, Darlington - 1977
3: Unfoldfold transformation logic program (context) - Sato, transformation et al. - 1984
BibTeX entry: (Update)
F. Fioravanti. Transformation of Constraint Logic Programs for Software Specialization and Veri cation. PhD thesis, Universita di Roma \La Sapienza", Italy, 2002. http://citeseer.ist.psu.edu/fioravanti02transformation.html More
@misc{ fioravanti02transformation,
author = "F. Fioravanti",
title = "Transformation of Constraint Logic Programs for Software Specialization
and Veri cation",
text = "F. Fioravanti. Transformation of Constraint Logic Programs for Software
Specialization and Veri cation. PhD thesis, Universita di Roma \La Sapienza,
Italy, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/fioravanti02transformation.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - LLOYD - 1987
861 Tcl and the Tk Toolkit - OUSTERHOUT - 1994
858 The stable model semantics for logic programming - GELFOND, LIFSCHITZ - 1988
828 Model Checking - CLARKE, GRUMBERG et al. - 2000
815 Abstract interpretation: A unified lattice model for static .. (context) - COUSOT, COUSOT - 1977
638 Partial Evaluation and Automatic Program Generation (context) - JONES, GOMARD et al. - 1993
385 A transformation system for developing recursive programs - BURSTALL, DARLINGTON - 1977
373 Constraint logic programming: A survey - JAFFAR - 1994
370 A Mathematical Introduction to Logic (context) - ENDERTON - 1972
232 Program Analysis and Specialization for the C Program- ming .. (context) - ANDERSEN - 1994
224 Partial evaluation in logic programming (context) - LLOYD, SHEPHERDSON - 1991
200 Introduction to Mathematical Logic (context) - MENDELSON - 1987
180 Logic programming and negation: A survey - APT, BOL - 1994
146 Introduction to logic programming (context) - APT - 1990
131 and Logic (context) - THOMAS - 1997
129 Transformation of logic programs: Foundations and techniques (context) - PETTOROSSI, PROIETTI - 1994
107 A new solution of Dijkstra's concurrent programming problem (context) - LAMPORT - 1974
104 Concurrent programming: principles and practice (context) - ANDREWS - 1991
88 Model checking in CLP - DELZANNO, PODELSKI - 1999
62 Unfoldfold transformation logic pro gram (context) - SATO, transformation et al. - 1984
58 Characterizing correctness proper- ties of parallel programs.. (context) - EMERSON, CLARKE - 1981
54 the declarative semantics of stratified deductive databases .. (context) - PRZYMUSINSKI - 1987
48 Department of Computer Science (context) - KLARLUND, MOLLER et al. - 2001
47 Model-checking concurrent systems with unbounded integer var.. - BULTAN, GERBER et al. - 1999
46 Mixtus: An automatic partial evaluator for full Prolog (context) - SAHLIN - 1993
44 Gen- eral decidability theorems for infinite-state systems - ABDULLA, CERANS et al. - 1996
42 Efficient model check- ing using tabled resolution - RAMAKRISHNA, RAMAKRISHNAN et al. - 1997
41 Decidability of model checking for infinite-state concurrent.. - ESPARZA - 1997
39 Swedish Institute of Computer Science (context) - LABORATORY, Prolog - 2000
38 Unfounded sets and well-founded semantics for general logic .. (context) - VAN GELDER, Ross et al. - 1989
37 An introduction to assertional reasoning for concurrent syst.. (context) - SHANKAR - 1993
35 Partial evaluation of nu- merical programs in Fortran - BAIER, GLOCK et al. - 1994
32 A transformation system for deductive database modules with .. (context) - MAHER - 1993
32 ACM Transactions on Programming Languages and Systems (context) - BossI, Cocco et al. - 1990
31 Spe- cialization of lazy functional logic programs - ALPUENTE, FALASCHI et al. - 1997
31 Generalized finite automata with an application to a decisio.. (context) - THATCHER, WRIGHT - 1968
27 Conjunctive partial deduction: Foundations (context) - DE SCHREYE, GLOCK et al. - 1999
23 Transforming constraint logic programs (context) - BENSAOU, GUESSARIAN - 1998
21 Austrian Research Institute for Artificial Intelligence (context) - HOLZBAUR, clp et al. - 1995
20 Advanced Techniques for Logic Program Special- isation - LEUSCHEL - 1997
20 Verification of infinite state systems by compositional mode.. - MCMILLAN - 1999
19 Online partial deduction of large programs (context) - PRESTWICH - 1993
17 Unfoldfold transform ation logic program (context) - SHEPHERDSON, transform et al. - 1991
16 ACM Transactions on Programming Languages and Systems (context) - CONSEL, KHOO - 1993
16 Abstract multiple specialization and its application to prog.. - PUEBLA, HERMENEGILDO - 1999
15 Tutorial on specialization of logic programs (context) - GALLAGHER - 1993
15 Theoretical Computer Science (context) - ETALLE, GABBRIELLI - 1996
14 Constraint logic programming for lo- cal and symbolic model-.. - NILSSON, Lf - 2000
13 Combining theorem proving and model checking through symboli.. - SHANKAR - 2000
13 Infinite state model checking by abstract interpretation and.. (context) - LEUSCHEL, MASSART - 1999
12 Decidability of model checking with the temporal logic EF - MAYR - 2001
11 Solving coverability problems of petri nets by partial deduc.. - LEUSCHEL, LEHMANN - 2000
10 Towards the partial evaluation of CLP languages (context) - HICKEY, SMITH - 1991
10 A comparative study of the well-founded and the stable model.. (context) - SEKI - 1990
9 Controlling gener- alization and polyvariance in partial ded.. - LEUSCHEL, MARTENS et al. - 1998
9 A theory of logic program special- ization and generalizatio.. - PETTOROSSI, PROIETTI - 1996
9 Proofs by program transformation - ROYCHOUDHURY, KUMAR et al. - 1999
9 Unfoldfold transformation general logic program wellfounded .. (context) - fold, general et al. - 1993
9 Unfoldfold transformation stratified program (context) - fold, stratified et al. - 1991
8 Induction in compositional model checking - MCMILLAN, QADEER et al. - 2000
8 Formal Methods in System Design (context) - SIPMA, URIBE et al. - 1999
8 Perfect model checking via unfold /fold transformations - PETTOROSSI, PROIETTI - 2000
6 Automated strategies for specializing constraint logic progr.. - FIORAVANTI, PETTOROSSI et al. - 2000
5 Constrained partial deduction - LEUSCHEL, SCHREYE - 1997
5 Verification of parameterized systems using logic program tr.. - ROYCHOUDHURY, KUMAR et al. - 2000
4 Partial deduction of logic programs wrt well-founded semanti.. (context) - ARAVINDAN, DUNG - 1992
4 Acta Informatica (context) - MANNA, PNUELI - 1993
3 Improving homeomorphic embedding for online termination (context) - LEUSCHEL - 1999
2 A CM Transactions on Programming Languages and Systems (context) - DAMS, GRUMBERG et al. - 1997
2 Automated inductive verification of parameterized protocols - ROYCHOUDHURY, RAMAKRISHNAN - 2001
2 A CM Transactions on Programming Languages and Systems (context) - CLARKE, GRUMBERG et al. - 1994
2 Completeness of the owicki-gries system for parame- terized .. (context) - PRENSA-NIETO - 2001
1 A decompositional approach for comput- ing least fixed-point.. (context) - FRmOURG, OLSN - 1997
1 The semantics of constraint logic programming (context) - JAFFAR, MARRIOTT et al. - 1998
1 Proving safety properties of infinite state systems by compi.. (context) - FRmOURG, OLSN - 1997
1 Theory and Practice of Constraint Handling Rules (context) - FROHWIRTH - 1998
1 Beyond parameterized verifica- tion - BOZZANO, DELZANNO - 2002
1 Rewrite systems (context) - DERSHOWTZ, JOU - 1990
1 An algorithm of generalization in positive supercompilation (context) - SORENSEN, GL - 1995
1 MAP: A system for transforming constraint logic pro- grams (context) - NTL - 2001
1 AND JOHNSON (context) - SAGONAS, SWIFT et al. - 2000
1 Verifying CTL properties of infinite state systems by specia.. (context) - NTL, PETTOROSSL et al. - 2001
Documents on the same site (http://www.iasi.rm.cnr.it/~fioravan/): More
Ph.D. Thesis Proposal: Transformation of Constraint Logic Programs - Fioravanti (Correct)
Rules and Strategies for Contextual Specialization of.. - Fioravanti (2000) (Correct)
Some extensions of Context-free Rewriting - Fioravanti, Gattari, Zilli (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC