stg-tud/peaks-capmodel
PEAKS: Capability Analysis for Java Libraries
This repository contains the Java parts of the KaVE Project.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
PEAKS: Capability Analysis for Java Libraries
Popart is an extensible aspect-oriented language. With Popart, alternative semantics for aspect-oriented abstractions can be defined by language designers. Popart exceeds the flexibility of extensible aspect compiler frameworks, where application developers are prevented from tailoring the language semantics in an application-specific manner. In contrast, Popart provides an architecture for aspect-oriented languages with an explicit meta-interface to language semantics. Popart supports several scenarios in which aspect-oriented programs use the meta-interface of the language to tailor its semantics to a particular application execution context.
Tigerseye is an extensible language embedding in Groovy based on the reflective embedding architecture (REA). REA embeds languages into reflective host languages, as Tigerseye exemplifies for Groovy. A reflective language is a special programming language with support for reflection that enables programs to reason about their structure and behavior. Specifically, there is support for introspection that allows analyzing programs, and support for intercession that allows transforming programs. Using reflection helps overcoming current limitations of language embedding, since it enables evolution of embedded languages by analyzing and transforming the language embedding itself.
Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation