Cover Image

$φ$-Calculus: Object-Oriented Formalism

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bugayenko, Yegor, Trunnikov, Maxim
Format:	Preprint
Published:	2021
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Origins of Objects by Means of Careful Selection
by: Bugayenko, Yegor, et al.
Published: (2022)

Compile-Time Java Stream Fusion via mapMulti
by: Bugayenko, Yegor, et al.
Published: (2026)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
by: Zakharov, Vladimir, et al.
Published: (2024)

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
by: Korostinskiy, Roman, et al.
Published: (2024)

Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity
by: Sukhova, Anna, et al.
Published: (2024)

Evaluating the Dependency Between Cyclomatic Complexity and Response For Class
by: Stavtsev, Maxim, et al.
Published: (2024)

CAM: A Collection of Snapshots of GitHub Java Repositories Together with Metrics
by: Bugayenko, Yegor
Published: (2024)

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
by: Bagrel, Thomas, et al.
Published: (2025)

Opportunistically Parallel Lambda Calculus
by: Mell, Stephen, et al.
Published: (2024)

A Calculus for Unreachable Code
by: Zhong, Peter, et al.
Published: (2024)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
by: Arafat, Hassan, et al.
Published: (2025)

Grokking the Sequent Calculus (Functional Pearl)
by: Binder, David, et al.
Published: (2024)

A Gradual Probabilistic Lambda Calculus
by: Ye, Wenjia, et al.
Published: (2026)

A Calculus for Scoped Effects & Handlers
by: Bosman, Roger, et al.
Published: (2023)

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version)
by: Schaefer, Steven, et al.
Published: (2025)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
by: Reitz, Antonin, et al.
Published: (2024)

Corps: A Core Calculus of Hierarchical Choreographic Programming
by: Hirsch, Andrew K.
Published: (2024)

pyeb: A Python Implementation of Event-B Refinement Calculus
by: Cataño, Néstor
Published: (2025)

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
by: Vasconcelos, Pedro, et al.
Published: (2024)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
by: Drab, Tomasz
Published: (2024)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
by: Böhler, Timon, et al.
Published: (2026)

The Functional Machine Calculus III: Control
by: Heijltjes, Willem
Published: (2025)

$μλεδ$-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
by: Salgado, Ronie
Published: (2024)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
by: Paul, Abhijit
Published: (2025)

Functional Array Programming in an Extended Pi-Calculus
by: Hüttel, Hans, et al.
Published: (2024)

Practical Formal Verification for MLIR Programs
by: Tucker, Emily, et al.
Published: (2026)

A Natural Formalized Proof Language
by: Xie, Lihan, et al.
Published: (2024)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
by: Xiong, Jing, et al.
Published: (2026)

A Brief Survey of Formal Models of Concurrency
by: Averill, Charles
Published: (2024)

Synthesizing Formal Semantics from Executable Interpreters
by: Liu, Jiangyi, et al.
Published: (2024)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
by: Accattoli, Beniamino
Published: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
by: Kobayashi, Naoki
Published: (2024)

A Core Calculus for Type-safe Product Lines of C Programs
by: Damiani, Ferruccio, et al.
Published: (2026)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
by: Cao, Jialun, et al.
Published: (2025)

From Algebraic Word Problem to Program: A Formalized Approach
by: Wiemerslage, Adam, et al.
Published: (2020)

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
by: Monat, Raphaël, et al.
Published: (2024)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
by: Zhao, Jianhong, et al.
Published: (2025)

Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
by: Mendez, Julian Alfredo
Published: (2023)

Oriented Metrics for Bottom-Up Enumerative Synthesis
by: Meyer, Roland, et al.
Published: (2025)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
by: Liu, Zhengyang, et al.
Published: (2023)