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

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

1 2 next

  1. Qasem, Aneesa M.: Formal model of the synthesized screen image of a dynamic situation in areas of monitoring mobile objects and its implementation in a web-oriented geoinformation system (2017)
  2. Trangenstein, John A.: Scientific computing. Vol. II. Eigenvalues and optimization (2017)
  3. Trangenstein, John A.: Scientific computing. Vol. III. Approximation and integration (2017)
  4. Ancona, Davide; Giannini, Paola; Zucca, Elena: Incremental rebinding with name polymorphism (2016)
  5. Asselin, Lynn; Gardner, Kirk P.; Sheehy, Donald R.: Interactive geometric algorithm visualization in a browser (2016)
  6. Raad, Azalea; Santos, José Fragoso; Gardner, Philippa: DOM: specification and client reasoning (2016)
  7. Keil, Matthias; Thiemann, Peter: Blame assignment for higher-order contracts with intersection and union (2015)
  8. Kovács, Zoltán; Parisse, Bernard: Giac and GeoGebra -- improved Gröbner basis computations (2015)
  9. Roşu, Grigore: From rewriting logic, to programming language semantics, to program verification (2015)
  10. Thiemann, Peter: Towards specializing JavaScript programs (2015)
  11. Voronkov, Andrei (ed.); Virbitskaite, Irina (ed.): Perspectives of system informatics. 9th international Ershov informatics conference, PSI 2014, St. Petersburg, Russia, June 24--27, 2014. Revised selected papers (2015)
  12. Rafael de Assis Costa, Igor; Nazaré Santos, Henrique; Rafael Alves, Péricles; Magno Quintão Pereira, Fernando: Just-in-time value specialization (2014) ioport
  13. Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin: Gradual typing embedded securely in JavaScript (2014)
  14. Bielova, Nataliia: Survey on JavaScript security policies and their enforcement mechanisms in a web browser (2013)
  15. Fournet, Cedric; Swamy, Nikhil; Chen, Juan; Dagand, Pierre-Evariste; Strub, Pierre-Yves; Livshits, Benjamin: Fully abstract compilation to JavaScript (2013)
  16. Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean: Secure distributed programming with value-dependent types (2013)
  17. Domoszlai, László; Plasmeijer, Rinus: Compiling Haskell to JavaScript through Clean’s core (2012)
  18. Gardner, Philippa Anne; Maffeis, Sergio; Smith, Gareth David: Towards a program logic for JavaScript (2012)
  19. Morales, Jose F.; Haemmerlé, Rémy; Carro, Manuel; Hermenegildo, Manuel V.: Lightweight compilation of (C)LP to JavaScript (2012)
  20. Domoszlai, László; Bruël, Eddy; Jansen, Jan Martin: Implementing a non-strict purely functional language in JavaScript (2011)

1 2 next