• Publications
  • Influence
Ordered attributed grammars
  • U. Kastens
  • Computer Science
  • Acta Informatica
  • 1 March 1980
TLDR
Ordered attributed grammars are defined as a large subclass of semantically well-defined attributed grammar proposed by Knuth. Expand
  • 129
  • 12
GAG: A Practical Compiler Generator
1: Introduction.- 2: The compiler generator GAG.- 3: ALADIN A language for distributed definitions.- 4: Development of an attributed grammar for a Pascal-Analyzer.- 5: Generating efficient compilerExpand
  • 147
  • 6
VL-Eli: A Generator for Visual Languages - System Demonstration
TLDR
We demonstrate that ambitious visual languages can be implemented with reasonable small e ort and with rather limited technical knowledge. Expand
  • 26
  • 4
Attribute Grammars in a Compiler Construction Environment
  • U. Kastens
  • Computer Science
  • Attribute Grammars, Applications and Systems
  • 4 June 1991
TLDR
Attribute grammar (AG) specifications are implemented by attribute evaluators which perform computations on tree structures as specified. Expand
  • 19
  • 3
Modellierung: Grundlagen und formale Methoden
  • 14
  • 3
Modularity and reusability in attribute grammars
TLDR
An attribute grammar is a declarative specification of dependence among computations carried out at the nodes of a tree. Expand
  • 103
  • 2
Feedback driven instruction-set extension
TLDR
In this paper we introduce an approach for the extension of instruction sets that is built around a concise yet powerful processor abstraction to automatically generate a compiler backend and cycle-accurate simulator. Expand
  • 29
  • 2
  • PDF
Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules
TLDR
We present proof-carrying hardware (PCH) as a novel approach to reconfigurable system security and demonstrate its potential by applying it to runtime combinational equivalence checking. Expand
  • 44
  • 2
Design space characterization for architecture/compiler co-exploration
TLDR
We try to characterize the design space of compiler frontend (intermediate code optimization) and backend (architecture-specific code generation) that is used in order to do Architecture/Compiler Co-Exploration for the search of optimal architecture/compiler combinations. Expand
  • 24
  • 2
Attributed Grammars as a Specification Method
  • U. Kastens
  • Computer Science
  • Attribute Grammars, Applications and Systems
  • 4 June 1991
TLDR
Attribute Grammars (AGs) are a formal and practical method for rule based specifications of computations on tree structures. Expand
  • 27
  • 2