sts

sts@lists.urchin.earth.li

102 discussions

CC 2009: abstracts due Oct 2
by Oege.de.Moor＠comlab.ox.ac.uk 10 Sep '08

10 Sep '08

>>> abstracts - Oct 2, full papers - Oct 9 <<< CC 2009 International Conference on Compiler Construction March 22-29, York, United Kingdom Invited Speaker: Vivek Sarkar (Rice University, US) Part of ETAPS 2009 http://www.brics.dk/~mis/CC2009/ CC is a premier forum for presenting research on compilers in the broadest possible sense, including run-time techniques, programming tools, domain-specific languages, novel language constructs and so on. In recent years CC has seen a healthy increase in the number of submissions, in line with its broad outlook; its typical acceptance rate is 20-25%. CC is part of ETAPS, and this year it is held in York (UK), March 22-29 2009. The program committee would particularly welcome submissions from researchers on transformation systems on any topic relating to program transformation Abstracts are due on October 2, and the deadline for full paper submission is October 9. Prospective authors are welcome to contact the program chairs, Michael Schwartzbach (mis(a)brics.dk) and Oege de Moor (oege(a)comlab.ox.ac.uk) with any queries they might have.

1 0

CfPart - Software Language Engineering 2008
by Eric Van Wyk 09 Sep '08

09 Sep '08

___________________________________________________________ Call for Participation - SLE 2008 1st International Conference on Software Language Engineering http://planet-sl.org/sle2008/ Toulouse, France, September 29-30, 2008 ____________________________________________________________ Co-located with 11th IEEE/ACM International Conference on Model-Driven Engineering Languages and Systems (MODELS 2008) Highlights: - 17 research papers and 1 tool demo, the program is listed below - Anneke Kleppe and Mark van den Brand - keynote speakers - Early registration is open until Sept 10, 2008 - SLE 2008 registration also includes access to all MODELS 2008 Workshops/Symposia Conference ---------- The 1st International Conference on Software Language Engineering (SLE) is devoted to topics related to artificial languages in software engineering. SLE is an international research forum that aims to bring together researchers and practitioners from both industry and academia to expand the frontiers of software language engineering. Historically, SLE emerged from two established workshop series: LDTA (Language Descriptions, Tools, and Applications) which has been a satellite event at ETAPS for the last 8 years, and ATEM which has been co-located with MODELS and WCRE for the last 5 years. These, as well as several other conferences and workshops, have investigated various aspects of language design, implementation, and evolution but from different perspectives. SLE's foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific "technical spaces". Scope ----- The term "software language" comprises all sorts of artificial languages used in software development including general purpose programming languages, domain-specific languages, modeling and metamodeling languages, data models, and ontologies. We use this term in its broadest sense. Thus, for example, modeling languages include UML and UML-based languages, synchronous languages used in safety critical applications, business process modeling languages, and web application modeling languages, to name a few. Perhaps less obviously, the term "software language" also comprises APIs and collections of design patterns that are indeed implicitly defined languages.. Software language engineering is the application of a systematic, disciplined, quantifiable approach to the development, use, and maintenance of these languages. Thus, the SLE conference is concerned with all phases of the lifecycle of software languages; these include the design, implementation, documentation, testing, deployment, evolution, recovery, and retirement of languages. Of special interest are tools, techniques, methods and formalisms that support these activities. In particular, tools are often based on or even automatically generated from a formal description of the language. Hence, of special interest is the treatment of language descriptions as software artifacts, akin to programs - while paying attention to the special status of language descriptions, subject to tailored engineering principles and methods for modularization, refactoring,refinement, composition, versioning, co-evolution, and analysis.. Accepted Papers --------------- - Tiago Alves, Joost Visser, A Case Study In Grammar Engineering - Bas Basten, Paul Klint, Language-Parametric Fact Extraction from Source Code - Martin Bravenboer, Eelco Visser, Parse Table Composition - Separate Compilation and Binary Extensibility of Grammars - Nicholas Drivalos, Dimitrios Kolovos, Richard Paige, Kiran Fernandes, Towards a Traceability Metamodelling Language - Mathias Fritzsche, Jendrik Johannes, Uwe Assmann, Simon Mitschke, Wasif Gilani, Ivor Spence, John Brown, Peter Kilpatrick, Systematic Usage of Embedded Modelling Languages in Model Transformation Chains - Terje Gj�s�ter, Ingelin F. Isfeldt, Andreas Prinz, A language description for Sudoku - Thomas Goldschmidt, Towards an Incremental Update Approach for Concrete Textual Syntaxes for UUID-Based Model Repositories - Jurriaan Hage, Peter van Keeken, Neon: a library for language usage analysis - Einar H�st, Bjarte �stvold, The Java Programmer's Phrase Book - Hongzhi Liang, Juergen Dingel, A Practical Evaluation of Using TXL for Model Transformation - Daniel Moody, Jos van Hillegersberg, Evaluating the Visual Syntax of UML: Improving the Cognitive Effectiveness of the UML Family of Diagrams - Emma Nilsson-Nyman, Torbj�rn Ekman, Gorel Hedin, Practical Scope Recovery using Bridge Parsing - Jeffrey Overbey, Ralph Johnson, Generating Rewritable Abstract Syntax Trees: A Foundation for the Rapid Development of Source Code Transformation Tools - Jose E. Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo, Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude Pablo Sanchez, Neil Loughran, Alessandro Garcia, Lidia Fuentes, Engineering languages for specifying product-derivation processes in Software Product Lines - Bernhard Schaetz, Formalization and Rule-Based Transformation of EMF Ecore- Based Models - Pieter Van Gorp, Anne Keller, Dirk Janssens, Transformation Language Integration based on Profiles and Higher Order Transformations Tool Demo - Yu Sun, Zekai Demirezen, Fr�d�ric Jouault, Robert Tairas and Jeff Gray, A Model Engineering Approach to Tool Interoperability The acceptance rate for SLE 2008 was 20%. Registration ------------ Registration is open now. Early bird registration is till Sept 10. Regitration is via http://www.irit.fr/models/registration.html Registration to SLE also includes free access to all workshops and symposia at MODELS 2008 for all of three days of MODELS 2008 Satellite events. Keynote Speakers ---------------- * "Model-driven Engineering meets Generic Language Technology," Mark van den Brand, TU Eindhoven, The Netherlands * "Software Language Engineering: Chartin' the Map, "Anneke Kleppe, Capgemini, The Netherlands Organization ------------ Steering Committee * Mark van den Brand, TU Eindhoven, The Netherlands * James Cordy, Queen's University, Canada * Jean-Marie Favre, University of Grenoble, France * Dragan Gasevic, Athabasca University, Canada * Gorel Hedin, Lund University, Sweden * Ralf Laemmel, Universitat Koblenz-Landau, Germany * Eric Van Wyk, University of Minnesota, USA * Andreas Winter, Johannes Gutenberg-Universitat Mainz, Germany General Chair * Ralf Laemmel, Universitat Koblenz-Landau, Germany Program Committee Co-Chairs * Dragan Gasevic, Athabasca University, Canada * Eric Van Wyk, University of Minnesota, USA Organization Committee * Jean-Marie Favre, University of Grenoble, France * Jean-Sebastien Sottet, Web Chair, University of Grenoble, France * Andreas Winter, Johannes Gutenberg-Universitat Mainz, Germany * Steffen Zschaler, Publicity Chair, TU Dresden, Germany Program Committee * Uwe A�mann, Technische Universitaet Dresden, Germany * Colin Atkinson, Universit�t Mannheim, Germany * Jean Bezivin, Uinversit� de Nantes, France * Judith Bishop, University of Pretoria, South Africa * Marco Brambilla, Politecnico di Milano, Italy * Martin Bravenboer, Unversity of Oregon, USA * Charles Consel, Uinversity of Paris VI, France * Torbj�rn Ekman, Oxford University, England * Gregor Engels, Universit�t Paderborn, Germany * Robert Fuhrer, IBM, USA * Dragan Gasevic, co-chair, Athabasca University, Canada * Martin Gogolla, University of Bremen, Germany * Jeff Gray, University of Alabama at Birmingham, USA * Klaus Havelund, NASA Jet Propulsion Labs, USA * Reiko Heckel, Uinversity of Leicester, England * Nigel Horspool, Univeristy of Victoria, Canada * Joe Kiniry, University College Dublin, Ireland * Paul Klint, CWI, The Netherlands * Mitch Kokar, Northeaster Univeristy, USA * Thomas Kuehne, Victoria University of Wellington, New Zealand * Julia Lawall, DIKU, Denmark * Oege de Moor, Oxford University, England * Pirre-Etienne Moreau, INRIA & LORIA, France * Pierre-Alain Muller, University of Haute-Alsace, France * Richard Paige, University of York, England * Jeff Pan, University of Aberdeen, Scotland * Jo�o Saraiva, Universidad do Minho, Portugal * Micael Schwartzbach, University of Aarhus, Denmark * Anthony Sloane, Macquarie University, Australia * Steffen Staab, University of Koblenz-Landau, Germany * Laurence Tratt, Bournemouth University, England * Walid Taha, Rice University, USA * Eli Tilevich, Virginia Tech, USA * Juha-Pekka Tolvanen, MetaCase, Finland * Eric Van Wyk, co-chair, University of Minnesota, USA * Jurgen Vinju, CWI, The Netherlands * Mike Whalen, Rockwell Collins, USA * Steffen Zschaler, Technische Universitaet Dresden, Germany

1 0

STS'08: Software Transformation Systems Workshop at GPCE08/OOPSLA08 (October 2008, Nashville, Tennessee)
by Magne Haveraaen 06 Aug '08

06 Aug '08

STS'08: Software Transformation Systems Workshop http://www.program-transformation.org/Sts/STS08 part of the Seventh international conference on Generative Programming and Component Engineering (GPCE'08) http://www.gpce.org/ October 19-23 2008, Nashville, Tennessee colocated with OOPSLA'08 ________________________________________________________________________ Workshop Organisers * Magne Haveraaen, University of Bergen, Norway http://www.ii.uib.no/~magne/ * Jan Heering, CWI, Amsterdam, Netherlands http://homepages.cwi.nl/~jan/ * Eelco Visser, Delft University of Technology, Netherlands http://swerl.tudelft.nl/bin/view/EelcoVisser Workshop schedule: * 2 page position paper submission deadline: August 1, 2008 * Notification of acceptance: August 31, 2008 * Early registration: September 11, 2008 * Workshop: Wednesday October 22, 2008 Motivation ---------- Modern modelling and software development needs software support beyond that of simple editors and compilers. Often a model or software piece can be generated from (fragments) of existing models or high level codes. Software transformation systems are tools which are built for such transformations. They range from specific tools for one purpose, via simple pattern matching systems, to general transformation systems which are easily programmed to do any reasonable transformation. Thus the more general tools may be treated as meta-tools for generative programming. They are currently playing a significant role in integrated development environments (IDEs, e.g., Eclipse) and model driven engineering (MDE). Following on the success of STS'04 and STS'06, this workshop is once again designed to bring together people working on software transformation systems and those with an interest in software transformation systems as a tool. The workshop will this time to some extent focus on the relationship between software transformation technologies and related technologies such as reflection (supported, e.g., by Java), (template) meta-programming (supported by C++), and staged programming languages. We also want to look at the applications of transformation tools in IDEs and MDE. Workshop format --------------- The workshop will have a small number of participants, around 20, selected on the basis of short position papers submitted to the organisers. The aim is to let people with different perspectives meet in order to allow fruitful interaction. Submission of intent to participate ----------------------------------- If you find this workshop interesting you should send an e-mail to sts08(a)ii.uib.no with your intent to participate and your area of expertise/interest. Include a 2 page position paper if you want to give a presentation. Space may be limited at the workshop, and preregistered participants will be given priority. All material must be received by the deadline. We prefer plain ISO or UTF-8 documents (txt), but latex (only use standard packages) and pdf formats are also acceptable. -- http://www.program-transformation.org/Sts/STS08

1 1

CC 2009: abstracts due Oct 2
by Oege.de.Moor＠comlab.ox.ac.uk 24 Jul '08

24 Jul '08

>>> abstracts - Oct 2, full papers - Oct 9 <<< CC 2009 International Conference on Compiler Construction March 22-29, York, United Kingdom Invited Speaker: Vivek Sarkar (Rice University, US) Part of ETAPS 2009 http://www.cs.york.ac.uk/etaps09/Conf/conf.html#cc CC is a premier forum for presenting research on compilers in the broadest possible sense, including run-time techniques, programming tools, domain-specific languages, novel language constructs and so on. In recent years CC has seen a healthy increase in the number of submissions, in line with its broad outlook; its typical acceptance rate is 20-25%. CC is part of ETAPS, and this year it is held in York (UK), March 22-29 2009. The program committee would particularly welcome submissions from researchers on transformation systems on any topic relating to program transformation Abstracts are due on October 2, and the deadline for full paper submission is October 9. Prospective authors are welcome to contact the program chairs, Michael Schwartzbach (mis(a)brics.dk) and Oege de Moor (oege(a)comlab.ox.ac.uk) with any queries they might have.

1 0

CfP- Models@Runtime
by Freddy Munoz 25 Jun '08

25 Jun '08

------------------------ CALL FOR PAPERS ------------------------ WORKSHOP Models(a)run.time http://www.comp.lancs.ac.uk/computing/users/bencomo/MRT At the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems MODELS'08, 28 September - 3 October, Toulouse, France ********************************************************************** Important Dates: Submission deadline: Wednesday August 13th Notification of acceptance: September 7th (or before early registration deadline at MODELS08) Workshop at MODELS: Tuesday 30th September Program Committee Betty Cheng Michigan State University, USA Fabio M. Costa Federal University of Goias, Brazil Anthony Finkelstein UCL, UK Jeff Gray UAB, USA Oystein Haugen SINTEF, Norway Jozef Hooman ESI, The Netherlands Gang Huang Peking University, China Paola Inverardi University of L'Aquila P.F.Linington University of Kent, UK Jean-Marc Jezequel Triskell Team,IRISA, France Rui Silva Moreira UFP, INESC Porto, Portugal Andrey Nechypurenko Siemens, Germany Oscar Nierstrasz University of Berne Eugenio Scalise UCV, Venezuela Arnor Solberg SINTEF, Norway Thaís Vasconcelos Batista UFRN, Brazil Steffen Zschaler T.U. Dresden, Germany Organizing Committee Nelly Bencomo(main contact), Gordon Blair, Lancaster University, UK Robert France, Colorado State University, USA Freddy Munoz, INRIA, France Goal The goal of this workshop is to look at issues related to developing appropriate model-driven approaches to monitoring and managing the execution of systems. This is the first workshop to address this theme and its treatment requires the bringing together of a variety of communities including researchers working on model-driven software development, software architectures, reflection (including for example architectural reflection), and autonomic and self healing systems. Discussions in the workshop will address questions such as: What should a runtime model look like? How can the models be maintained at runtime? What are the best approaches to follow when developing runtime models? Workshop Format The workshop participants will be selected based on their experience and ideas related to this new and emerging field. You are invited to apply for attendance by sending a full-paper (8-10 pages) or a short paper (2-4 pages) in PDF or PS The paper must conform to the Springer LNCS formatting guidelines: http://www.springer.com/computer/lncs (it is the same format of the Conference, see conference website for more information). Submissions will be reviewed by at least 3 PC members. The authors will be notified about acceptance before the MoDELS 2008 early registration deadline. Candidates for best papers can be just taken from the category of full-papers. A primary deliverable of the workshop is a report that clearly outlines (1) the research issues and challenges in terms of specific research problems in the area, and (2) a synopsis of existing model- based solutions that target some well-defined aspect of monitoring and managing the execution of systems. Potential attendees are strongly encouraged to submit position papers that clearly identify research issues and challenges, present techniques that address well-defined problems in the area, and are supported by small demos. The first part of the workshop will focus on identifying the research issues and challenges and framing an initial set of research questions. The second part of the workshop will focus on discussing approaches for tackling the problems; in particular, the integration of runtime models with model-driven development approaches will be discussed. The workshop aims to: - Integrate and combine research ideas from the areas cited above. - Provide a "state-of-the-research" assessment expressed in terms of research issues, challenges, and accomplishments. This assessment can be used to guide research in the area. - Continue to build a network of researchers in this area, building on the initial event help last year. - Plan and promote further events on these topics. We strongly encourage authors to address the following topics. Labelled research topics with (*) are crucially important: - What a runtime model looks like and how does it evolve? (*) - How can runtime models be maintained? (*) - How can runtime models be validated? - What abstractions over runtime phenomena are useful? - How are the abstractions tied to the types of adaptations supported? (*) - How do these abstractions evolve over time? (*) - Are new abstractions created during runtime? (*) - How are the causal relationships with executing code realized? (*) - What is the role of reflection in maintaining the causal connection between models and run-time system? - The relevance and suitability of different model-driven approaches to monitoring and managing systems during runtime - Examples of how models can be used to validate and verify the behaviour of the system at runtime (*) - Compatibility (or tension) between different model-driven approaches - How do models at other phases of the software engineering lifecycle relate to the corresponding run-time models? - Small demos and tools that support the use of models(a)run.time (*) -- Per Ardua Ad Astra -- Freddy Oersted Mun~oz Ramirez Phone: +33 299 847 298 Ph.D. in Computer Science student e-mail: freddy.munoz(a)irisa.fr IRISA Rennes cedex, France web: http://freddy.cellcore.org

1 0

FDPE 2008 -- Deadline extension
by mh＠informatik.uni-kiel.de 24 Jun '08

24 Jun '08

Please note that the deadline for the Workshop on Functional and Declarative Programming in Education (FDPE08) which will be held in conjunction with ICFP 2008 on Sunday, September 21, 2008 in Victoria, British Columbia, Canada is extended to Sunday, June 29, 2008. Beside regular papers extended abstracts presenting new ideas in teaching declarative programming and (short) tool describtions are welcome as well. Further information is available from http://www-ps.informatik.uni-kiel.de/fdpe08/

1 0

CfP: FDPE 2008
by mh＠informatik.uni-kiel.de 21 May '08

21 May '08

====================================================================== Call for Papers Functional and Declarative Programming in Education (FDPE08) http://www-ps.informatik.uni-kiel.de/fdpe08/ Victoria, BC, Canada, 21 September, 2008 The workshop will be held in conjunction with ICFP 2008. http://www.icfpconference.org/icfp2008/ Important Dates --------------- Submission deadline: Friday, June 20, 2008 Notification of acceptance: Friday, July 25, 2008 Final revision due: Monday, July 14, 2008 Workshop: Sunday, September 21, 2008 Goals of the Workshop --------------------- Functional and declarative programming plays an increasingly important role in computing education at all levels. The aim of this workshop is to bring together educators and others who are interested in exchanging ideas on how to use a functional or declarative programming style in the classroom or in e-learning environments. Beyond the traditional focus of teaching programming by means of the functional or declarative paradigm, we are especially interested in case studies showing how these languages can be elegantly applied in teaching other topics of computer science (such as Appel's use of ML to teach compiler construction). Another interesting area covered by the workshop should be dedicated to teaching functional or declarative programming ideas in industrial environments. Functional and declarative languages have become more influential in industry. Thus, teaching such languages has become an interesting topic, as it must take into consideration long programming experiences in imperative languages. Topics: ------- The workshop will cover a wide spectrum of functional and declarative programming techniques: * programming courses using traditional functional and declarative programming languages (e.g. Haskell, Mathematica, ML, Prolog, Scheme, etc); * programming courses teaching functional programming in commercial languages (e.g. C, C++, Common LISP, etc); * programming courses teaching functional program design in modern OO languages (e.g. Java, C#, Eiffel, etc); * pedagogic programming environments to support functional and declarative programming; * teaching tools implemented with functional and declarative languages and/or ideas; * declarative programming language extensions and implementations with pedagogical relevance; * application courses that benefit heavily from functional and declarative programming (e.g. theorem proving or hardware design). Furthermore, the workshop will also cover all levels of education: * secondary school; * college and university; * post-college and continuing professional education. FDPE will be held in conjunction with the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP 2008) in Victoria, British Columbia, Canada on Sunday, September 21, 2008. Submitted papers should describe new ideas, experimental results, or education-related projects. In order to encourage lively discussion, submitted papers may describe new ideas of education as well as project proposals about incorporating functional and declarative concepts into education curricula. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. All paper submissions must be at most 12 pages total length in the standard ACM SIGPLAN two-column conference format (9pt). Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Submissions will be refereed by the program commitee who will call upon other members involved in teaching in related areas for expert advice. More details about the submission procedure will be announced on the FDPE website at http://www-ps.informatik.uni-kiel.de/fdpe08/ Registration, hotels, travel, etc. ---------------------------------- Information about registration, accommodation, and travel will eventually be available on the main conference web site (http://www.icfpconference.org/) Program Committee ----------------- * John Clements, California Polytechnic State University, United States * Matthew Flatt, University of Utah, United States * Michael Hanus, University of Kiel, Germany * Frank Huch, University of Kiel, Germany (co-chair) * Adam Parkin, University of Victoria, Canada (co-chair) * Simon Thompson, University of Kent, UK * Mads Torgersen, Microsoft Redmond, United States ----------------------------------------------------------------------

1 0

Final CfP: LOPSTR 2008
by mh＠informatik.uni-kiel.de 18 Apr '08

18 Apr '08

====================================================================== Final CALL FOR PAPERS 18th International Symposium on International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2008 http://www.informatik.uni-kiel.de/~mh/lopstr08/ July 17-18, 2008, Valencia, Spain (co-located with SAS 2008, PPDP 2008, and PLID 2008) ====================================================================== Objectives: The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium, so authors can incorporate this feedback in the published papers. Topics: Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Papers describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: specification synthesis verification transformation analysis optimisation composition security reuse applications and tools component-based software development software architectures agent-based software development program refinement Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). IMPORTANT DATES AND SUBMISSION GUIDELINES: Paper/extended abstract submission: May 7, 2008 Notification (for pre-proceedings): June 8, 2008 Camera-ready (for pre-proceedings): June 29, 2008 Symposium: July 17-18, 2008 Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages (including references), respectively. Submissions must be formatted in the Springer LNCS style (excluding well-marked appendices not intended for publication). Referees are not required to read the appendices, and thus papers should be intelligible without them. Short papers may describe work-in-progress or tool demonstrations. Both accepted short and full papers will appear in the pre-proceedings. The full papers will automatically appear in the formal proceedings that will be published by Springer-Verlag in the LNCS series. In addition, after the symposium, the programme committee will select those short papers to be considered for formal publication. These authors will be invited to revise and extend their submissions in the light of the comments of the reviewers and the feedback solicited at the meeting. Then after another round of reviewing, the revised papers which are accepted will be also published in the formal proceedings. Papers should be submitted either in PDF or PostScript via the web page of LOPSTR 2008. Program Committee: Slim Abdennadher German University Cairo Danny De Schreye K.U.Leuven, Belgium Wlodek Drabent Polish Academy of Sciences, Poland / Linkoeping Univ., Sweden Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany (Chair) Patricia Hill University of Leeds, UK Andy King University of Kent, UK Michael Leuschel University of Duesseldorf, Germany Torben Mogensen DIKU, University of Copenhagen, Denmark Mario Ornaghi Universita degli Studi di Milano, Italy Etienne Payet Universite de La Reunion, France Alberto Pettorossi University of Rome Tor Vergata, Italy German Puebla Technical University of Madrid, Spain C.R. Ramakrishnan SUNY at Stony Brook, USA Sabina Rossi Universita Ca' Foscari di Venezia, Italy Chiaki Sakama Wakayama University, Japan Josep Silva Technical University of Valencia, Spain Wim Vanhoof University of Namur, Belgium Eelco Visser Delft University of Technology, The Netherlands ----------------------------------------------------------------------

1 0

Tom version 2.6 is out
by Pierre-Etienne Moreau 14 Apr '08

14 Apr '08

Tom 2.6 announcement -------------------- It is our great privilege and pleasure to announce the availability of Tom version 2.6 . This release continues our work on the integration of pattern matching and rule based programming facilities into Java and C. Tom is a pattern matching compiler developed at INRIA. It is particularly well-suited for programming various transformations on trees/terms and XML based documents. Its design follows our research on the semantics and the efficient compilation of rule based languages. Many applications have been developed in Tom, both in academia and industry. Among them, let us mention: - the Tom compiler itself - languages semantics, interpreters and program transformation tools - a generator of canonical abstract syntax trees (Gom) - a proof assistant for supernatural deduction - a compiler algorithm for anti-pattern matching and disunification Tom is a complex compiler which adds powerful constructs to Java and C: rewrite rules, strategies, non linear syntactic matching, associative matching with neutral element (a.k.a. list-matching), XML based pattern matching, string matching, and equational rewriting. This offers the possibility to analyze and transform any kind of data-structure. Tom can be used for large scale developments and applications. It comes with a detailed documentation, as well as with programming and debugging support. This new release contains many improvements and new features: - new alternative syntax for '%match', based on atomic constraints that can be combined with '&&' and '||' operators. This gives a higher expressiveness and conciseness. - algebraic rules (lhs -> rhs) can now have any conjunction or disjunction of conditions - new syntax for strategies, make the definition of simple rules easier - the double-dispathing mechanism of the strategy library has been replaced by a simpler dispatching approach, making the use of strategies simpler when Gom is not used - Gom's lists now implement the interface Collection. Consequently, Java's classic iteration techniques can be employed. - new tool based on ANTLR 3 for implementing parsers that directly output Gom terms: GomAntlrAdapter. - term-graph rewriting support in Gom - several speed-ups of the compilation process as well as for the generated code. - a lot of new features for the Eclipse plug-in, including the availability of all the functionalities of the Java editor for ".t" files ( a complete list is available on the plug-in page: http://tom.loria.fr/plugin.php ) Tom is available, in open source (GPL/BSD License), from the web page: http://tom.loria.fr/ Best regards, Tom's development team

1 0

Last Call for Papers: SCAM'08 Working Conference on Source Code Analysis and Manipulation
by Jim Cordy 01 Apr '08

01 Apr '08

**************************************************** Deadline for submission: Abstract due: April 21, 2008 Full paper due: April 28, 2008 Notification: June 9, 2008 Camera Ready Due: June 30, 2008 Working Conference: 28th-29th September 2008 **************************************************** Call for Papers and Tool Demo Proposals - SCAM 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation 28th-29th September 2008, Beijing, China, Co-located with ICSM 2008 http://www2008.ieee-scam.org/ ---------------- Conference aims: ---------------- The aim of this working conference is to bring together researchers and practitioners working on theory, techniques and applications which concern analysis and/or manipulation of the source code of computer systems. While much attention in the wider software engineering community is properly directed towards other aspects of systems development and evolution, such as specification, design and requirements engineering, it is the source code that contains the only precise description of the behaviour of the system. The analysis and manipulation of source code thus remains a pressing concern. --------------------------------- Covered topics and paper formats: --------------------------------- We welcome submission of papers that describe original and significant work in the field of source code analysis and manipulation. Topics of interest include, but are not limited to: * program transformation * abstract interpretation * program slicing * source level software metrics * decompilation * source level testing and verification * source level optimization * program comprehension Submitted papers should not be longer than 10 pages. We also welcome submission of 2 page proposals for tool demonstrations expected to be performed live at the conference. All papers submitted should follow IEEE Computer Society Press Proceedings Author Guidelines. The papers should be submitted electronically via the conference web site. ------------ Proceedings: ------------ All accepted papers will appear in the proceedings which will be published by the IEEE Computer Society Press. Best papers from SCAM 2008 will be considered for revision, extension, and publication in a special issue of The Journal of Information and Software Technology. ---------------- Important Dates: ---------------- Deadline for submission: Abstract due: April 21, 2008 Full paper due: April 28, 2008 Notification: June 9, 2008 Camera Ready Due: June 30, 2008 Working Conference: 28th-29th September 2008 Zheng Li (Publicity Chair)

1 0

← Newer
1
2
3
4
5
6
7
...
11
Older →

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

sts