Static Analysis of Ravenscar Programs

ACM SIGAda Ada Letters

doi 10.1145/959221.959234

Full Text

Abstract

Available in

Date

Authors

Publisher

Association for Computing Machinery (ACM)

Related search

Static Analysis of Android Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization

2015English

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Reverse Engineering of Java Programs Through Static and Dynamic Analysis to Generate Scenario Diagrams

English

On the Analysis of Random Replacement Caches Using Static Probabilistic Timing Methods for Multi-Path Programs

Real-Time Systems
ControlSystems EngineeringOptimizationElectronic EngineeringComputer NetworksSimulationCommunicationsComputer Science ApplicationsElectricalModeling
2017English

Static Mapping of Functional Programs: An Example in Signal Processing

Scientific Programming
Computer Science ApplicationsSoftware
1996English

Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Static Approach for Compiling Communications in Paranel Scientific Programs

Scientific Programming
Computer Science ApplicationsSoftware
1995English

Comparison of Various Static Rc Structural Computation Programs for Seismic Performance Evaluation

Journal of Structural and Construction Engineering
BuildingConstructionArchitecture
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy