December 2017 - Annonce

New journal publication: Derived-Term Automata of Multitape Expressions with Composition
by Akim Demaille 29 Dec '17

29 Dec '17

The Vcsn team is happy to announce that the following paper was accepted and published in Volume XXVII of the Scientific Annals of Computer Science. Derived-Term Automata of Multitape Expressions with Composition Akim Demaille EPITA/LRDE Rational expressions are powerful tools to define automata, but often restricted to single-tape automata. Our goal is to unleash their expressive power for transducers, and more generally, any multitape automaton; for instance (a⁺|x + b⁺|y)*. We generalize the construction of the derived-term automaton by using expansions. This approach generates small automata, and even allows us to support a composition operator. The paper on the Scientific Annals of Computer Science's website http://www.info.uaic.ro/bin/Annals/Article?v=XXVII2&a=1 For more information about this publication see http://publis.lrde.epita.fr/demaille.17.sacs To play with Vcsn on the topic of this paper http://vcsn-sandbox.lrde.epita.fr/notebooks/Doc/SACS-2017.ipynb Vcsn's home page http://vcsn.lrde.epita.fr

1 0

[CfP] 11th European Lisp Symposium, 16-17 Apr 2018, Marbella, Spain
by Didier Verna 18 Dec '17

18 Dec '17

ELS'18 - 11th European Lisp Symposium Centro Cultural Cortijo de Miraflores Marbella, Málaga Spain April 16-17 2018 Sponsored by EPITA http://www.european-lisp-symposium.org/ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The 11th European Lisp Symposium invites high quality papers about novel research results, insights and lessons learned from practical applications and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. Topics include but are not limited to: - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Language design and implementation - Language integration, inter-operation and deployment - Development methodologies, support and environments - Educational approaches and perspectives - Experience reports and case studies We invite submissions in the following forms: Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 2 pages for demonstrations of tools, libraries, and applications. Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. The symposium will also provide slots for lightning talks, to be registered on-site every day. All submissions should be formatted following the ACM SIGS guidelines and include ACM Computing Classification System 2012 concepts and terms. Submissions should be uploaded to Easy Chair, at the following address: https://www.easychair.org/conferences/?conf=els2018 Note: to help us with the review process please indicate the type of submission by entering either "paper", "demo", or "tutorial" in the Keywords field. Important dates: - 18 Feb 2018 Submission deadline - 19 Mar 2018 Notification of acceptance - 25 Mar 2018 Early registration deadline - 02 Apr 2018 Final papers due - 16-17 Apr 2018 Symposium Programme chair: David Cooper, Genworks Intl., USA Local chairs: Andrew Lawson & Nick Levine, Ravenpack, Spain Programme committee: tba Search Keywords: #els2018, ELS 2018, ELS '18, European Lisp Symposium 2018, European Lisp Symposium '18, 10th ELS, 10th European Lisp Symposium, European Lisp Conference 2018, European Lisp Conference '18 -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

Announcing Quickref: global documentation for Common Lisp libraries
by Didier Verna 18 Dec '17

18 Dec '17

Hello, I'm happy to announce the deployment of Quickref[1], a new global documentation project for Common Lisp. Quickref provides automatically generated reference manuals for the whole Quicklisp world, that is, more than 1500 libraries and 3000 ASDF systems. The documentation is generated by Declt[2] in HTML. Declt documents every possible bit of information (systems, files, packages, variables, functions, classes etc.) with full indexing and cross-referencing. Quickref was made by Antoine Martin, as part of an internship with me. Many thanks to him! We still have some cleanup and packaging to do, but we expect to open-source the infrastructure soon. I also want to thank Mark Evenson, Erik Huelsmann and the Common Lisp Foundation for hosting the project on common-lisp.net. Footnotes: [1] http://quickref.common-lisp-net/ [2] https://www.lrde.epita.fr/~didier/software/lisp/misc.php#declt -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

DoX 2.4 is released
by Didier Verna 06 Dec '17

06 Dec '17

Hello, I'm happy to announce the release of DoX version 2.4. What's new in this version: * Improve AUCTeX support. * Fix spurious spaces in index entries Grab it directly here: http://www.lrde.epita.fr/~didier/software/latex.php#dox or wait until it propagates through CTAN... -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0