Skip to main content
SpringerLink
Log in

Ludics and Web: Another Reading of Standard Operations

  • Chapter
Ludics, Dialogue and Interaction

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6505))

Abstract

The development of the Web lead to new programming languages. They merely come from well-known sequential languages augmented by specific libraries dedicated to web usage. They do not seriously take into account interaction, that is the most important principle in action. Relevant to the dialogue paradigm, we show that a web language may be fully designed in this spirit. We explain in which extent interaction is a central concept in web analysis. For that purpose, we use ludics as a logical framework. Ludics was developed by J.-Y. Girard as a semantics able to rebuild the logics from the notion of interaction. We present then a concrete web language whose type system is derived from ludics.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 16.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. Log. Comput. 2, 297–347 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  2. Carpineti, S., Castagna, G., Laneve, C., Padovani, L.: A formal account of contracts for web services. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 148–162. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. Coupey, P., Fouqueré, C., Loddo, J.-V.: Tree components programming: An application to xml. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 139–153. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  4. Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50, 1–102 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  5. Girard, J.-Y.: Locus solum: From the rules of logic to the logic of rules. Mathematical Structures in Computer Science 11, 301–506 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  6. Girard, J.-Y.: Le Point Aveugle: vers l’imperfection. Visions des Sciences 2, Hermann (2007)

    Google Scholar 

  7. Hughes, J.: Generalising monads to arrows. Sci. Comput. Program. 37, 67–111 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  8. Queinnec, C.: The influence of browsers on evaluators or, continuations to program web servers. In: ICFP, pp. 23–33 (2000)

    Google Scholar 

  9. Queinnec, C.: Continuations and web servers. Higher-Order and Symbolic Computation 17, 277–295 (2004)

    Article  Google Scholar 

  10. Terui, K.: Computational ludics. Theoretical Computer Science (2008) (to appear)

    Google Scholar 

  11. Thiemann, P.: Wash/cgi: Server-side web scripting with sessions and typed, compositional forms. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol. 2257, pp. 192–208. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  12. Thiemann, P.: Wash server pages. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol. 3945, pp. 277–293. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  13. Wadler, P.: Comprehending monads. In: LISP and Functional Programming, pp. 61–78 (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIPN-UMR7030, CNRS, Université Paris 13, Villetaneuse, France

    Christophe Fouqueré

Authors
  1. Christophe Fouqueré
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire Structures Formelles du Langage, Université Paris 8, Bat D salle 324, 2 Rue de la Liberté, 93200, Saint Denis, France

    Alain Lecomte

  2. Résurgences/The NetLab.org, 111 Rue Consolat, 12001, Marseille, France

    Samuel Tronçon

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Fouqueré, C. (2011). Ludics and Web: Another Reading of Standard Operations. In: Lecomte, A., Tronçon, S. (eds) Ludics, Dialogue and Interaction. Lecture Notes in Computer Science(), vol 6505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19211-1_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-19211-1_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-19210-4

  • Online ISBN: 978-3-642-19211-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation