scientific article; zbMATH DE number 1956461

zbMath1032.68940MaRDI QIDQ4417789

Barbara G. Ryder

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2622/26220126.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Related Items (1)

Verifying pointer and string analyses with region type systems

This page was built for publication: