scientific article; zbMATH DE number 711035
From MaRDI portal
Publication:4319801
zbMath0821.68023MaRDI QIDQ4319801
Jens Palsberg, Michael I. Schwartzbach
Publication date: 12 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)
Related Items
Partial redundancy elimination for access path expressions, Comparing flow-based binding-time analyses, Formal reasoning about modules, reuse and their correctness, Idealized coinductive type systems for imperative object-oriented programs, Class invariants as abstract interpretation of trace semantics, Refinements of complexity results on type consistency for object-oriented databases, Synthesizing objects, Static analysis for the \(\pi\)-calculus with applications to security, Selectors make set-based analysis too hard
Uses Software
