In this paper I celebrate the evolution of the Vienna Development Method (VDM) along its Irish branch and attempt to tell the story that Peter Lucas played in it. There are two parts to the paper. In the first part I tell my story of the early day of the origins of the Irish School of the VDM (VDM ♣), beginning with prehistory in 1978 up until the radical decisions of 1995 which led to the Iris...

This thesis addresses several aspects of static and dynamic control-flow information in programming languages, by investigating its interaction with program transformation and program analysis. Control-flow information indicates for each point in a program the possible program points to be executed next. Control-flow information in a program may be static, as when the syntax of the program dire...

This paper is the first to perform a systematic quantitative analysis of arguments used motivate selections in grammatical entries from normative works on Standard Dutch written between ca. 1550 and 1650. Thus, it aims obtain insight into what language ideologies were characteristic this early modern period, these reveal about how took shape its initiating phase, differences are codification pe...

A framework for composition synthesis is provided in which metalanguage combinators are supported and the execution of synthesized programs can be staged into composition-time code generation (stage 1) and run-time execution (stage 2). By extending composition synthesis to encompass both object language (L1) and metalanguage (L2) combinators, composition synthesis becomes a powerful and flexibl...

The term cultural scripts refers to a powerful new technique for articulating cultural norms, values, and practices in terms which are clear, precise, and accessible to cultural insiders and to cultural outsiders alike. This result is only possible because cultural scripts are formulated in a tightly constrained, yet expressively flexible, metalanguage consisting of simple words and grammatical...

In this paper we present the heuristic algorithms at the core of a text meaning analyzer based on the ontological-semantic approach (e.g., Nirenburg and Raskin 2004). The full analyzer takes as input natural language texts and through many levels of analysis produces text meaning representations (TMRs) formulated in a specially developed ontology-based metalanguage that covers semantic as well ...