EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1B. De Fraine, E. Ernst, M. Südholt.

    Essential AOP: The A Calculus, in: ACM Transactions on Programming Languages and Systems (TOPLAS), December 2012.

    http://hal.inria.fr/hal-00676082
  • 2I. Figueroa, T. Schrijvers, N. Tabareau, É. Tanter.

    Compositional Reasoning About Aspect Interference, in: Modularity'14: 13th International Conference on Modularity, Lugano, Switzerland, April 2014.

    https://hal.inria.fr/hal-00919935
  • 3M. S. Hasan, Y. Kouki, T. Ledoux, J.-L. Pazat.

    Exploiting Renewable sources: when Green SLA becomes a possible reality in Cloud computing, in: IEEE Transactions on Cloud Computing, July 2015, vol. PP, no 99, 1 p. [ DOI : 10.1109/TCC.2015.2459710 ]

    https://hal.archives-ouvertes.fr/hal-01187907
  • 4G. Jaber, N. Tabareau, M. Sozeau.

    Extending Type Theory with Forcing, in: LICS'12 : Logic In Computer Science, Dubrovnik, Croatia, June 2012.

    http://hal.inria.fr/hal-00685150
  • 5Y. Kouki, F. Alvares De Oliveira Jr., S. Dupont, T. Ledoux.

    A Language Support for Cloud Elasticity Management, in: CCGrid'14: IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Chicago, United States, May 2014, pp. 1-8.

    https://hal.archives-ouvertes.fr/hal-00941945
  • 6A. Lebre, J. Pastor, M. Südholt.

    VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms, in: Europar 2015, Vienne, Austria, August 2015.

    https://hal.inria.fr/hal-01159033
  • 7F. Quesnel, A. Lebre, M. Südholt.

    Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS, in: Concurrency and Computation: Practice and Experience, December 2012.

    http://hal.inria.fr/hal-00675315
  • 8M. Sozeau, N. Tabareau.

    Universe Polymorphism in Coq, in: ITP'14: Interactive Theorem Proving, Vienna, Austria, July 2014.

    https://hal.inria.fr/hal-00974721
  • 9N. Tabareau, M. Südholt, É. Tanter.

    Aspectual Session Types, in: Modularity'14 - 13th International Conference on Modularity, Lugano, Switzerland, April 2014.

    https://hal.inria.fr/hal-00872791
  • 10J. M. Van Ham, G. Salvaneschi, M. Mezini, J. Noyé.

    JEScala: Modular Coordination with Declarative Events and Joins, in: Modularity'14 - 13th International Conference on Modularity, Lugano, Switzerland, E. Ernst (editor), April 2014.

    https://hal.inria.fr/hal-00862332
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 12N. Beldiceanu, M. Carlsson, R. Douence, H. Simonis.

    Using finite transducers for describing and synthesising structural time-series constraints, in: Constraints, August 2015, 19 p. [ DOI : 10.1007/s10601-015-9200-3 ]

    https://hal.inria.fr/hal-01186662
  • 13J. Fabry, T. Dinkelaker, J. Noyé, É. Tanter.

    A Taxonomy of Domain-Specific Aspect Languages, in: ACM Computing Surveys, February 2015, vol. 47, no 3, 44 p. [ DOI : 10.1145/2685028 ]

    https://hal.inria.fr/hal-01085063
  • 14I. Figueroa, N. Tabareau, É. Tanter.

    Effect capabilities for Haskell: Taming effect interference in monadic programming, in: Science of Computer Programming, November 2015. [ DOI : 10.1016/j.scico.2015.11.010 ]

    https://hal.inria.fr/hal-01236145
  • 15M. S. Hasan, Y. Kouki, T. Ledoux, J.-L. Pazat.

    Exploiting Renewable sources: when Green SLA becomes a possible reality in Cloud computing, in: IEEE Transactions on Cloud Computing, July 2015, vol. PP, no 99, 1 p. [ DOI : 10.1109/TCC.2015.2459710 ]

    https://hal.archives-ouvertes.fr/hal-01187907
  • 16A. Hirschowitz, T. Hirschowitz, N. Tabareau.

    Wild omega-Categories for the Homotopy Hypothesis in Type Theory, in: Leibniz International Proceedings in Informatics (LIPIcs), 2015, vol. 38, pp. 226-240. [ DOI : 10.4230/LIPIcs.TLCA.2015.226 ]

    https://hal.archives-ouvertes.fr/hal-01178301
  • 17L. Pouilloux, T. Hirofuchi, A. Lebre.

    SimGrid VM: Virtual Machine Support for a Simulation Framework of Distributed Systems, in: IEEE Transactions on Cloud Computing, January 2016, forthcoming.

    https://hal.inria.fr/hal-01197274
  • 18D. Serrano, S. Bouchenak, Y. Kouki, F. J. Alvares de Oliveira, T. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens.

    SLA guarantees for cloud services, in: Future Generation Computer Systems, April 2015, 1 p. [ DOI : 10.1016/j.future.2015.03.018 ]

    https://hal.archives-ouvertes.fr/hal-01162654

