Searching for authors named "Sabine Glesner" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

Using Program Checking to Ensure the Correctness of Compiler Implementations
by Sabine Glesner — 2003 — Journal of Universal Computer Science (J.UCS
…Using Program Checking to Ensure the Correctness of Compiler Implementations Sabine Glesner…
Cited by 7 (2 self) – Add To MetaCart

An ASM Semantics for SSA Intermediate Representations
by Sabine Glesner — 2004 — In: Proc. 11th Int’l Workshop on Abstract State Machines
… Representations Sabine Glesner Institut für Programmstrukturen und Datenorganisation Universität Karlsruhe, 76128…
Cited by 4 (1 self) – Add To MetaCart

Many-Sorted Natural Semantics -- Specification and Generation of the Semantic Analysis for Imperative and Object-Oriented Programming Languages
by Sabine Glesner — 1998 — PROCEEDINGS WORKSHOP ON FUNCTIONAL AND LOGIC PROGRAMMING. SABINE GLESNER. NATURAL SEMANTICS FOR IMPERATIVE AND OBJECT-ORIENTED PROGRAMMING LANGUAGES
… and Object-Oriented Programming Languages Sabine Glesner May 28, 1998 Abstract We follow the trend to use…
Cited by 1 (1 self) – Add To MetaCart

Natural Semantics for Imperative and Object-Oriented Programming Languages
by Sabine Glesner — 1998 — In Informatik ’99 - Informatik überwindet Grenzen, Proceedings der 29. Jahrestagung der Gesellschaft für Informatik
…Natural Semantics for Imperative and Object-Oriented Programming Languages Sabine Glesner Institut…
Cited by 1 (1 self) – Add To MetaCart

Program checking with certificates: Separating correctnesscritical code
by Sabine Glesner — 2003 — In FME 2003: International Symposium of Formal Methods Europe
…Program Checking with Certificates: Separating Correctness-Critical Code Sabine Glesner Institut…
Cited by 1 (0 self) – Add To MetaCart

ASMs versus Natural Semantics: A Comparison with New Insights
by Sabine Glesner — 2003 — IN ABSTRACT STATE MACHINES - ADVANCES IN THEORY AND APPLICATIONS, PROC. 10TH INT’L WORKSHOP, ASM 2003
…ASMs versus Natural Semantics: A Comparison with New Insights Sabine Glesner Institut für…
Cited by 1 (1 self) – Add To MetaCart

Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis
by Sabine Glesner, Wolf Zimmermann — 1998
…Using many-sorted natural semantics to specify and generate semantic analysis Sabine Glesner…
Cited by 5 (4 self) – Add To MetaCart

Many-Sorted Logic in a Learning Theorem Prover
by Thomas Kolbe, Sabine Glesner — 1997
…Many-Sorted Logic in a Learning Theorem Prover Thomas Kolbe 1 Sabine Glesner 2 1 FB…
Cited by 1 (1 self) – Add To MetaCart

Natural semantics as a static program analysis framework
by Sabine Glesner, Wolf Zimmermann — 2004 — ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (TOPLAS
…Natural Semantics as a Static Program Analysis Framework SABINE GLESNER Universität Karlsruhe…
Cited by 1 (0 self) – Add To MetaCart

Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases
by Sabine Glesner, Daphne Koller — 1995 — Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
… Glesner and Daphne Koller Computer Science Division, University of California, Berkeley, CA 94720…
Cited by 29 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB