scientific article; zbMATH DE number 194514

MaRDI QIDQ4692471zbMATH OpenFDO

Authors Ravi Sethi

Publication date 5 June 1993

zbMATH Keywords

\(C++\)Adaconcurrent programmingfunctional programmingimperative programminglambda calculusLogic programmingMLModula-2Object oriented programmingSchemesemanticsSmalltalksyntactic structure

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)

Cited in

(8)

• Induction in the timed interval calculus
• scientific article; zbMATH DE number 4016161 (Why is no real title available?)
• scientific article; zbMATH DE number 3924098 (Why is no real title available?)
• scientific article; zbMATH DE number 675293 (Why is no real title available?)
• scientific article; zbMATH DE number 1178948 (Why is no real title available?)
• scientific article; zbMATH DE number 1821297 (Why is no real title available?)
• scientific article; zbMATH DE number 839539 (Why is no real title available?)
• More efficient bottom-up multi-pattern matching in trees

Describes a project that uses

Uses Software

• Modula
• PL/I
• Ada95

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