Continuity in semantic theories of programming

DOI10.1080/01445340.2015.1054576MaRDI QIDQ2963952zbMATH OpenOpenAlexWikidataFDO

Authors Felice Cardone

Publication date 22 February 2017

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2318/1572930

Mathematics Subject Classification ID

History of computer science (68-03) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Continuous and completely distributive lattices
• Continuations revisited
• A denotational semantic theory of concurrent systems
• Continuations in possible-world semantics
• Continuity spaces: Reconciling domains and metric spaces

Cites work

• scientific article; zbMATH DE number 3135814 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A simple fixpoint argument without the restriction to continuity
• Fully abstract models of typed \(\lambda\)-calculi
• LCF considered as a programming language
• On full abstraction for PCF: I, II and III
• Some Stone spaces and recursion theory
• Time, clocks, and the ordering of events in a distributed system

Cited in

(1)

• Continuity analysis of programs

This page was built for publication: Continuity in semantic theories of programming

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