skip to main content
10.1145/3611096acmotherconferencesBook PagePublication PagesisstaConference Proceedingsconference-collections
FTfJP '22: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs
ACM2022 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
FTfJP '22: 24th ACM International Workshop on Formal Techniques for Java-like Programs Berlin Germany 7 June 2022
ISBN:
979-8-4007-0784-1
Published:
16 October 2023
Recommend ACM DL
ALREADY A SUBSCRIBER?SIGN IN
Next Conference
Reflects downloads up to 30 Jan 2025Bibliometrics
Abstract

No abstract available.

Skip Table Of Content Section
SESSION: FTfJP 2022 A
short-paper
Rusty Links in Local Chains✱

Rust successfully applies ownership types to control memory allocation. Unfortunately, Rust’s ownership restricts the programs’ topologies to the point where doubly-linked lists cannot be programmed in Safe Rust. We sketch how more flexible “local” ...

research-article
Using Functional Reactive Programming to Define Safe Actor Systems

Functional Reactive Programming (FRP) is a powerful abstraction for building deterministic concurrent systems. However, some programmers prefer a more imperative approach for certain tasks, and that approach is required to implement some imperative ...

SESSION: FTfJP 2022 B
short-paper
Automated Reasoning Repair

Formal methods are used for verifying software correctness and reliability, especially for safety- and security-critical systems. After changing or refactoring code, it is often necessary to repair a program’s correctness proof, which can be time-...

research-article
Open Access
On the Need for a Common API for Abstract Domains of Object-Oriented Programs

In the last years almost all families of programming languages, from imperative to functional, logic, object-oriented and machine code, have been subject to static analysis by abstract interpretation. The use of a principled approach to static analysis ...

research-article
A Graph-Based Formal Semantics of Reactive Programming from First Principles

In recent years, stream processing has become the de facto paradigm to process any kind of real-time data in many kinds of applications. Different libraries, frameworks and techniques exists which aim to make it easy to build stream processing ...

SESSION: FTfJP 2022 D
short-paper
Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language

JML is an ambitious project in formal specification and verification, ongoing since 1997, that has aimed to bring value to Java programmers. Participants in the project are now undertaking a significant revision of the language itself (Cok, Leavens, ...

research-article
Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects

Many calculi exist for modeling various features of object-oriented languages. Many of them are based on λ -calculus and focus either on statically typed class-based languages or dynamic prototype-based languages. We formalize the untyped calculus of ...

Contributors
  • Federal University of Pernambuco
Index terms have been assigned to the content through auto-classification.

Recommendations

Acceptance Rates

Overall Acceptance Rate 51 of 75 submissions, 68%
YearSubmittedAcceptedRate
FTFJP'17121083%
FTfJP'16121083%
FTfJP '1514964%
FTfJP'148563%
FTfJP '1314750%
FTfJP '09151067%
Overall755168%