scientific article; zbMATH DE number 935187

zbMATH Open0856.68095MaRDI QIDQ4895544FDOQ4895544

Authors: Flemming Nielson, Hanne Riis Nielson 

Publication date: 14 October 1996

Title of this publication is not available (Why is that?)

Recommendations

• Semi-continuous Sized Types and Termination
• Semi-continuous Sized Types and Termination
• Programming Languages and Systems
• Logic Programming
• Typed Lambda Calculi and Applications

zbMATH Keywords

pattern matchingoperational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (2)

• Distributed call-tracking for security
• Termination analysis for partial functions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4895544)