• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • Universität Ulm
  • Publikationen
  • View Item
  •   Home
  • Universität Ulm
  • Publikationen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Mechanized semantics of simple imperative programming constructs

Thumbnail
vts_7133_10018.pdf (382.4Kb)
53 Seiten
Veröffentlichung
2009-11-30
Authors
Pfeifer, Holger
Dold, Axel
Henke, Friedrich Wilhelm von
Rueß, Harald
Wissenschaftlicher Beitrag


Faculties
Fakultät für Ingenieurwissenschaften und Informatik
Abstract
N/A
Date created
1996
Subject headings
[GND]: Algorithmische Programmierung
[LCSH]: Computer programs. Verification
[Free subject headings]: Verifix
[DDC subject group]: DDC 004 / Data processing & computer science
License
Standard (Fassung vom 01.10.2008)
https://oparu.uni-ulm.de/xmlui/license_v2

Metadata
Show full item record

DOI & citation

Please use this identifier to cite or link to this item: http://dx.doi.org/10.18725/OPARU-1714

Pfeifer, Holger et al. (2009): Mechanized semantics of simple imperative programming constructs. Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. http://dx.doi.org/10.18725/OPARU-1714
Citation formatter >



Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement