scientific article; zbMATH DE number 1088219

MaRDI QIDQ4364535zbMATH OpenFDO

Authors Gert Smolka

Publication date 17 November 1997

zbMATH Keywords

concurrent programmingobject-oriented 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

(9)

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

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)