Publication | Closed Access

Denotational models for programming languages: applications of Banach's Fixed Point Theorem

Mathematical ProgrammingProgramming Language TheoryDeclarative ProgrammingEngineeringDenotational ModelsProgram AnalysisAutomated ReasoningFixed Point TheoremAbstract InterpretationFormal MethodsComputer ScienceSoftware AnalysisFunctional ProgrammingProgramming Language DesignFormal VerificationProgramming Languages