Filters








2,494 Hits in 4.8 sec

Exceptional asynchronous session types: session types without tiers

Simon Fowler, Sam Lindley, J. Garrett Morris, Sára Decova
2019 Proceedings of the ACM on Programming Languages (PACMPL)  
We present the first formal integration of asynchronous session types with exception handling in a functional programming language.  ...  To maintain session fidelity and ensure that all communication actions in a session type occur, session type systems typically require that each endpoint is used linearly-exactly once. Exceptions.  ...  This work was supported by EPSRC grants EP/L01503X/1 (EPSRC CDT in Pervasive Parallelism) and EP/K034413/1 (From Data Types to Session Types-A Basis for Concurrency and Distribution), and an LFCS internship  ... 
doi:10.1145/3290341 fatcat:l4rvsm5jfjfdnnnbppo5vzzotq

Model-View-Update-Communicate: Session Types Meet the Elm Architecture

Simon Fowler, Tobias Pape, Robert Hirschfeld
2020 European Conference on Object-Oriented Programming  
Safely implementing session types requires linearity, usually in the form of a linear type system.  ...  Session types are a type discipline for communication channel endpoints which allow conformance to protocols to be checked statically.  ...  [20] extend GV with failure handling, and extend Links with cross-tier session-typed communication.  ... 
doi:10.4230/lipics.ecoop.2020.14 dblp:conf/ecoop/000119 fatcat:ngepfchpmzbb3f7sx5idswfmci

Model-View-Update-Communicate: Session Types meet the Elm Architecture [article]

Simon Fowler
2020 arXiv   pre-print
Safely implementing session types requires linearity, usually in the form of a linear type system.  ...  Session types are a type discipline for communication channel endpoints which allow conformance to protocols to be checked statically.  ...  [21] extend GV with failure handling, and extend Links with cross-tier session-typed communication.  ... 
arXiv:1910.11108v3 fatcat:4fnbw5icibatfatxbav26hou4i

Secure distributed programming with value-dependent types

NIKHIL SWAMY, JUAN CHEN, CÉDRIC FOURNET, PIERRE-YVES STRUB, KARTHIKEYAN BHARGAVAN, JEAN YANG
2013 Journal of functional programming  
curated database; (4) a suite of 17 web-browser extensions verified for authorization properties; and (5) a cloudhosted multi-tier web application with a verified reference monitor.  ...  To date, we have programmed and verified more than 20,000 lines of F including (1) new schemes for multi-party sessions; (2) a zero-knowledge privacy-preserving payment protocol; (3) a provenance-aware  ...  Honda et al. (2008) develop special-purpose type systems for multi-party asynchronous sessions. They do not consider security or source code verification.  ... 
doi:10.1017/s0956796813000142 fatcat:xaln3te5lvhbnfgfln5qan4tea

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
2011 SIGPLAN notices  
curated database; (4) a suite of 17 web-browser extensions verified for authorization properties; and (5) a cloudhosted multi-tier web application with a verified reference monitor.  ...  To date, we have programmed and verified more than 20,000 lines of F including (1) new schemes for multi-party sessions; (2) a zero-knowledge privacy-preserving payment protocol; (3) a provenance-aware  ...  Honda et al. (2008) develop special-purpose type systems for multi-party asynchronous sessions. They do not consider security or source code verification.  ... 
doi:10.1145/2034574.2034811 fatcat:kmtf5wnqo5gjrjlcpjwlgyzb2u

Gavial: Programming the web with multi-tier FRP

Bob Reynders, Frank Piessens, Dominique Devriese
2020 The Art, Science, and Engineering of Programming  
Developing web applications requires dealing with their distributed nature and the natural asynchronicity of user input and network communication.  ...  For facilitating this, different researchers have explored the combination of a multi-tier programming language and functional reactive programming.  ...  } @peer type Session <: { type Tie <: Single[Client] with Single[Application] } @peer type Application <: { type Tie <: Multiple[Session] } The APIs they provide have similar types as ours, that is, crossing  ... 
doi:10.22152/programming-journal.org/2020/4/6 fatcat:elhv3sronvalxajdgbjodau464

A seamless, client-centric programming model for type safe web applications

Anton Ekblad, Koen Claessen
2014 SIGPLAN notices  
used to produce code for both client and server, (2) client-centric; the programmer takes the viewpoint of the client that runs code on the server rather than the other way around, (3) functional and type-safe  ...  If this is the case, we simply drop the session by throwing an error; an exception will be thrown to the client.  ...  These languages target not only the client and server tiers but the database tier as well, and incorporate several interesting new ideas such as more expressive type systems and inclusion of typed inline  ... 
doi:10.1145/2775050.2633367 fatcat:763cduxjsvceti4t5bb7fgjklu

Declarative Ajax Web Applications through SQL++ on a Unified Application State [article]

Yupeng Fu, Kian Win Ong, Yannis Papakonstantinou
2014 arXiv   pre-print
(c) Asynchronous, incremental modification of the pages, as performed by Ajax actions.  ...  (b) Distributed data access across the multiple data sources of the application (SQL database, user input of the browser page, session data in the application server, etc).  ...  and (f) exception, which performs exception handling.  ... 
arXiv:1308.0656v2 fatcat:qc4khs7sbrg25cbtz7gtfusefa

A Type Discipline for Message Passing Parallel Programs

Vasco T. Vasconcelos, Francisco Martins, Hugo A. López, Nobuko Yoshida
2022 ACM Transactions on Programming Languages and Systems  
We present the type theory, a core imperative programming language and its operational semantics, and prove that type checking is decidable (up to decidability of semantic entailment) and that well-typed  ...  We present ParTypes, a type discipline for parallel programs.  ...  This work was supported by FCT through project Advanced Type Systems for Multicore Programming (PTDC/EIA-CCO/122547) and the LASIGE Research Unit (UID/CEC/00408/2019), EC Cost Action EUTypes (CA15123),  ... 
doi:10.1145/3552519 fatcat:e4ywjy23mzg2dplqv6stc5hofm

A seamless, client-centric programming model for type safe web applications

Anton Ekblad, Koen Claessen
2014 Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14  
used to produce code for both client and server, (2) client-centric; the programmer takes the viewpoint of the client that runs code on the server rather than the other way around, (3) functional and type-safe  ...  If this is the case, we simply drop the session by throwing an error; an exception will be thrown to the client.  ...  These languages target not only the client and server tiers but the database tier as well, and incorporate several interesting new ideas such as more expressive type systems and inclusion of typed inline  ... 
doi:10.1145/2633357.2633367 dblp:conf/haskell/EkbladC14 fatcat:5sdt5ykxmnf2dj5l7tnap55w6y

Distributed Computing with BEA WebLogic Server

Dean Jacobs
2003 Conference on Innovative Data Systems Research  
The basic treatment of data is characterized in terms of four types of clustered services that differ in the way they manage state in memory and on disk.  ...  The J2EE has radically different models for synchronous programming (typed EJB) and asynchronous programming (untyped JMS), which does not match well with WSDL.  ...  WSDL supports four types of operations, thereby providing a unified model for synchronous RPC and asynchronous messaging along with an explicit notion of callbacks. 1. One-way Receive a message 2.  ... 
dblp:conf/cidr/Jacobs03 fatcat:p3w6dmp67jf4njnpeomtqorfee

Oracle and storage IOs, explanations and experience at CERN

Eric Grancher
2010 Journal of Physics, Conference Series  
This is for example the case of Asynchronous and direct IO features. A description of the major types of IO subsystems as used by the Oracle database is given is the next section.  ...  The Worldwide LHC computing grid (WLCG) consists of three main layers or "tiers", as described in [7] . The Oracle database system is deployed in ten of the eleven Tier-1 sites.  ...  All of the WLCG Tier 1 sites deploying the Oracle database system are using ASM for part or all of the databases.  ... 
doi:10.1088/1742-6596/219/5/052004 fatcat:givohijxqrczbgro3x2w7owere

ITRA: Inter-Tier Relationship Architecture for End-to-end QoS

Eliezer Dekel, Gera Goft
2004 Journal of Supercomputing  
ITRA describes mechanisms, the role of each tier with respect to its predecessor and successor tiers, programming model and inter-tier relationship protocol.  ...  In this paper we present ITRA (inter-tier relationship architecture).  ...  Except for a possible service delay, and given that each tier eventually recovers from its failure.  ... 
doi:10.1023/b:supe.0000014802.46613.8c fatcat:vh7zcnjuxfaxznbq4rkvvwstzi

An agent architecture for personalized Web stores

L. Ardissono, C. Barbero, A. Goy, G. Petrone
1999 Proceedings of the third annual conference on Autonomous Agents - AGENTS '99  
The only exception is the Session Manager, which is implemented as a Servlet. Servlets are used to extend Web server capabilities; in fact, they have been designed to build Web based systems.  ...  The complex user interface tasks, like the initial selection of the product types the user is interested in, are handled by Java applets downloaded from the second Tier servers; the simpler tasks are handled  ... 
doi:10.1145/301136.301189 dblp:conf/agents/ArdissonoBGP99 fatcat:ysw4437vznh7napkmpppi553jy

Performance Modelling and Simulation of Three-Tier Applications in Cloud and Multi-Cloud Environments

N. Grozev, R. Buyya
2013 Computer journal  
A significant number of Cloud applications follow the 3-tier architectural pattern.  ...  A cloud service interruption may have a severe impact on clients who are left without access to essential resources [2], as highlighted by several recent Cloud outages [7, 8] .  ...  Thus we can largely classify two types of data processing -synchronous (a.k.a online) and asynchronous (a.k.a offline).  ... 
doi:10.1093/comjnl/bxt107 fatcat:t7wbpfwkzfc75cwfvifgn7q5hi
« Previous Showing results 1 — 15 out of 2,494 results