Coinductive Big-Step Operational Semantics for Type Soundness of Java-Like Languages

doi 10.1145/2076674.2076679
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Semantic Quality Attributes for Big-Step Modelling Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Just: Safe Unknown Types in Java-Like Languages.

Journal of Object Technology
Software
2007English

An Operational Semantics for Android Activities

2014English

An Operational Semantics for Timed RAISE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

An Operational Semantics for Network Datalog

English

Big Types in Little Runtime: Open-World Soundness and Collaborative Blame for Gradual Type Systems

ACM SIGPLAN Notices
Computer Science
2017English

A Memoizing Semantics for Functional Logic Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Modular Structural Operational Semantics

BRICS Report Series
2015English

Standard Type Soundness for Agents and Artifacts

Scientific Annals of Computer Science
Applied MathematicsComputer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy