article

Constructing type systems over an operational semantics

Author:

Robert HarperAuthors Info & Claims

Journal of Symbolic Computation, Volume 14, Issue 1

Pages 71 - 84

https://doi.org/10.1016/0747-7171(92)90026-Z

Published: 01 July 1992 Publication History

Abstract

No abstract available.

Cited By

View all

Ghalayini JKrishnaswami N(2023)Explicit Refinement TypesProceedings of the ACM on Programming Languages10.1145/36078377:ICFP(187-214)Online publication date: 31-Aug-2023
https://dl.acm.org/doi/10.1145/3607837
Pavlinovic ZSu YWies T(2021)Data flow refinement type inferenceProceedings of the ACM on Programming Languages10.1145/34343005:POPL(1-31)Online publication date: 4-Jan-2021
https://dl.acm.org/doi/10.1145/3434300
Bahr PGrathwohl HMøgelberg RAceto LIngólfsdóttir A(2017)The clocks are ticking: no more delays!Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3329995.3330032(1-12)Online publication date: 20-Jun-2017
https://dl.acm.org/doi/10.5555/3329995.3330032
Show More Cited By

Index Terms

Constructing type systems over an operational semantics
1. Mathematics of computing
  1. Discrete mathematics
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Type structures
    2. Program semantics
      1. Operational semantics

Recommendations

Abstract operational semantics for use case maps
FORTE'05: Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Scenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps (UCM) is being standardized as part of the User Requirements Notation (URN), the most recent addition to ITU–T’s family of ...
An operational semantics for ZCCS
ICFEM '97: Proceedings of the 1st International Conference on Formal Engineering Methods

G. Bruns (1995) has proposed a version of value-passing CCS in which an agent language, based on that proposed by Milner, is augmented with a rich data language. The data language can be used to describe sets, tuples and sequences etc. constructed from ...
A Formal Operational Semantics for SOFL
APSEC '97: Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference

SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data flow diagrams, VDM-SL, and Petri nets to provide a graphical and textural formal notation for ...

Comments

Information & Contributors

Information

Published In

cover image Journal of Symbolic Computation

Journal of Symbolic Computation Volume 14, Issue 1

July 1992

118 pages

ISSN:0747-7171

Editor:
Bruno Buchberger
Johannes Kepler Univ., Linz, Austria

Issue’s Table of Contents

Publisher

Academic Press, Inc.

United States

Publication History

Published: 01 July 1992

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 31 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ghalayini JKrishnaswami N(2023)Explicit Refinement TypesProceedings of the ACM on Programming Languages10.1145/36078377:ICFP(187-214)Online publication date: 31-Aug-2023
Pavlinovic ZSu YWies T(2021)Data flow refinement type inferenceProceedings of the ACM on Programming Languages10.1145/34343005:POPL(1-31)Online publication date: 4-Jan-2021
Bahr PGrathwohl HMøgelberg RAceto LIngólfsdóttir A(2017)The clocks are ticking: no more delays!Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3329995.3330032(1-12)Online publication date: 20-Jun-2017
Angiuli CHarper RWilson T(2017)Computational higher-dimensional type theoryACM SIGPLAN Notices10.1145/3093333.300986152:1(680-693)Online publication date: 1-Jan-2017
Angiuli CHarper RWilson TCastagna GGordon A(2017)Computational higher-dimensional type theoryProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009861(680-693)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
Krishnaswami NPradic PBenton N(2015)Integrating Linear and Dependent TypesACM SIGPLAN Notices10.1145/2775051.267696950:1(17-30)Online publication date: 14-Jan-2015
Krishnaswami NPradic PBenton NRajamani SWalker D(2015)Integrating Linear and Dependent TypesProceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2676726.2676969(17-30)Online publication date: 14-Jan-2015
Constable R(2012)On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and BrouwerProceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science10.1109/LICS.2012.9(2-8)Online publication date: 25-Jun-2012
Crary K(1997)Foundations for the implementation of higher-order subtypingACM SIGPLAN Notices10.1145/258949.25896132:8(125-135)Online publication date: 1-Aug-1997
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Abstract operational semantics for use case maps

An operational semantics for ZCCS

A Formal Operational Semantics for SOFL

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations