scientific article; zbMATH DE number 1406087

MaRDI QIDQ4939102zbMATH OpenFDO

Authors Nikolaos S. Papaspyrou

Publication date 23 February 2000

zbMATH Keywords

ANSI C programming language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A study of evaluation order semantics in expressions with side effects
• The semantics of lazy functional languages
• Generic Hoare logic for order-enriched effects with exceptions
• Semantics of value recursion for Monadic Input/Output
• Evaluation strategies for monadic computations

Cited in

(5)

• Types as graphs: Continuations in type logical grammar
• Mechanized semantics for the clight subset of the C language
• The expressive power of side effects in prolog
• scientific article; zbMATH DE number 1304001 (Why is no real title available?)
• A study of evaluation order semantics in expressions with side effects

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4939102)