Andrea Maggiolo-Schettini

129 papers A* 1B 12C 3Journal 69Unranked 43

Year	Rank	Type	Title / Venue / Authors
2015	J	`jnl`	Component identification in biochemical pathways. Theor. Comput. Sci. Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
2014	J	`jnl`	Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor. Comput. Sci. Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2014	J	`jnl`	Identification of components in biochemical pathways: extensive application to SBML models. Nat. Comput. Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
2014	J	`jnl`	Simulation of Spatial P system models. Theor. Comput. Sci. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2014	—	`conf`	Systolic Automata and P Systems. Computing with New Resources Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Simone Tini
2013	C	`conf`	A Compositional Semantics of Reaction Systems with Restriction. CiE Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2013	—	`conf`	A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. SEFM Workshops Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2013	—	`conf`	An Algorithm for the Identification of Components in Biochemical Pathways. CS2Bio Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
2013	—	`conf`	Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models. WIVACE Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2013	J	`jnl`	Modular Verification of Qualitative Pathway Models with Fairness. Sci. Ann. Comput. Sci. Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2012	J	`jnl`	Foundational aspects of multiscale modeling of biological systems with process algebras. Theor. Comput. Sci. Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2012	—	`conf`	Modelling Population Dynamics Using Grid Systems. SEFM Satellite Events Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, Suryana Setiawan
2012	J	`jnl`	On Conditions for Modular Verification in Systems of Synchronising Components. Fundam. Informaticae Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
2012	—	`conf`	Towards modular verification of pathways: fairness and assumptions MeCBIC Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
2011	J	`jnl`	A Testing Framework for P Systems CoRR Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
2011	J	`jnl`	An Overview on Operational Semantics in Membrane Computing. Int. J. Found. Comput. Sci. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2011	J	`jnl`	Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. Trans. Comp. Sys. Biology Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
2011	J	`jnl`	Modular Verification of Interactive Systems with an Application to Biology. Sci. Ann. Comput. Sci. Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
2011	J	`jnl`	Spatial Calculus of Looping Sequences. Theor. Comput. Sci. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2011	J	`jnl`	Spatial P systems. Nat. Comput. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei
2010	B	`ed.`	8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 SEFM José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini
2010	J	`jnl`	A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo
2010	J	`jnl`	A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska
2010	—	`conf`	Aspects of multiscale modelling in a process algebra for biological systems MeCBIC Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini
2010	J	`jnl`	Compositional semantics of spiking neural P systems. J. Log. Algebraic Methods Program. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2010	—	`conf`	Dynamic Sync-Programs for Modular Verification of Biological Systems. NCMA Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
2010	—	`conf`	Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. Int. Conf. on Membrane Computing Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2010	—	`conf`	Modelling the Dynamics of an Aedes albopictus Population AMCA-POP Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Elisabetta Rossi
2010	—	`conf`	Modular Verification of Interactive Systems with an Application to Biology. CS2Bio Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
2010	J	`jnl`	Reachability results for timed automata with unbounded data structures. Acta Informatica Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2010	J	`jnl`	Time and Probability-Based Information Flow Analysis. IEEE Trans. Software Eng. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2010	J	`jnl`	Weak bisimulation for Probabilistic Timed Automata. Theor. Comput. Sci. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2009	—	`conf`	A Process Calculus for Molecular Interaction Maps MeCBIC Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
2009	J	`jnl`	An intermediate language for the stochastic simulation of biological systems. Theor. Comput. Sci. Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
2009	—	`conf`	On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems COMPMOD Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini
2009	J	`jnl`	P Systems with Endosomes. Int. J. Comput. Commun. Control Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
2009	J	`jnl`	P Systems with Transport and Diffusion Membrane Channels. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2009	—	`conf`	Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. Ershov Memorial Conference Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
2009	J	`jnl`	Timed P Automata. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
2008	J	`jnl`	A P Systems Flat Form Preserving Step-by-step Behaviour. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2008	J	`jnl`	Bisimulations in calculi modelling membranes. Formal Aspects Comput. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2008	J	`jnl`	Compositional semantics and behavioral equivalences for P Systems. Theor. Comput. Sci. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2008	J	`jnl`	Design and verification of long-running transactions in a timed framework. Sci. Comput. Program. Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2008	J	`jnl`	Security in a Model for Long-running Transactions. Fundam. Informaticae Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo
2008	—	`conf`	Spatial Calculus of Looping Sequences. FBTC@ICALP Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2008	J	`jnl`	Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. Trans. Comp. Sys. Biology Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Paolo Tiberi, Angelo Troina
2008	—	`conf`	The Calculus of Looping Sequences. SFM Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2008	—	`conf`	Timed P Automata. MeCBIC Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
2007	—	`conf`	An Intermediate Language for the Simulation of Biological Systems. FBTC@CONCUR Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
2007	—	`conf`	Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. ISBRA Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo
2007	J	`jnl`	Parametric probabilistic transition systems for system design and analysis. Formal Aspects Comput. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2007	—	`conf`	The Calculus of Looping Sequences for Modeling Biological Membranes. Workshop on Membrane Computing Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2006	J	`jnl`	A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2006	C	`conf`	Bisimulation Congruences in the Calculus of Looping Sequences. ICTAC Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2006	—	`conf`	Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. FMOODS Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2005	—	`conf`	A Classification of Time and/or Probability Dependent Security Properties. QAPL Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2005	J	`jnl`	A Probabilistic Model for Molecular Systems. Fundam. Informaticae Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2005	J	`jnl`	Monotonic hybrid systems. J. Comput. Syst. Sci. Ruggero Lanotte, Andrea Maggiolo-Schettini
2005	B	`conf`	Timed Automata with Data Structures for Distributed Systems Design and Analysis. SEFM Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2004	J	`jnl`	Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2004	—	`conf`	Automatic Analysis of a Non-Repudiation Protocol. QAPL Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2004	C	`conf`	Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
2004	J	`jnl`	Compositional Synthesis of Generalized Mealy Machines. Fundam. Informaticae Simone Tini, Andrea Maggiolo-Schettini
2004	B	`conf`	Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. SEFM Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2004	J	`jnl`	Epsilon-transitions in Concurrent Timed Automata. Inf. Process. Lett. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2004	—	`conf`	Information Flow Analysis for Probabilistic Timed Automata. Formal Aspects in Security and Trust Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2004	J	`jnl`	Information flow in hybrid systems. ACM Trans. Embed. Comput. Syst. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2004	B	`conf`	Structural Model Checking for Communicating Hierarchical Machines. MFCS Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
2003	J	`jnl`	A comparison of Statecharts step semantics. Theor. Comput. Sci. Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
2003	—	`conf`	Automatic Analysis of the NRL Pump. MEFISTO Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
2003	J	`jnl`	Concurrency in timed automata. Theor. Comput. Sci. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2003	J	`jnl`	Dynamic Hierarchical Machines. Fundam. Informaticae Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
2003	B	`conf`	Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. SEFM Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2002	J	`jnl`	On disjunction of literals in triggers of statecharts transitions. Inf. Process. Lett. Andrea Maggiolo-Schettini, Simone Tini
2001	B	`conf`	Concurrency in Timed Automata. FCT Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2001	—	`conf`	Formal Models of Timing Attacks on Web Privacy. TOSCA Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2001	—	`conf`	Privacy in Real-Time Systems. MTCS Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2001	J	`jnl`	Process Algebras for Network Communication. Fundam. Informaticae Damas P. Gruska, Andrea Maggiolo-Schettini
2001	J	`jnl`	Transformations of Timed Cooperating Automata. Fundam. Informaticae Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron
2000	—	`conf`	A Causal Semantics for Timed Default Concurrent Constraint Programming. AMAST Simone Tini, Andrea Maggiolo-Schettini
2000	B	`conf`	Timed Automata with Monotonic Activities. MFCS Ruggero Lanotte, Andrea Maggiolo-Schettini
2000	J	`jnl`	Timed Cooperating Automata. Fundam. Informaticae Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
1999	—	`conf`	A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming. ECOOP Workshops Simone Tini, Andrea Maggiolo-Schettini
1999	J	`jnl`	Applying Techniques of Asynchronous Concurrency to Synchronous Languages. Fundam. Informaticae Andrea Maggiolo-Schettini, Simone Tini
1999	J	`jnl`	Time-Based Expressivity of Time Petri Nets for System Specification. Theor. Comput. Sci. Antonio Cerone, Andrea Maggiolo-Schettini
1998	—	`conf`	Projectable Semantics for Statecharts. MFCS Workshop on Concurrency Andrea Maggiolo-Schettini, Simone Tini
1998	—	`conf`	Two semantics for Timed Default Concurrent Constraint Programming. COTIC Simone Tini, Andrea Maggiolo-Schettini
1997	J	`jnl`	A Partial Order Representation of Processes of Transforming Graphs. Fundam. Informaticae Andrea Maggiolo-Schettini, Józef Winkowski
1997	J	`jnl`	Processes in Cause-Effect Systems. Fundam. Informaticae Andrea Maggiolo-Schettini, Gionata Matteucci
1996	J	`jnl`	A Kernel Language for Programmed Rewriting of (Hyper)graphs. Acta Informatica Andrea Maggiolo-Schettini, Józef Winkowski
1996	B	`conf`	Dynamic Graphs. MFCS Andrea Maggiolo-Schettini, Józef Winkowski
1996	B	`conf`	Equivalences of Statecharts. CONCUR Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
1996	—	`conf`	Prorities in Statecharts. LOMAPS Andrea Maggiolo-Schettini, Massimo Merro
1996	—	`conf`	Retiming Techniques for Statecharts. FTRTFT Andrea Maggiolo-Schettini, Adriano Peron
1994	—	`conf`	A Graph Rewriting Framework for Statecharts Semantics. TAGT Andrea Maggiolo-Schettini, Adriano Peron
1994	—	`conf`	Transitions as Interrupts: A New Semantics for Timed Statecharts. TACS Adriano Peron, Andrea Maggiolo-Schettini
1993	—	`conf`	Semantics of Full Statecharts Based on Graph Rewriting. Dagstuhl Seminar on Graph Transformations in Computer Science Andrea Maggiolo-Schettini, Adriano Peron
1992	—	`conf`	A Programming Language for Deriving Hypergraphs. CAAP Andrea Maggiolo-Schettini, Józef Winkowski
1992	J	`jnl`	Classes of Systolic Y-Tree Automata and a Comparison with Systolic Trellis Automata. Acta Informatica Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi
1992	—	`conf`	Process Communication Environment. NAPAW Damas P. Gruska, Andrea Maggiolo-Schettini
1992	J	`jnl`	TTL: A formalism to describe local and global properties of distributed systems. RAIRO Theor. Informatics Appl. Andrea Masini, Andrea Maggiolo-Schettini
1992	J	`jnl`	Towards an Algebra for Timed Behaviours. Theor. Comput. Sci. Andrea Maggiolo-Schettini, Józef Winkowski
1991	J	`jnl`	A compositional semantics for unmarked predicate/transition nets. Fundam. Informaticae Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski
1991	J	`jnl`	Nonacceptability Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata. Theor. Comput. Sci. Emanuela Fachini, Andrea Maggiolo-Schettini, Giovanni Resta, Davide Sangiorgi
1990	B	`conf`	Comparisons Among Classes of Y-Tree Systolic Automata. MFCS Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi
1990	—	`conf`	Programmed Derivations of Relational Structures. Graph-Grammars and Their Application to Computer Science Andrea Maggiolo-Schettini, Józef Winkowski
1990	J	`jnl`	Simulation of Systolic Tree Automata on Trellis Automata. Int. J. Found. Comput. Sci. Emanuela Fachini, Jozef Gruska, Andrea Maggiolo-Schettini, Davide Sangiorgi
1988	—	`book`	Fondamenti di informatica. Egon Börger, Andrea Maggiolo-Schettini
1988	J	`jnl`	Web Structures: A Tool for Representing and Manipulating Programs. IEEE Trans. Software Eng. Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora
1987	J	`jnl`	An Algebra of Processes. J. Comput. Syst. Sci. Józef Winkowski, Andrea Maggiolo-Schettini
1982	J	`jnl`	Comparing Hierarchies of Primitive Recursive Sequence Functions. Math. Log. Q. Emanuela Fachini, Andrea Maggiolo-Schettini
1982	J	`jnl`	Processes of Transforming Structures. J. Comput. Syst. Sci. Andrea Maggiolo-Schettini, Józef Winkowski
1982	—	`conf`	Towards a Programming Language for Manipulating Relational Data Bases. Formal Description of Programming Concepts Andrea Maggiolo-Schettini, Józef Winkowski
1981	J	`jnl`	Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. Theor. Comput. Sci. Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski
1981	J	`jnl`	Sequence Recursiveness Without Cylindrification and Limited Register Machines. Theor. Comput. Sci. Giorgio Germano, Andrea Maggiolo-Schettini
1981	J	`jnl`	Transformations of Structures: an Algebraic Approach. Math. Syst. Theory Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
1979	J	`jnl`	A Hierarchy of primitive recursive sequence functions. RAIRO Theor. Informatics Appl. E. Facchini, Andrea Maggiolo-Schettini
1979	J	`jnl`	Computable Stack Functions for Semantics of Stack Programs. J. Comput. Syst. Sci. Giorgio Germano, Andrea Maggiolo-Schettini
1979	—	`conf`	Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. Semantics of Concurrent Computation Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski
1979	—	`conf`	Modelling a Solution for a Control Problem in Distributed Systems by Restrictions. Formale Modelle für Informationssysteme Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski
1978	B	`conf`	Deriving Structures from Structures. MFCS Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
1978	—	`conf`	Processes in Structures. Graph-Grammars and Their Application to Computer Science and Biology Andrea Maggiolo-Schettini, Józef Winkowski
1976	J	`jnl`	A language for Markov's algorithms composition. Acta Cybern. Giorgio Germano, Andrea Maggiolo-Schettini
1976	B	`conf`	Recursivity, Sequence Recursivity, Stack Recursivity and Semantics of Programs. MFCS Giorgio Germano, Andrea Maggiolo-Schettini
1975	J	`jnl`	Proving a Compiler Correct: A Simple Approach. J. Comput. Syst. Sci. Giorgio Germano, Andrea Maggiolo-Schettini
1975	J	`jnl`	Recursion Structure Simplification. SIAM J. Comput. H. R. Strong Jr., Andrea Maggiolo-Schettini
1975	J	`jnl`	Sequence-to-Sequence Recursiveness. Inf. Process. Lett. Giorgio Germano, Andrea Maggiolo-Schettini
1974	J	`jnl`	Loops in Algol 60 and in category theory. SIGACT News Giorgio Germano, Andrea Maggiolo-Schettini
1973	A*	`conf`	Procedure Linkage Optimization. POPL Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong