scientific article; zbMATH DE number 2006639
From MaRDI portal
Publication:4436035
zbMath1024.68014MaRDI QIDQ4436035
Publication date: 23 November 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2183/21830202.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
denotational semanticsobject-oriented programmingexplicit mathematicsreasoning about programsFeatherweight Java
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Metamathematics of constructive systems (03F50)
Related Items
Formalizing non-termination of recursive programs ⋮ Semantic types and approximation for Featherweight Java ⋮ Proof-theoretic notions for software maintenance ⋮ Explicit mathematics: power types and overloading