# Java-SF

**Repository Path**: mirrors_mahmoudimus/Java-SF

## Basic Information

- **Project Name**: Java-SF
- **Description**: Semantically-typed Featherweight Java
- **Primary Language**: Unknown
- **License**: AGPL-3.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2022-06-16
- **Last Updated**: 2026-04-11

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

[![](https://github.com/a-usov/java-sf/workflows/Java%20CI/badge.svg)](https://github.com/a-usov/Java-SF)
[![License: AGPL v3](https://img.shields.io/badge/License-AGPL%20v3-blue.svg)](https://www.gnu.org/licenses/agpl-3.0)

# Java-SF

See [Short Paper](https://link.springer.com/chapter/10.1007/978-3-030-50029-0_10) and full [Dissertation](http://www.dcs.gla.ac.uk/~ornela/projects/Artem%20Usov.pdf)