MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Andreas Heberle" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • AL: An ASM Definition Language for Semantics of Imperative Programming Languages  
  • by Andreas Heberle, Welf Löwe — 1998
  • …We describe a definition language for ASM which describe the operational semantics. We restrict the ASM formalism in order to relate independently defined specifications of source and intermediate languages. On the one hand, this simplifies the specification of languages and allows for the reuse of …
  • Add To MetaCart
  • Static Semantics with Montages  
  • by Sabine Glesner, Andreas Heberle, Welf Löwe — 1998
  • …. We introduce a descriptive approach to define static semantics in the framework of Montages. It preserves readability and convenience of specification and guarantees efficient computation of the typing. 1 Introduction Montages [PK97b] are a new way of describing all aspects of programming language…
  • Cited by 1 (0 self) – Add To MetaCart
  • Specification and Verification of Compiler Frontend Tasks: Semantic Analysis  
  • by Andreas Heberle, Wolf Zimmermann, Gerhard Goos — 1996
  • …We describe a methodology for the specification and verification of the tasks of compiler frontends. The semantics of the language to be compiled is specified with Evolving Algebras. With respect to the semantics of the language we define the static semantics. The semantical analysis checks wheth…
  • Cited by 2 (1 self) – Add To MetaCart
  • Generating Semantic Analysis Using Constraint Programming  
  • by Sabine Glesner, Andreas Heberle, Welf Löwe — 1997 — the Third International Conference on Principles and Practice of Constraint Programming (CP97
  • …. We describe a new approach for the specification and generation of the semantic analysis for typed programming languages. We specify context-sensitive syntactic properties of a language by a system of semantic rules. For various imperative programming language concepts, we discuss the required sem…
  • Cited by 3 (3 self) – Add To MetaCart
  • An Architecture for Verified Compiler Construction  
  • by Thilo Gaul, Gerhard Goos, Andreas Heberle, Wolf Zimmermann, Wolfgang Goerigk — 1997
  • …Verified compilers are essential for the development of safetycritical software systems. Critical parts of control systems are still often written and verified at the assembler level, because compilers for high-level languages are not considered trustworthy. For industrial applications, the tech…
  • Cited by 4 (3 self) – Add To MetaCart
  • An ASM Specification of the Operational Semantics of MIS  
  • by Thilo Gaul, Uni Karlsruhe, Cau Kiel, Uni Ulm, Andreas Heberle, Dirk Heuzeroth, Wolf Zimmermann, Contact Dr. Wolf Zimmermann
  • …This document contains a prelimnary version of an abstract state machine for the intermediate language MIS, that is used in the context of the VERIFIX{Project…
  • Add To MetaCart
  • Compiler Correctness and Implementation Verification: The Verifix Approach  
  • by Wolfgang Goerigk, Axel Dold, Thilo Gaul, Gerhard Goos, Andreas Heberle, Friedrich W. Von Henke, Ulrich Hoffmann, Hans Langmaack, Holger Pfeifer, Harald Ruess, Wolf Zimmermann — 1996
  • …Compiler correctness is crucial to the software engineering of safety critical software. It depends on both the correctness of the compiling specification and the correctness of the compiler implementation. We will discuss compiler correctness for practically relevant source languages and target mac…
  • Cited by 14 (6 self) – Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB