A Nonstandard Functional Programming Language

DOI10.1007/978-3-319-71237-6_25MaRDI QIDQ5056008zbMATH OpenOpenAlexFDO

Authors Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi

Publication date 9 December 2022

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-71237-6_25

Mathematics Subject Classification ID

Other applications of nonstandard models (economics, physics, etc.) (03H10) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Programming with Infinitesimals: A While-Language for Hybrid System Modeling
• Mechanizing Nonstandard Real Analysis
• scientific article; zbMATH DE number 3979058
• A nonstandard characterisation of the type-structure of continuous functionals over the reals
• scientific article; zbMATH DE number 4212363

Cites work

• A non-standard semantics for Kahn networks in continuous time
• Abstract interpretation with infinitesimals. Towards scalability in nonstandard static analysis
• An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Domain-Theoretic Foundations of Functional Programming
• scientific article; zbMATH DE number 1222940 (Why is no real title available?)
• scientific article; zbMATH DE number 1516952 (Why is no real title available?)
• scientific article; zbMATH DE number 861256 (Why is no real title available?)
• Hyperstream processing systems, nonstandard modeling of continuous-time signals
• Internal set theory: A new approach to nonstandard analysis
• Low-level liquid types
• Model checking higher-order programs
• Modelling of Complex Systems: Systems as Dataflow Machines
• Non-standard semantics of hybrid systems modelers
• Nonstandard analysis in ACL2
• Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
• Predicate abstraction and CEGAR for disproving termination of higher-order functional programs
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling
• Temporal verification of higher-order functional programs
• The computational content of nonstandard analysis

Cited in

(1)

• scientific article; zbMATH DE number 5990080 (Why is no real title available?)

Describes a project that uses

Uses Software

• ACL2
• MoCHi

This page was built for publication: A Nonstandard Functional Programming Language

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