Publication:4415091

zbMath1026.68788MaRDI QIDQ4415091

Shriram Krishnamurthi

Publication date: 28 July 2003

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

Mathematics Subject Classification ID

68N15: Theory of programming languages

68U99: Computing methodologies and applications

68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)

Uses Software

• DrScheme