Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alberto Pettorossi" ( http://dblp.L3S.de/Authors/Alberto_Pettorossi )

  Author page on DBLP  Author page in RDF  Community of Alberto Pettorossi in ASPL-2

Publication years (Num. hits)
1975-1985 (16) 1986-1991 (16) 1992-1996 (18) 1997-2002 (16) 2003-2006 (15) 2007-2011 (15)
Publication types (Num. hits)
article(36) inproceedings(58) proceedings(2)
Venues (Conferences, Journals, ...)
LOPSTR(12) CoRR(6) Fundam. Inform.(6) ICLP(6) Higher-Order and Symbolic Comp...(5) ACM Comput. Surv.(3) J. Log. Program.(3) Dagstuhl Seminar on Partial Ev...(2) PEPM(2) Theor. Comput. Sci.(2) TPLP(2) 25 Years GULP(1) AAAI(1) ACM Trans. Program. Lang. Syst...(1) Acta Inf.(1) Algorithmic Languages and Calc...(1) More (+10 of total 58)
Authors
Alberto Pettorossi(96) Maurizio Proietti(63) Valerio Senni(14) Fabio Fioravanti(12) Andrzej Skowron(6) Sophie Renault(5) Anna Labella(4) Fritz Henglein(2) Harry G. Mairson(2) Marco Gavanelli(2) Olivier Danvy(2) Stefano Kasangian(2) Carlo Batini(1) Fabrizio Riguzzi(1) Kung-Kiu Lau(1) Maria Zemankova(1) More (+10 of total 20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 6 keywords
Results
Found 96 publication records. Showing 96 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Marco Gavanelli, Toni Mancini, Alberto Pettorossi RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Generalization Strategies for the Verification of Infinite State Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Program transformation for development, verification, and synthesis of programs. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Improving Reachability Analysis of Infinite State Systems by Specialization. Search on Bibsonomy RP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Fabrizio Riguzzi, Alberto Pettorossi Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Transformations of Logic Programs on Infinite Lists Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Alberto Pettorossi, Valerio Senni, Maurizio Proietti Transformations of logic programs on infinite lists. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni The Transformational Approach to Program Development. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. Search on Bibsonomy LOPSTR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Valerio Senni, Alberto Pettorossi, Maurizio Proietti A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Deciding Full Branching Time Logic by Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Totally correct logic program transformations via well-founded annotations. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Program transformation rules, Partial and total correctness, Well-founded orderings, Logic programming
1Alberto Pettorossi, Maurizio Proietti Totally correct logic program transformations via well-founded annotations. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Valerio Senni, Alberto Pettorossi, Maurizio Proietti A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Automatic Correctness Proofs for Logic Program Transformations. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Preface: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Program Transformation: Theoretical Foundations and Basic Techniques. Part 1. Search on Bibsonomy Fundam. Inform. The full citation details ... 2005 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Sophie Renault Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
1Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi Editorial. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. Search on Bibsonomy Transformation Techniques in Software Engineering The full citation details ... 2005 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Transformational Verification of Parameterized Protocols Using Array Formulas. Search on Bibsonomy LOPSTR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Transformation Rules for Locally Stratified Constraint Logic Programs Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Transformations of logic programs with goals as arguments. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti A theory of totally correct logic program transformations. Search on Bibsonomy PEPM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF partial and total correctness, program transformation rules, well-founded orderings, logic programming
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Transformation Rules for Locally Stratified Constraint Logic Programs. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Sophie Renault Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Transformations of Logic Programs with Goals as Arguments Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Combining Logic Programs and Monadic Second Order Logics by Program Transformation Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi Editorial: Special Issue Dedicated to Bob Paige. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti The List Introduction Strategy for the Derivation of Logic Programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Transformation rules and strategies, Logic programming, Program transformation, Automatic programming, Program derivation
1Alberto Pettorossi, Maurizio Proietti Program Derivation = Rules + Strategies. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Combining Logic Programs and Monadic Second Order Logics by Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi (eds.) Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verification of Sets of Infinite State Processes Using Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Automated Strategies for Specializing Constraint Logic Programs. Search on Bibsonomy LOPSTR (LNCS 2042: Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Automated strategies for specializing constraint logic programs. Search on Bibsonomy LOPSTR The full citation details ... 2000 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Perfect Model Checking via Unfold/Fold Transformations. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Rules and Strategies for Contextual Specialization of Constraint Logic Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi Transforming Inductive Definitions. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Transformation Rules for Logic Programs with Goals as Arguments. Search on Bibsonomy LOPSTR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Program Specialization via Algorithmic Unfold/Fold Transformations. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Future Directions in Program Transformation. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Program derivation via list introduction. Search on Bibsonomy Algorithmic Languages and Calculi The full citation details ... 1997 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Sophie Renault Reducing Nondeterminism while Specializing Logic Programs. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Rules and Strategies for Transforming Functional and Logic Programs. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Future Directions in Program Transformation. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Sophie Renault How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti A Comparative Revisitation of Some Program Transformation Techniques. Search on Bibsonomy Dagstuhl Seminar on Partial Evaluation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties. Search on Bibsonomy Dagstuhl Seminar on Partial Evaluation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Sophie Renault Enhancing Partial Deduction via Unfold/Fold Rules. Search on Bibsonomy LOPSTR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Kung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti Correctness of Logic Program Transformations Based on Existential Termination. Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Transformation of Logic Programs: Foundations and Techniques. Search on Bibsonomy J. Log. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi Total correctness of a goal replacement rule based on the unfold/fold proof method. Search on Bibsonomy GULP-PRODE The full citation details ... 1994 DBLP  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables. Search on Bibsonomy ICLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction. Search on Bibsonomy J. Log. Program. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi An Abstract Strategy for Transforming Logic Programs. Search on Bibsonomy Fundam. Inform. The full citation details ... 1993 DBLP  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables. Search on Bibsonomy GULP The full citation details ... 1993 DBLP  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi Synthesis of Programs from Unfold/Fold Proofs. Search on Bibsonomy LOPSTR The full citation details ... 1993 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Rules and Strategies for Program Transformation. Search on Bibsonomy Formal Program Development The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi (eds.) Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings Search on Bibsonomy META The full citation details ... 1992 DBLP  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi Best-first Strategies for Incremental Transformations of Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 1992 DBLP  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi Semantics Preserving Transformation Rules for Prolog. Search on Bibsonomy PEPM The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Prolog
1Maurizio Proietti, Alberto Pettorossi Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract). Search on Bibsonomy LOPSTR The full citation details ... 1991 DBLP  BibTeX  RDF
1Stefano Kasangian, Anna Labella, Alberto Pettorossi Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. Search on Bibsonomy Semantics of Systems of Concurrent Processes The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi Synthesis of Eureka Predicates for Developing Logic Programs. Search on Bibsonomy ESOP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Andrzej Skowron The Power of the Lambda Abstraction Strategy for Program Derivation. Search on Bibsonomy Elektronische Informationsverarbeitung und Kybernetik The full citation details ... 1989 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Decidability Results and Characterization of Strategies for the Development of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1989 DBLP  BibTeX  RDF
1Alberto Pettorossi Derivation of Efficient Programs for Computing Sequences of Actions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Andrzej Skowron Higher Order Generalization in Program Derivation. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Zbigniew W. Ras, Maria Zemankova On Learning with Imperfect Teachers. Search on Bibsonomy ISMIS The full citation details ... 1987 DBLP  BibTeX  RDF
1Stefano Kasangian, Anna Labella, Alberto Pettorossi Enriched Categories for Local and Interaction Calculi. Search on Bibsonomy Category Theory and Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi Program Development Using Lambda Abstraction. Search on Bibsonomy FSTTCS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Andrzej Skowron Using Facts for Improving the Parallel Execution of Functional Programs. Search on Bibsonomy ICPP The full citation details ... 1986 DBLP  BibTeX  RDF
1Alberto Pettorossi Transformation Strategies for Deriving On Line Programs. Search on Bibsonomy CAAP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Andrzej Skowron, Alberto Pettorossi Factual Knowledge For Developing Concurrent Programs. Search on Bibsonomy AAAI The full citation details ... 1986 DBLP  BibTeX  RDF
1Anna Labella, Alberto Pettorossi Universal Models in Categories for Process Synchronization. Search on Bibsonomy Mathematical Models for the Semantics of Parallelism The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi A Note on Cohen's "Eliminating Redundant Recursive Calls". Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi Towers of Hanoi Problems: Deriving Iterative Solutions by Program Transformations. Search on Bibsonomy BIT The full citation details ... 1985 DBLP  BibTeX  RDF
1Anna Labella, Alberto Pettorossi Categorical Models of Process Cooperation. Search on Bibsonomy CTCS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi A Powerful Strategy for Deriving Efficient Programs by Transformation. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1984 DBLP  BibTeX  RDF
1Alberto Pettorossi, Andrzej Skowron A methodology for improving parallel programs by adding communications. Search on Bibsonomy Symposium on Computation Theory The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Rod M. Burstall Deriving very Efficient Algorithms for Evaluating Linear Recurrence Relations Using the Program Transformation Technique. Search on Bibsonomy Acta Inf. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Andrzej Skowron Communicating agents for applicative concurrent programming. Search on Bibsonomy Symposium on Programming The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi Comparing and Putting Together Recursive Path Ordering, Simplification Orderings and Non-Ascending Property for Termination Proofs of Term Rewriting Systems. Search on Bibsonomy ICALP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi A transformational approach for developing parallel programs. Search on Bibsonomy CONPAR The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi An Approach to Communications and Parallelism in Applicative Languages. Search on Bibsonomy ICFPC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi Derivation of an O(k² log n) Algorithm for Computing Order-k Fibonacci Numbers From the O(k³ log n) Matrix Multiplication Method. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi Towards a theory of parallelism and communications for increasing efficiency in applicative languages. Search on Bibsonomy Logic of Programs The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi Synthesis of subtree rewriting systems behaviour by solving equations. Search on Bibsonomy CLAAP The full citation details ... 1980 DBLP  BibTeX  RDF
1Alberto Pettorossi On the definition of hierarchies of infinite sequential computations. Search on Bibsonomy FCT The full citation details ... 1979 DBLP  BibTeX  RDF
1Alberto Pettorossi Improving Memory Utilization in Transforming Recursive Programs (Extended Abstract). Search on Bibsonomy MFCS The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
1Carlo Batini, Alberto Pettorossi On subrecursiveness in weak combinatory logic. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #96 of 96 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.