Generation of abstract programming interfaces from syntax definitions
From MaRDI portal
Publication:1885931
DOI10.1016/j.jlap.2003.12.002zbMath1068.68045OpenAlexW2169613524MaRDI QIDQ1885931
Publication date: 12 November 2004
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://ir.cwi.nl/pub/4217
Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Uses Software
Cites Work