article

The type and effect discipline

Authors:

Jean-Pierre Talpin,

Pierre JouvelotAuthors Info & Claims

Information and Computation, Volume 111, Issue 2

Pages 245 - 296

https://doi.org/10.1006/inco.1994.1046

Published: 01 June 1994 Publication History

Abstract

No abstract available.

Cited By

View all

Torczon CSuárez Acevedo EAgrawal SVelez-Ginorio JWeirich S(2024)Effects and Coeffects in Call-by-Push-ValueProceedings of the ACM on Programming Languages10.1145/36897508:OOPSLA2(1108-1134)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689750
Elsman M(2024)Explicit Effects and Effect Constraints in ReMLProceedings of the ACM on Programming Languages10.1145/36329218:POPL(2370-2394)Online publication date: 5-Jan-2024
https://dl.acm.org/doi/10.1145/3632921
Song YFoo DChin W(2022)Automated Temporal Verification for Algebraic EffectsProgramming Languages and Systems10.1007/978-3-031-21037-2_5(88-109)Online publication date: 5-Dec-2022
https://dl.acm.org/doi/10.1007/978-3-031-21037-2_5
Show More Cited By

Index Terms

The type and effect discipline

Recommendations

Stability of Multiclass Queueing Networks Under FIFO Service Discipline

In this paper, we first formally identify a FIFO fluid network that corresponds to the queueing network under a first-in first-out FIFO service discipline, thus complementing the result of Dai Dai, J. G. 1995a. On positive Harris recurrence of ...
A multi-class preemptive priority cognitive radio system with random interruption discipline
QTNA '10: Proceedings of the 5th International Conference on Queueing Theory and Network Applications

Cognitive radio system has been studied intensively. It is usually described as a multiserver queue with preemptive multiclass priority queueing system. Segal (1968) has studied a multiserver system with preemptive priority in which customers of higher ...
Polling systems with a gated/exhaustive discipline
ValueTools '08: Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools

We consider a polling system where the server cyclically serves the queues according to the following discipline: the server does one round of visits to the queues applying the gated service discipline at each of the queues, followed by one round of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Information and Computation Volume 111, Issue 2

June 1994

209 pages

ISSN:0890-5401

Editor:
Albert R. Meyer
Massachusetts Institute of Technology, Cambridge

Issue’s Table of Contents

Publisher

Academic Press, Inc.

United States

Publication History

Published: 01 June 1994

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

90
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Torczon CSuárez Acevedo EAgrawal SVelez-Ginorio JWeirich S(2024)Effects and Coeffects in Call-by-Push-ValueProceedings of the ACM on Programming Languages10.1145/36897508:OOPSLA2(1108-1134)Online publication date: 8-Oct-2024
Elsman M(2024)Explicit Effects and Effect Constraints in ReMLProceedings of the ACM on Programming Languages10.1145/36329218:POPL(2370-2394)Online publication date: 5-Jan-2024
Song YFoo DChin W(2022)Automated Temporal Verification for Algebraic EffectsProgramming Languages and Systems10.1007/978-3-031-21037-2_5(88-109)Online publication date: 5-Dec-2022
de'Liguoro UTreglia R(2021)Intersection types for a λ-calculus with global storeProceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming10.1145/3479394.3479400(1-11)Online publication date: 6-Sep-2021
Wadler P(2021)GATE: Gradual Effect TypesLeveraging Applications of Formal Methods, Verification and Validation10.1007/978-3-030-89159-6_21(335-345)Online publication date: 17-Oct-2021
Biernacki DPiróg MPolesiuk PSieczkowski F(2019)Binders by day, labels by night: effect instances via lexically scoped handlersProceedings of the ACM on Programming Languages10.1145/33711164:POPL(1-29)Online publication date: 20-Dec-2019
Maddox JLong YRajan HLeavens GGarcia APăsăreanu C(2018)Large-scale study of substitutability in the presence of effectsProceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3236024.3236075(528-538)Online publication date: 26-Oct-2018
Lindley SMcBride CMcLaughlin C(2017)Do be do be doACM SIGPLAN Notices10.1145/3093333.300989752:1(500-514)Online publication date: 1-Jan-2017
Lindley SMcBride CMcLaughlin CCastagna GGordon A(2017)Do be do be doProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009897(500-514)Online publication date: 1-Jan-2017
Castagna GGordon A(2017)Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming LanguagesundefinedOnline publication date: 1-Jan-2017
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Stability of Multiclass Queueing Networks Under FIFO Service Discipline

A multi-class preemptive priority cognitive radio system with random interruption discipline

Polling systems with a gated/exhaustive discipline

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations