Directional types and the annotation method

DOI10.1016/S0743-1066(96)00144-6zbMath0886.68031OpenAlexW2047050741MaRDI QIDQ4371987

Johan Boye, Jan Małuszyński

Publication date: 20 April 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(96)00144-6

zbMATH Keywords

well-typednessProlog program

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Evolution of rule-based programs

Uses Software

• SICStus

This page was built for publication: Directional types and the annotation method