Preemptive Type Checking in Dynamically Typed Languages

DOI10.1007/978-3-642-39718-9_12MaRDI QIDQ2851907zbMATH OpenOpenAlexFDO

Authors Neville Grech, Bernd Fischer

Publication date 4 October 2013

Published in Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/359211/1/springer-copy.pdf

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Preemptive type checking
• Dynamic typing in polymorphic languages
• A denotational approach for type-checking in object-oriented programming languages
• Dynamic typing: Syntax and proof theory
• scientific article; zbMATH DE number 3928328
• Tridirectional typechecking
• Type inference and strong static type checking for Promela
• A semantics for type checking
• Type-checking multi-parameter type classes

Cited in

(3)

• Preemptive type checking
• Bounded symbolic execution for runtime error detection of Erlang programs
• Towards a type-based abstract semantics for Python

Describes a project that uses

Uses Software

• Python

This page was built for publication: Preemptive Type Checking in Dynamically Typed Languages

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