International Conferences with Proceedings

  • 19N. Beldiceanu, B. Dumas Feris, P. Gravey, M. S. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J.-M. Menaud, P. Morel, M. Morvan, M.-L. Moulinard, A.-C. Orgerie, J.-L. Pazat, O. Roux, A. Sharaiha.

    The EPOC project: Energy Proportional and Opportunistic Computing system, in: International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), Lisbonne, Portugal, May 2015.

    https://hal.archives-ouvertes.fr/hal-01131602
  • 20W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami.

    Abstract Accountability Language: Translation, Compliance and Application, in: Asia-Pacific Software Engineering Conference, New Delhi, India, December 2015.

    https://hal.archives-ouvertes.fr/hal-01214365
  • 21W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami.

    Checking Accountability with a Prover, in: 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Taichung, Taiwan, 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), July 2015, pp. 83-88. [ DOI : 10.1109/COMPSAC.2015.8 ]

    https://hal.archives-ouvertes.fr/hal-01214360
  • 22R.-A. Cherrueau, R. Douence, M. Südholt.

    A Language for the Composition of Privacy-Enforcement Techniques, in: IEEE RATSP 2015, The 2015 IEEE International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications, Helsinki, Finland, August 2015, pp. 1037 - 1044. [ DOI : 10.1109/Trustcom.2015.480 ]

    https://hal.inria.fr/hal-01168303
  • 23S. Dupont, J. Lejeune, F. Alvares, T. Ledoux.

    Experimental Analysis on Autonomic Strategies for Cloud Elasticity, in: 2015 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Cambridge, United States, September 2015.

    https://hal.inria.fr/hal-01178419
  • 24A. Garnier, R. Pottier, J.-M. Menaud.

    SensorScript: a Domain-Specific Language for Sensor Networks, in: International Conference on Future Internet of Things and Cloud (FiCloud-2015), Rome, Italy, August 2015.

    https://hal.inria.fr/hal-01158259
  • 25Y. Hebbal, L. Sylvie, J.-M. Menaud.

    Virtual Machine Introspection: Techniques and Applications, in: International Conference on Availability, Reliability and Security, Toulouse, France, August 2015.

    https://hal.inria.fr/hal-01165285
  • 26Y. Kouki, M. S. Hasan, T. Ledoux.

    Delta Scaling: How Resources Scalability/Termination Can Be Taken Place Economically?, in: 11th World Congress on Services (SERVICES), New York, United States, IEEE World Congress on Services (SERVICES) 2015, IEEE, June 2015, pp. 55-62. [ DOI : 10.1109/SERVICES.2015.17 ]

    https://hal.archives-ouvertes.fr/hal-01162745
  • 27A. Lebre, A. Legrand, F. Suter, P. Veyre.

    Adding Storage Simulation Capacities to the SimGrid Toolkit: Concepts, Models, and API, in: CCGrid 2015 - Proceedings of the 15th IEEE/ACM Symposium on Cluster, Cloud and Grid Computing, Shenzhen, China, IEEE/ACM, May 2015, pp. 251-260. [ DOI : 10.1109/CCGrid.2015.134 ]

    https://hal.inria.fr/hal-01197128
  • 28A. Lebre, J. Pastor, M. Südholt.

    VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms, in: Europar 2015, Vienne, Austria, August 2015.

    https://hal.inria.fr/hal-01159033
  • 29J. Lejeune, L. Arantes, J. Sopena, P. Sens.

    Reducing synchronization cost in distributed multi-resource allocation problem, in: 44th International Conference on Parallel Processing, Beijing, China, 44th International Conference on Parallel Processing, September 2015.

    https://hal.archives-ouvertes.fr/hal-01162329
  • 30Y. Li, A.-C. Orgerie, J.-M. Menaud.

    Opportunistic Scheduling in Clouds Partially Powered by Green Energy, in: IEEE International Conference on Green Computing and Communications (GreenCom), Sydney, Australia, December 2015.

    https://hal.archives-ouvertes.fr/hal-01205911
  • 31F. Marchand de Kerchove, J. Noyé, M. Südholt.

    Towards Modular Instrumentation of Interpreters in JavaScript, in: FOAL - Foundations of Aspect-Oriented Languages, Fort Collins, United States, MODULARITY Companion 2015, March 2015. [ DOI : 10.1145/2735386.2736753 ]

    https://hal.archives-ouvertes.fr/hal-01116662
  • 32J.-M. Menaud, F. Dumont.

    Synthesizing Realistic Cloud Workload Traces for Studying Dynamic Ressource System Management, in: International Conference on Cloud Computing and Big Data, Huangshan, China, June 2015.

    https://hal.inria.fr/hal-01132126
  • 33É. Tanter, N. Tabareau.

    Gradual Certified Programming in Coq, in: 11th ACM Dynamic Languages Symposium (DLS 2015), Pittsburgh, United States, October 2015. [ DOI : 10.1145/2816707.2816710 ]

    https://hal.inria.fr/hal-01238774

National Conferences with Proceedings

  • 34F. Dumont, J.-M. Menaud, L. Sylvie.

    Monitoring de l’utilisation mémoire et CPU par processus, basé sur l’introspection de machines virtuelles, in: Conférence d’informatique en Parallélisme, Architecture et Système, Lille, France, July 2015.

    https://hal.inria.fr/hal-01154241
  • 35A. Garnier, J.-M. Menaud, R. Pottier.

    SensorScript : un langage de requête dédié, orienté métiers, pour les réseaux de capteurs, in: Conférence d’informatique en Parallélisme, Architecture et Système, Lille, France, July 2015.

    https://hal.inria.fr/hal-01154240

Conferences without Proceedings

  • 36M. Tisi, R. Douence, D. Wagelaar.

    Lazy Evaluation for OCL, in: Models 2015: 15th International Workshop on OCL and Textual Modeling, Ottawa, Canada, September 2015.

    https://hal.inria.fr/hal-01221072

Scientific Books (or Scientific Book chapters)

  • 37W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami, M. Azraoui, K. Elkhiyaoui, M. Onen, S. Oliveira De Anderson, K. Bernsmed.

    From Regulatory Obligations to Enforceable Accountability Policies in the Cloud, in: Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015, CLOSER 2014, Barcelona Spain, April 3-5, 2014, Revised Selected Papers.

    https://hal.archives-ouvertes.fr/hal-01214387

Internal Reports

  • 38R.-A. Cherrueau, R. Douence, M. Südholt.

    A Language for the Composition of Privacy-Enforcement Techniques, Inria Rennes ; École des Mines de Nantes ; Inria, April 2015, no RR-8720.

    https://hal.inria.fr/hal-01145694
  • 39J. Cohen.

    A Correct Refactoring Operation to Rename Global Variables in C Programs, LINA-University of Nantes, December 2015.

    https://hal.archives-ouvertes.fr/hal-01248121
  • 40A. Lebre, J. Pastor, . The DISCOVERY Consortium.

    The DISCOVERY Initiative - Overcoming Major Limitations of Traditional Server-Centric Clouds by Operating Massively Distributed IaaS Facilities, Inria, September 2015, no RR-8779, 14 p.

    https://hal.inria.fr/hal-01203648
  • 41J. Lejeune, L. Arantes, J. Sopena, P. Sens.

    Reducing synchronization cost in distributed multi-resource allocation problem, Ecole des Mines de Nantes, Inria, LINA ; Sorbonne Universités, UPMC, CNRS, Inria, LIP6 ; Inria, February 2015, no RR-8689.

    https://hal.inria.fr/hal-01120808

