scientific article; zbMATH DE number 1088219

MaRDI QIDQ4364535zbMATH OpenFDO

Authors Gert Smolka

Publication date 17 November 1997

zbMATH Keywords

object-oriented programmingconcurrent programmingOz programming model

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 1094618
• scientific article; zbMATH DE number 1264430
• Object-oriented programming
• scientific article; zbMATH DE number 1254033

Cited in

(7)

• On modelling mobility
• Dominance constraints with Boolean connectives: A model-eliminative treatment
• Logic programming in the context of multiparadigm programming: the Oz experience
• Dynamic state restoration using versioning exceptions
• A timed concurrent constraint language.
• scientific article; zbMATH DE number 1497836 (Why is no real title available?)
• Ordering constraints over feature trees expressed in second-order monadic logic.

Describes a project that uses

Uses Software

• Oz

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 Q4364535)