scientific article

zbMath0967.68531MaRDI QIDQ2736363

Annalisa Bossi, M. Fabris, Nicoletta Cocco

Publication date: 29 August 2001

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (8)

A declarative approach for first-order built-in's of Prolog ⋮ Reasoning about prolog programs: From modes through types to assertions ⋮ A Transformational Approach to Resource Analysis with Typed-Norms ⋮ Termination of floating-point computations ⋮ Proving Termination by Invariance Relations ⋮ Fast offline partial evaluation of logic programs ⋮ A Transformational Approach to Resource Analysis with Typed-norms Inference ⋮ Norms on terms and their use in proving universal termination of a logic program

Uses Software

• Miranda
• Unnamed Item

This page was built for publication: