scientific article; zbMATH DE number 3725676

MaRDI QIDQ3914409zbMATH OpenFDO

Authors J. W. de Bakker, Jan Willem Klop, John-Jules Meyer

Publication date 1981

zbMATH Keywords

call-by-namecall-by-valuecompletenessdenotational semanticsHoare's logicoperational semanticsrecursive proceduressoundnesstyped lambda calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Algorithms in computer science (68W99)

Cited in

(1)

• Wythoff games, continued fractions, cedar trees and Fibonacci searches

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