Work

Provably correct loops bounds for realtime Java programs

Year: 2006

Type: conference-paper

Source: International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES)

DOI: 10.1145/1167999.1168026

Authors: James J. Hunt, Fridtjof B. Siebert, Peter H. Schmitt, Isabel Tonin

Institutions: Aicas (Germany), Karlsruhe Institute of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: European Commission, Technische Universität Wien, Mälardalens högskola

OpenAlex ID: W2008981771

FWCI: 1.243

Cites: 19

Cited by: 16

Related to: 10