References in zbMATH (referenced in 22 articles , 1 standard article )

Showing results 1 to 20 of 22.
Sorted by year (citations)

1 2 next

  1. Ancona, Davide; Giannini, Paola; Zucca, Elena: Incremental rebinding with name polymorphism (2016)
  2. Kovács, Zoltán; Parisse, Bernard: Giac and GeoGebra -- improved Gröbner basis computations (2015)
  3. Roşu, Grigore: From rewriting logic, to programming language semantics, to program verification (2015)
  4. Thiemann, Peter: Towards specializing JavaScript programs (2015)
  5. Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin: Gradual typing embedded securely in JavaScript (2014)
  6. Bielova, Nataliia: Survey on JavaScript security policies and their enforcement mechanisms in a web browser (2013)
  7. Fournet, Cedric; Swamy, Nikhil; Chen, Juan; Dagand, Pierre-Evariste; Strub, Pierre-Yves; Livshits, Benjamin: Fully abstract compilation to JavaScript (2013)
  8. Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean: Secure distributed programming with value-dependent types (2013)
  9. Domoszlai, László; Plasmeijer, Rinus: Compiling Haskell to JavaScript through Clean’s core (2012)
  10. Gardner, Philippa Anne; Maffeis, Sergio; Smith, Gareth David: Towards a program logic for JavaScript (2012)
  11. Morales, Jose F.; Haemmerlé, Rémy; Carro, Manuel; Hermenegildo, Manuel V.: Lightweight compilation of (C)LP to JavaScript (2012)
  12. Goyvaerts, Jan; Levithan, Steven: Regular expressions cookbook. German translation by Thomas Demmig. (2010)
  13. Jansen, Jack; Bulterman, Dick C.A.: SMIL state: an architecture and implementation for adaptive time-based web applications (2009)
  14. Baier, Thomas; Neuwirth, Erich: Excel :: COM :: R (2007)
  15. Flanagan, David: JavaScript: The definitive guide. Translated from the 5th English edition by Lars Schulten & Ulrich Speidel. (2007)
  16. Anderson, Christopher; Giannini, Paola: Type checking for javascript. (2005)
  17. Wenz, Christian: JavaScript. The definitive guide. With CD-ROM. (2005)
  18. Stefansson, Gunnar: The tutor-web: An educational system for classroom presentation, evaluation and self-study (2004)
  19. Damiani, Ferruccio; Giannini, Paola: Alias types for ”environment-aware” computations. (2003)
  20. Bono, Viviana; Damiani, Ferruccio; Giannini, Paola: A calculus for ”Environment-aware” computation. (2002)

1 2 next