Other Publications

References in notes
  • 44M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors)

    Aspect-Oriented Software Development, Addison-Wesley Professional, September 2004.
  • 45C. Allan, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, J. Tibble.

    Adding trace matching with free variables to AspectJ, in: ACM Conference on Object-Oriented Programming, Systems and Languages (OOPSLA), R. P. Gabriel (editor), ACM Press, 2005.
  • 46R. Allen, D. Garlan.

    A Formal Basis for Architectural Connection, in: ACM Transactions on Software Engineering and Methodology, July 1997, vol. 6, no 3, pp. 213–49.
  • 47J. H. Andrews.

    Process-Algebraic Foundations of Aspect-Oriented Programming, in: Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Lecture Notes in Computer Science, 2001, vol. 2192, pp. 187–209.
  • 48M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. Katz, A. Konwinski, G. Lee, D. Patterson, A. Rabkin, I. Stoica, M. Zaharia.

    A view of cloud computing, in: Communications of the ACM, 2010, vol. 53, no 4, pp. 50–58.
  • 49T. H. Austin, C. Flanagan.

    Multiple facets for dynamic information flow, in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, New York, USA, POPL '12, ACM, 2012, pp. 165–178.

    http://doi.acm.org/10.1145/2103656.2103677
  • 50A. Beloglazov, R. Buyya.

    Energy efficient resource management in virtualized cloud data centers, in: in: Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, CCGRID’10, IEEE Computer Society, 2010, pp. 826–831.
  • 51L. D. Benavides Navarro, M. Südholt, W. Vanderperren, B. De Fraine, D. Suvée.

    Explicitly distributed AOP using AWED, in: Aspect-Oriented Software Development (AOSD), ACM Press, March 2006, pp. 51-62.
  • 52G. S. Blair, G. Coulson, P. Robin, M. Papathomas.

    An architecture for next generation middleware, in: Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Springer-Verlag, 1998.
  • 53A. Braccialia, A. Brogi, C. Canal.

    A formal approach to component adaptation, in: Journal of Systems and Software, 2005.
  • 54R. E. Brown, E. R. Masanet, B. Nordman, W. F. Tschudi, A. Shehabi, J. Stanley, J. G. Koomey, D. A. Sartor, P. T. Chan.

    Server and Data Center Energy Efficiency: Public Law 109-431, in: Report to Congress, 06/2008 2008.
  • 55S. Capecchi, I. Castellani, M. Dezani-Ciancaglini, T. Rezk.

    Session Types for Access and Information Flow Control, in: CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings, P. Gastin, F. Laroussinie (editors), Lecture Notes in Computer Science, Springer, 2010, vol. 6269, pp. 237–252.

    http://dx.doi.org/10.1007/978-3-642-15375-4_17
  • 56E. M. Clarke, O. Grumberg, D. A. Peled.

    Model Checking, The MIT Press, Cambridge, Massachusetts, 1999.
  • 57A. Colyer, A. Clement.

    Large-scale AOSD for Middleware, in: Proceedings of the 3rd ACM Int. Conf. on Aspect-Oriented Software Development (AOSD), Lancaster, K. Lieberherr (editor), ACM Press, 2004, pp. 56–65.
  • 58F. DeRemer, H. H. Kron.

    Programming-in-the-large versus programming-in-the-small, in: IEEE Transactions on Software Engineering, 1976, vol. SE-2, no 2, pp. 80-86.
  • 59G. Decker, O. Kopp, F. Leymann, M. Weske.

    BPEL4Chor: Extending BPEL for Modeling Choreographies, in: IEEE International Conference on Web Services (ICWS 2007), IEEE Computer Society, 2007, pp. 296–303.
  • 60E. W. Dijkstra.

    On the role of scientific thought, in: Selected Writings on Computing: A Personal Perspective, Springer-Verlag, 1974, pp. 60–66, Published in 1982.
  • 61R. Douence, P. Fradet, M. Südholt.

    A framework for the detection and resolution of aspect interactions, in: Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02), Lecture Notes in Computer Science, Springer-Verlag, October 2002, vol. 2487, pp. 173–188.

    http://hal.inria.fr/inria-00072153
  • 62R. Douence, P. Fradet, M. Südholt.

    Trace-Based Aspects, in: Aspect-Oriented Software Development, M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors), Addison-Wesley, 2004, pp. 201-218.
  • 63R. Douence, O. Motelet, M. Südholt.

    A formal definition of crosscuts, in: Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Lecture Notes in Computer Science, Springer-Verlag, 2001, vol. 2192, pp. 170–186.
  • 64R. Douence, D. Le Botlan, J. Noyé, M. Südholt.

    Concurrent Aspects, in: Proc. of the Int. ACM Conf. on Generative Programming and Component Engineering (GPCE), ACM Press, October 2006, pp. 79-88.
  • 65H. Foster, S. Uchitel, J. Magee, J. Kramer.

    Model-based Verification of Web Service Compositions, in: Proceedings of the 18th IEEE Int. Conf. on Automated Software Engineering (ASE'03), IEEE Computer Society, 2003, pp. 152–163.
  • 66I. Foster, Y. Zhao, I. Raicu, S. Lu.

    Cloud computing and grid computing 360-degree compared, in: Grid Computing Environments Workshop, 2008. GCE'08, Ieee, 2008, pp. 1–10.
  • 67A. Fuggetta, G. P. Picco, G. Vigna.

    Understanding Code Mobility, in: IEEE Transactions on Software Engineering, May 1998, vol. 24, no 5, pp. 342–361.
  • 68Greenpeace.

    Make IT green: Cloud computing and its contribution to climate change, Greenpeace International, March 2010.
  • 69K. Honda, N. Yoshida, M. Carbone.

    Multiparty asynchronous session types, in: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, G. C. Necula, P. Wadler (editors), ACM, 2008, pp. 273–284.

    http://www.doc.ic.ac.uk/~yoshida/multiparty/multiparty.pdf
  • 70G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W. G. Griswold.

    An Overview of AspectJ, in: ECOOP 2001 — Object-Oriented Programming 15th European Conference, Budapest Hungary, Berlin, J. L. Knudsen (editor), Lecture Notes in Computer Science, Springer-Verlag, June 2001, vol. 2072, pp. 327–353.

    http://www.eclipse.org/aspectj/
  • 71G. Kiczales.

    Aspect Oriented Programming, in: Proc. of the Int. Workshop on Composability Issues in Object-Orientation (CIOO'96) at ECOOP, July 1996, Selected paper published by dpunkt press, Heidelberg, Germany.
  • 72G. Kiczales, J. des Rivieres, Daniel G. Bobrow.

    The Art of the Meta-Object Protocol, MIT Press, Cambridge (MA), USA, 1991.
  • 73J. Kienzle, R. Guerraoui.

    AOP - Does It Make Sense? The Case of Concurrency and Failures, in: 16th European Conference on Object-Oriented Programming (ECOOP'2002), Malaga, Spain, B. Magnusson (editor), Lecture Notes in Computer Science, Springer-Verlag, 2002.
  • 74T. Ledoux.

    OpenCorba: a Reflective Open Broker, in: ACM Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, Saint-Malo, France, P. Cointe (editor), Lecture Notes in Computer Science, Springer-Verlag, July 1999, vol. 1616, pp. 197–214.
  • 75M. McIlroy.

    Mass produced software components, in: Mass produced software components, Garmish, Germany, P. Naur, B. Randell (editors), NATO Science Committee, October 1968, pp. 138-155.
  • 76N. Medvidovic, R. N. Taylor.

    A Classification and Comparison Framework for Software Architecture Description Languages, in: IEEE Transactions on Software Engineering, January 2000, vol. 26, no 1, pp. 70-93.
  • 77M. Mernik, J. Heering, A. M. Sloane.

    When and How to Develop Domain-Specific Languages, in: ACM Computing Surveys, December 2005, vol. 37, no 4, pp. 316-344.
  • 78L. Mikhajlov, E. Sekerinski.

    A study of the fragile base class, in: A study of the fragile base class, Brussels, Belgium, E. Jul (editor), Lecture Notes in Computer Science, July 1998, vol. 1445, pp. 355-382.
  • 79D. H. Nguyen, M. Südholt.

    VPA-based aspects: better support for AOP over protocols, in: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), IEEE Computer Society Press, September 2006.
  • 80O. Nierstrasz.

    Regular Types for Active Objects, in: Object-Oriented Software Composition, O. Nierstrasz, D. Tsichritzis (editors), Prentice Hall, 1995, chap. 4, pp. 99–121.
  • 81M. Nishizawa, S. Chiba, M. Tatsubori.

    Remote Pointcut - A Language Construct for Distributed AOP, in: Proceedings of the 3rd ACM Int. Conf. on Aspect-Oriented Software Development (AOSD), Lancaster, ACM Press, 2004.
  • 82D. L. Parnas.

    On the criteria for decomposing systems into modules, in: Communications of the ACM, December 1972, vol. 15, no 12, pp. 1053-1058.
  • 83S. Pearson.

    Toward Accountability in the Cloud, in: Internet Computing, IEEE, July-Aug. 2011, vol. 15, no 4, pp. 64-69.

    http://dx.doi.org/10.1109/MIC.2011.98
  • 84F. Plasil, S. Visnovsky.

    Behavior Protocols for Software Components, in: Transactions on Software Engineering, January 2002, vol. 28, no 9.
  • 85F. Puntigam.

    Coordination Requirements Expressed in Types for Active Objects, in: ECOOP'97—Object-Oriented Programming, M. Akşit, S. Matsuoka (editors), Lecture Notes in Computer Science, Springer-Verlag, 1997, vol. 1241, pp. 367–388.
  • 86N. Sharma, S. Barker, D. Irwin, P. Shenoy.

    Blink: managing server clusters on intermittent power, in: SIGARCH Comput. Archit. News, March 2011, vol. 39, pp. 185–198.

    http://dx.doi.org/10.1145/1961295.1950389
  • 87M. Shaw, D. Garlan.

    Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.
  • 88B. C. Smith.

    Reflection and Semantics in LISP, Xerox Palto Alto Research Center, Palo Alto, 1984, no P84-00030.
  • 89S. Soares, E. Laureano, P. Borba.

    Implementing distribution and persistence aspects with AspectJ , in: Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications (OOPSLA-02), C. Norris, J. J. B. Fenwick (editors), ACM SIGPLAN Notices, ACM Press, November  4–8 2002, vol. 37, 11, pp. 174–190.
  • 90S. Sundareswaran.

    Ensuring Distributed Accountability for Data Sharing in the Cloud, in: Dependable and Secure Computing, 2012, vol. 9.

    http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6165313
  • 91R. J. Walker, K. Viggers.

    Implementing Protocols via Declarative Event Patterns, in: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-12), ACM Press, 2004, pp. 159 - 169.
  • 92M. Wand, G. Kiczales, C. Dutchyn.

    A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2004, vol. 26, no 5, pp. 890–910.
  • 93D. M. Yellin, R. E. Strom.

    Protocol specifications and component adaptors, in: ACM Transactions of Programming Languages and Systems, March 1997, vol. 19, no 2, pp. 292–333.
  • 94Q. Zhang, L. Cheng, R. Boutaba.

    Cloud computing: state-of-the-art and research challenges, in: Journal of internet services and applications, 2010, vol. 1, no 1, pp. 7–18.
  • 95A. van Deursen, P. Klint, J. Visser.

    Domain-Specific Languages: An Annotated Bibliography, in: ACM SIGPLAN Notices, June 2000, vol. 35, no 6, pp. 26-36.


previous Previous | up Home