Vmake and ISE general tools for the intensionalization of software systems

MaRDI QIDQ2758323zbMATH OpenFDO

Authors Paul Swoboda, W. W. Wadge

Publication date 25 March 2002

zbMATH Keywords

imperative scripting languagerule-based make programVmake

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Intensional programming I. Based on the papers at ISLIP '95, Macquarie Univ., Sydney, NSW, Australia 3--5, 1995
• Enforcing structural regularities in software using intensive
• Possible worlds versioning
• scientific article; zbMATH DE number 1947778
• Intensional logic in context

Cited in

(4)

• Possible worlds versioning
• On Borel ideals
• vmake
• scientific article; zbMATH DE number 1947778 (Why is no real title available?)

Describes a project that uses

Uses Software

• PERL

This page was built for publication: Vmake and ISE general tools for the intensionalization of software systems

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