Track on Object-Oriented Programming Languages and Systems, Pau, Frankreich

SAC 2018<br>For the past thirty two years, the ACM Symposium on Applied Computing (SAC) has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world&#046;<br>SAC 2018 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP) and is hosted by hosted by Université de Pau et des Pays de l&#8242;Adour (UPPA), Pau, France&#046;<br>OOPS TRACK: AIMS AND TOPICS<br>Object&#8211;oriented programming (OOP) has become the mainstream programming paradigm for developing complex software systems in most application domains&#046;<br>However, existing OO languages and platforms need to evolve to meet the continuous demand for new abstractions, features, and tools able to reduce the time, effort, and cost of creating object&#8211;oriented software systems, and improving their performance, quality and usability&#046;<br>To this aim, OOPS is seeking for research advances bringing benefits in all those typical aspects of software development, such as modeling, prototyping, design, implementation, concurrency and distribution, code generation, analysis, verification, testing, debugging, evaluation, deployment, maintenance, reuse, and software evolution and adaptation&#046;<br>The specific topics of interest for the OOPS track include, but are not limited to, the following:<br>Aspects and components<br>Code generation, and optimization, just&#8211;in&#8211;time compilation<br>Context&#8211;oriented programming<br>Databases and persistence<br>Distribution and concurrency<br>Dynamic and scripting languages<br>Evaluation<br>Feature Oriented Software Development and Programming<br>Formal verification<br>Internet of Things technology and programming<br>Integration with other paradigms<br>Interoperability, versioning and software evolution and adaptation<br>Language design and implementation<br>Modular and generic programming<br>Reflection, meta&#8211;programming<br>Runtime verification and monitoring<br>Secure and dependable software<br>Static analysis<br>Testing and debugging<br>Type systems and type inference<br>Virtual machines<br>