scientific article
From MaRDI portal
Publication:2779233
zbMath0982.68729MaRDI QIDQ2779233
Publication date: 15 April 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2072/20720099
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Computing methodologies and applications (68U99)
Related Items (3)
Inferring region types via an abstract notion of environment transformation ⋮ Idealized coinductive type systems for imperative object-oriented programs ⋮ Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types
This page was built for publication:
