Jakarta
From MaRDI portal
Cited in
(20)- TinkerType
- LETOS
- pyGridWare
- Program transformations for light-weight CPU accounting and control in the Java virtual machine
- Optimal and sustainable extraction of groundwater in coastal aquifers
- Extracting a data flow analyser in constructive logic
- Certified Static Analysis by Abstract Interpretation
- A3PAT
- Validation of the JavaCard platform with implicit induction techniques
- scientific article; zbMATH DE number 2079463 (Why is no real title available?)
- Efficient reasoning about executable specifications in Coq
- A metamodel of access control for distributed environments: applications and properties
- Association rules using rough set and association rule methods
- A formal correspondence between offensive and defensive JavaCard virtual machines
- Ott: Effective tool support for the working semanticist
- Proof reuse with extended inductive types
- The Web services resource framework in a peer-to-peer context
- Tool-assisted specification and verification of typed low-level languages
- Dynamic data integration for structural modeling: Model screening approach using a distance-based model parameterization
- A distance-based prior model parameterization for constraining solutions of spatial inverse problems
This page was built for software: Jakarta
