Filters








127,576 Hits in 4.6 sec

Using higher-order contracts to model session types

Giovanni Bernardi, Matthew Hennessy, Davide Sangiorgi
2016 Logical Methods in Computer Science  
In this paper we show that higher-order web-service contracts can be used to provide a fully-abstract model of recursive higher-order session types.  ...  This in turn gives rise to an alternative to the type duality commonly used in systems for type-checking session types.  ...  Acknowledgements The authors would like to thank the reviewers, and reviewers of a previous version of this paper, for their insightful comments and questions.  ... 
doi:10.2168/lmcs-12(2:10)2016 fatcat:5vjz4227zzbbtaequs5bph6sre

Using Higher-Order Contracts to Model Session Types (Extended Abstract) [chapter]

Giovanni Bernardi, Matthew Hennessy
2014 Lecture Notes in Computer Science  
In this paper we show that higher-order web-service contracts can be used to provide a fully-abstract model of recursive higher-order session types.  ...  Higher-order types are needed in order to properly structure delegation of responsibility between processes.  ...  Acknowledgements The authors would like to thank the reviewers, and reviewers of a previous version of this paper, for their insightful comments and questions.  ... 
doi:10.1007/978-3-662-44584-6_27 fatcat:g67oi5thffbebab5auvi2ojmny

Two notions of sub-behaviour for session-based client/server systems

Franco Barbanera, Ugo de'Liguoro
2010 Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10  
We show that a proper subclass of behaviours, called "session behaviors", and the sub-behaviour relations model session types and subtyping, clarifying the otherwise problematic extension of session type  ...  We propose a refinement and a simplification of the behavioural semantics of session types, based on the concepts of compliance and sub-behaviour from the theory of web contracts.  ...  Acknowledgments We are grateful to Cosimo Laneve and Luca Padovani for discussions and comments on previous versions of this work.  ... 
doi:10.1145/1836089.1836109 dblp:conf/ppdp/Barbanerad10 fatcat:iv4ggo3gmvd43kc4sk5jxxnagq

Chaperone contracts for higher-order sessions

Hernán Melgratti, Luca Padovani
2017 Proceedings of the ACM on Programming Languages  
In this work, we extend to sessions the notion of chaperone contract (roughly, a contract that applies to a mutable object) and investigate the ramifications of contract monitoring in a higher-order language  ...  Contracts have proved to be an effective mechanism that helps developers in identifying those modules of a program that violate the contracts of the functions and objects they use.  ...  ACKNOWLEDGMENTS The authors are grateful to the anonymous reviewers for their detailed and thoughtful comments.  ... 
doi:10.1145/3110279 dblp:journals/pacmpl/MelgrattiP17 fatcat:jwgueo5ltjedxd42yhdhkxniga

Endogenous managerial compensation contracts in experimental quantity-setting duopolies

Iván Barreda-Tarrazona, Nikolaos Georgantzís, Constantine Manasakis, Evangelos Mitrokostas, Emmanuel Petrakis
2016 Economic Modelling  
Following closely the contracts studied in the theoretical model, the contract schemes for the experiment were designed after a series of pilot sessions in order to guarantee that subjects with di¤erent  ...  to commit to a specic contract type, before setting its respective contract terms, multiple equilibria arise regarding the type (and the terms) of contract that each owner chooses. 8 Using the Pareto  ... 
doi:10.1016/j.econmod.2015.12.028 fatcat:zmu3yqnb3rb6hafew4dcobs2wy

Two notions of sub-behaviour for session-based client/server systems: 10 Years Later

Franco Barbanera, Ugo de'Liguoro
2020 22nd International Symposium on Principles and Practice of Declarative Programming  
We wish to begin this short overview of our work on relating session types to contract theory by expressing our gratitude to the PPDP Steering Committee, for awarding our paper [1] with the "PPDP 10 Year  ...  Introduced in order to improve flexibility of type specifications, the idea of subtyping dates back to the 1960s.  ...  Indeed the proof sketched in [1] had a bug, so that in [3] we resorted to a stratification technique and a careful analysis of higher-order behavioural contracts, revealing that to obtain a model of  ... 
doi:10.1145/3414080.3414082 dblp:conf/ppdp/Barbanerad20 fatcat:vwyewdbjwze3nlmmsmy4cal2se

Competition, Hidden Information, and Efficiency: An Experiment

Gary Charness, Antonio Cabrales, Marie-Claire Villeval
2006 Social Science Research Network  
There is, however, a tendency to choose more 'generous' (and more efficient) contract menus over time.  ...  In our benchmark case, each principal is matched with one agent of unknown type.  ...  We chose k L = 2 for all menus, in order to give relatively large rents to the high type (under her preferred contracts).  ... 
doi:10.2139/ssrn.930375 fatcat:ijyr4q6tnjeobou6if66r4hiem

Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)

Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich, Marc Herbstritt
2016 Dagstuhl Reports  
These techniques include advanced type systems, contract systems, model checking and program analyses specially tailored to exploit the structure of functional languages.  ...  crucial correctness properties, and the dramatic increase in adoption of higher-order functional languages due to the web, multicore and "big data" revolutions.  ...  Crucially, segmented paths deliver the means to transport values between any two of their points. 3.17 Higher-order horn clauses and higher-order model checking Higher-order model checking (HOMC) is the  ... 
doi:10.4230/dagrep.6.3.59 dblp:journals/dagstuhl-reports/GaboardiJJW16 fatcat:zeqdceqvzrgplfdpsbt6deoi2i

Hidden information, bargaining power, and efficiency: an experiment

Antonio Cabrales, Gary Charness, Marie Claire Villeval
2010 Experimental Economics  
We find that competition leads to a substantially higher probability of trade, and that, overall, competition between agents generates the most efficient outcomes.  ...  There is, however, a tendency to choose more "generous" (and more efficient) contract menus over time.  ...  We chose k L = 2 for all menus, in order to give relatively large rents to the high-ability type (under her preferred contracts).  ... 
doi:10.1007/s10683-010-9260-6 fatcat:ns4worrstvesrgnazbngqlenri

Proposal and validation of mathematical model for resistance training

Sho Hatanaka, Naokata Ishii
2021 The Journal of Physical Fitness and Sports Medicine  
RT model predicts muscle activity, fatigue and recovery, and can be used to predict the mechanical impulses identified in different muscle fiber types.  ...  This model is expected to help in understanding how impulses of different fiber types contribute and affect training.  ...  Acknowledgements We are grateful to members of the University of Tokyo for their assistance in collecting the data.  ... 
doi:10.7600/jpfsm.10.109 fatcat:nlwv7swlo5evxan222svnmcwru

Foundations of Session Types and Behavioural Contracts

Hans Hüttel, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara
2016 ACM Computing Surveys  
The behavioural type of a software component specifies its expected patterns of interaction using expressive type languages, so types can be used to determine automatically whether the component interacts  ...  Two related important notions of behavioural types are those of session types and behavioural contracts. This article surveys the main accomplishments of the last 20 years within these two approaches.  ...  Bernardi [2013] shows that the same model can be defined in terms of must testing refinements for services and clients and extends the model to higher-order session types.  ... 
doi:10.1145/2873052 fatcat:zpqnnmimwrglxeulwo4duwqbw4

Neural Network and Order Flow, Technical Analysis: Predicting short-term direction of futures contract [article]

Yiyang Zheng
2022 arXiv   pre-print
We engineered a set of features from technical analysis, order flow, and order-book data. Then, Tabnet, a deep learning neural network, is trained using these features.  ...  We train our model on the Silver Futures Contract listed on Shanghai Futures Exchange and achieve an accuracy of 0.601 on predicting the directional change during the selected period.  ...  Order Flow features In session 3.2.1 and 3.2.2, we derived data such as opened contracts and closed contracts from original snapshots.  ... 
arXiv:2203.12457v1 fatcat:pl2oe6pkgzdobnleclorzv2v4q

On Duality Relations for Session Types [chapter]

Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas
2014 Lecture Notes in Computer Science  
Session types are a type formalism used to describe communication protocols over private session channels. Each participant in a binary session owns one endpoint of a session channel.  ...  A key notion is that of duality: the endpoints of a session channel should have dual session types in order to guarantee communication safety.  ...  Dardha, Gay and Kouzapas are supported by the UK EPSRC project From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD) (EP/K034413/1).  ... 
doi:10.1007/978-3-662-45917-1_4 fatcat:veqsugk55jh2xmd7iq2ugdxoau

User Satisfaction Based CRRM policy for heterogeneous wireless networks

Juan Jesus Gonzalez Delicado, Javier Gozalvez
2009 2009 6th International Symposium on Wireless Communication Systems  
satisfaction level defined according to their contract and service type.  ...  Authorized licensed use limited to: Univerdad Miguel Hernandez. Downloaded on December 1, 2009 at 13:02 from IEEE Xplore. Restrictions apply.  ...  Each traffic type is simulated at the session level, with the session arrival modeled through a Poisson process [9] .  ... 
doi:10.1109/iswcs.2009.5285226 fatcat:jifrjxfx2bd7hmffoxox5yeloy

Microprocessor controlled movement of solid colonic content using sequential neural electrical stimulation

M A Amaris
2002 Gut  
The number of evacuated pellets during the stimulation sessions was significantly higher than during the non-stimulated sessions (p<0.01).  ...  Propagated contractions were generated using microprocessor controlled bipolar trains of 50 Hz rectangular voltage having 20 V (peak to peak) amplitude, 18 second stimulus duration, and a nine second phase  ...  The amplitude and frequency of contractions using this technique were significantly higher than those obtained using electrical stimulation at physiological frequencies. 11 Improvement in symptoms and  ... 
doi:10.1136/gut.50.4.475 pmid:11889065 pmcid:PMC1773185 fatcat:vg4y4vzoz5gtngige7yjqgr6ma
« Previous Showing results 1 — 15 out of 127,576 results