- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Keyword
-
Algorithmische Programmierung
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (when)
-
2009
- Contributor
-
Pfeifer, Holger
Dold, Axel
Henke, Friedrich Wilhelm von
Rueß, Harald
Universität Ulm. Fakultät für Informatik
- URN
-
urn:nbn:de:bsz:289-vts-71337
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.03.2025, 7:51 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Pfeifer, Holger
- Dold, Axel
- Henke, Friedrich Wilhelm von
- Rueß, Harald
- Universität Ulm. Fakultät für Informatik
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Time of origin
- 2009
Other Objects (12)
Generic compilation schemes for simple programming constructs
Don't negate imperatives! : Imperatives and the semantics of negative markers
Some comments on CPO-semantics and metric space semantics for imperative languages
Transformational programming with non-deterministic and higher order constructs
Complementary definitions of programming language semantics
A simpler semantics for abilities under uncertainty
Semantics of programming languages and algebra : 07.06. - 11.06.93
Reasoning about program transformations : imperative programming and flow of data
Comparative metric semantics of programming languages : nondeterminism and recursion
Justifying the strong memory semantics of concurrent high-level programming languages for system programming
Programming creativity : semantics and organisation of creativity within IT enterprises
Imperativ.
Generic compilation schemes for simple programming constructs
Don't negate imperatives! : Imperatives and the semantics of negative markers
Some comments on CPO-semantics and metric space semantics for imperative languages
Transformational programming with non-deterministic and higher order constructs
Complementary definitions of programming language semantics
A simpler semantics for abilities under uncertainty
Semantics of programming languages and algebra : 07.06. - 11.06.93
Reasoning about program transformations : imperative programming and flow of data
Comparative metric semantics of programming languages : nondeterminism and recursion
Justifying the strong memory semantics of concurrent high-level programming languages for system programming
Programming creativity : semantics and organisation of creativity within IT enterprises
Imperativ.
Generic compilation schemes for simple programming constructs
Don't negate imperatives! : Imperatives and the semantics of negative markers
Some comments on CPO-semantics and metric space semantics for imperative languages
Transformational programming with non-deterministic and higher order constructs
Complementary definitions of programming language semantics
A simpler semantics for abilities under uncertainty
Semantics of programming languages and algebra : 07.06. - 11.06.93
Reasoning about program transformations : imperative programming and flow of data
Comparative metric semantics of programming languages : nondeterminism and recursion
Justifying the strong memory semantics of concurrent high-level programming languages for system programming
Programming creativity : semantics and organisation of creativity within IT enterprises