doi: 10.4304/jsw.1.3.1-13
Incremental Implementation of Syntax Driven Logics
- 1 Inst. of Inf. and Comp. Sciences, Utrecht Univ.
- 2 Fakultas Ilmu Komp., Univ. Indonesia
- 3 Inst. Tecnol´ogico de Inf., Univ. Polit´ecnica de Valencia
Abstract
This paper describes a technique combininghigher order functions, algebraic datatypes, andmonads to incrementally implement syntax driven logics.Extensions can be compositionally stacked whilethe base logic is left unchanged. The technique canfurthermore be used to build a set of weaker logicsfor light weight verification or to generate validationtraces. The paper explains the technique through anexample: a Hoare logic for a simple command language.The example also shows how exceptions can be treatedas an extension, without having to change the underlyinglogic.
Keywords
- syntax driven logic
- algebraic data type
How to Cite
I.S.W.B. Prasetya, A. Azurat, T.E.J. Vos, and A. van Leeuwen, "Incremental Implementation of Syntax Driven Logics," Journal of Software, vol. 1, no. 3, pp. 1-13, 2006. https://doi.org/ 10.4304/jsw.1.3.1-13
Copyright & License
Copyright © 2006 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).