1
0
0
(1 - 30 von 51
)
PE1996, Abstracts of Accepted Papers
pu.inf.uni-tuebingen.de
... Automatic Techniques for Logic Program Specialization: Alberto Pettorossi and Maurizio Proietti; ML pattern match compilation and partial evaluation: Peter ...
LICS Newsletter 21
lics.siglog.org
Program Chair. Maurizio Proietti, IASI-CNR, Viale Manzoni, 30, I Roma, Italy, Phone: + , Fax: + , .cnr.it.
LinkedIn: Maurizio Proietti - Project Manager - Erregi s.r.l. | LinkedIn
Visualizza il profilo di Maurizio Proietti su LinkedIn, la più grande comunità professionale al mondo. Maurizio ha indicato 5 esperienze lavorative sul suo profilo.
Author: Maurizio Proietti
easychair.org
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti. In:VPT Second International Workshop on Verification and Program ...
Handbook of Logic in Artificial Intelligence and Logic Programming:...
books.google.de
The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to...
Logic Based Program Synthesis and Transformation: 12th International...
books.google.de
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR...
Logic-Based Program Synthesis and Transformation (eBook)
www.lehmanns.de
WebLogic-Based Program Synthesis and Transformation von Maurizio Proietti, Hirohisa Seki (ISBN ) online kaufen | Sofort-Download - lehmanns.de
Maurizio Proietti – alle Bücher – jpc.de
www.jpc.de
Maurizio Proietti Logic Program Synthesis and Transformation. This book constitutes the refereed proceedings of the 5th... innerhalb 3-4 Wochen i **. Buch.
[ ] Transformations of Logic Programs on Infinite Lists
arxiv.org
Alberto Pettorossi Maurizio Proietti Valerio Senni ... Abstract: We consider an extension of logic programs, called \omega-programs
[cs ] Transformations of Logic Programs with Goals as Arguments
arxiv.org
Submission history From: Maurizio Proietti [view email] [v1] Wed, 9 Jul :54:44 GMT (60kb) [v2] Fri, 20 Feb :23:56 GMT (60kb)
Maurizio Proietti - DBLPdblp.org › Persons
dblp.org
Maurizio Proietti , Hirohisa Seki: Logic-Based Program Synthesis and Transformation - 24th International SymposiumCanterbury, UK, ...
Search results for "Dagstuhl Seminar on Partial Evaluation" –...
dblp.l3s.uni-hannover.de
... Maurizio Proietti: A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties. Dagstuhl Seminar on Partial Evaluation ...
- call for participation from German Vidal on
www.informatik.uni-kiel.de
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti and Valerio Senni. Using Real Relaxations During Program Specialization * Hirohisa Seki ...
Logic Program Synthesis and Transformation | SpringerLink
link.springer.com
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The...
MAP: a Tool for Program Derivation based on Transformation...
www.ercim.eu
ERCIM News No January MAP: a Tool for Program Derivation based on Transformation Rules and Strategies . by Alberto Pettorossi, Maurizio Proietti, and Sophie
Automatic Program Derivation by Transformation
www.ercim.eu
ERCIM News No October Automatic Program Derivation by Transformation by Alberto Pettorossi and Maurizio Proietti Over the last ten years or so the
Proving Properties of Constraint Logic Programs by Eliminating...
slideplayer.com
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables Alberto Pettorossi (Università di Roma “Tor Vergata”), Maurizio Proietti.
Maurizio Proietti - EasyChaireasychair.org › VSL2014 › person1186
easychair.org
Maurizio Proietti. Organization: IASI-CNR, Rome, Italy. Web site: http://www.iasi.cnr.it/~proietti/. Pages in this Program. HCVS Call for Papers.
DROPS - Proofs of Program Properties via Unfold/Fold Transformations...
drops.dagstuhl.de
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs Maurizio Proietti ... Unfold/Fold Transformations of Constraint ...
Fabio Fioravanti
www.sci.unich.it
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti. Verification of Imperative Programs through Transformation of Constraint Logic ...
CiteSeerX — First Order Predicate Calculus and Logic Programming
citeseerx.ist.psu.edu
author = {Alberto Pettorossi and Alberto Pettorossi and Maurizio Proietti and Maurizio Proietti}, title = {First Order Predicate Calculus and Logic Programming},
Logic Program Synthesis and Transformation door Maurizio Proiettiwww.managementboek.nl › boek › logic-program-s...
www.managementboek.nl
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, ...
Transformation of Left Terminating Programs: The reordering ...research.utwente.nl › publications › transformatio...
research.utwente.nl
Annalisa Bossi, Maurizio Proietti (Editor), Nicoletta Cocco, Sandro Etalle. Research output: Contribution to conference › Paper. 33 Downloads (Pure). Citations.
VPT Program
refal.botik.ru
... University of Rome Tor Vergata) and Maurizio Proietti (IASI-CNR, Rome) Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti.
VPT 2017
refal.botik.ru
Alexei Lisitsa, The University of Liverpool, UK; Andrei P. Nemytykh, Program Systems Institute of RAS, Russia; Maurizio Proietti, IASI-CNR, Rome, Italy.
Maurizio Proietti (IASI-CNR)
www.iasi.cnr.it
Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Synthesizing Concurrent Programs using Answer Set Programming, in the Proceedings of International
A 25 Year Perspective on Logic Programming
users.dimi.uniud.it
Alberto Pettorossi and Maurizio Proietti and Valerio Senni. The Transformational Approach to Program Development. 25 pages Chapter 7. Giorgio Delzanno and Roberto
Research page for Kung-Kiu Lau
www.cs.man.ac.uk
We have also applied our ideas to program transformation, with Alberto Pettorossi and Maurizio Proietti. With Pierre Flener and Julian Richardson, we have defined program
Course: Rules & Strategies for Program Transformation
www.cs.ox.ac.uk
A short course on Rules and Strategies for Program Transformation December 11th-14th, Prof. Alberto Pettorossi (U. of Rome II, Italy) & Prof. Maurizio Proietti
Alle Infos zum Namen "Maurizio Proietti"
Verwandte Suchanfragen zu Maurizio Proietti
Andrea Tinelli Alessandro Urna Leo Majerczik | Romina La Ferrara |
Personen Vorname "Maurizio" (2708) Name "Proietti" (86) |
sortiert nach Relevanz / Datum