Search Results - "JavaScript publications"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Cover Image

    Secure distributed programming with value-dependent types by SWAMY, NIKHIL, CHEN, JUAN, FOURNET, CÉDRIC, STRUB, PIERRE-YVES, BHARGAVAN, KARTHIKEYAN, YANG, JEAN

    ISSN: 0956-7968, 1469-7653
    Published: Cambridge, UK Cambridge University Press 01.07.2013
    Published in Journal of functional programming (01.07.2013)
    “…Distributed applications are difficult to program reliably and securely. Dependently typed functional languages promise to prevent broad classes of errors and…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Volta: Developing Distributed Applications by Recompiling by Manolescu, D., Beckman, B., Livshits, B.

    ISSN: 0740-7459, 1937-4194
    Published: Los Alamitos, CA IEEE 01.09.2008
    Published in IEEE software (01.09.2008)
    “…Mainstream languages and tools are tailored for sequential, nondistributed applications, with support for distributed computing provided only in library APIs…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    USRC: A New Strategy for Adding Digital Images to the Medical School Curriculum by Pinelle, David, Burbridge, Brent, Kalra, Neil

    ISSN: 0897-1889, 1618-727X, 1618-727X
    Published: New York Springer-Verlag 01.10.2012
    Published in Journal of digital imaging (01.10.2012)
    “…Many medical schools use learning management systems (LMSs) to give students access to online lecture notes, assignments, quizzes, and other learning…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: