On the use of elements of functional programming in program development by transformations

2005 ◽  
pp. 193-215
Author(s):  
Rudolf Berghammer ◽  
Herbert Ehler
Keyword(s):  
Program Development ◽  
Functional Programming

scholarly journals Functional design and implementation of graphical user interfaces for theorem provers

1999 ◽  
Vol 9 (2) ◽  
pp. 167-189 ◽  
Author(s):  
C. LÜTH ◽  
B. WOLFF
Keyword(s):  
Program Development ◽  
User Interfaces ◽  
System Architecture ◽  
Functional Programming ◽  
Graphical User Interfaces ◽  
Functional Design ◽  
Problem Domain ◽  
Design And Implementation ◽  
Theorem Provers ◽  
Interface System

The design of theorem provers, especially in the LCF-prover family, has strongly profited from functional programming. This paper attempts to develop a metaphor suited to visualize the LCF-style prover design, and a methodology for the implementation of graphical user interfaces for these provers and encapsulations of formal methods. In this problem domain, particular attention has to be paid to the need to construct a variety of objects, keep track of their interdependencies and provide support for their reconstruction as a consequence of changes. We present a prototypical implementation of a generic and open interface system architecture, and show how it can be instantiated to an interface for Isabelle, called IsaWin, as well as to a tailored tool for transformational program development, called TAS.

Engaging People Who Use Drugs in Policy and Program Development: A Community-based Approach

2012 ◽  
Author(s):  
Lianping Ti ◽  
◽  
Despina Tzemis ◽  
Margot Kuo ◽  
Jane Buxton
Keyword(s):  
Program Development ◽  
People Who Use Drugs ◽  
Community Based
Sign in / Sign up

Export Citation Format

Share Document