Integrating logic and functional programming

1989 ◽  
Vol 2 (1) ◽  
pp. 51-89 ◽  
Author(s):  
Hassan Ait-Kaci ◽  
Roger Nasr
Keyword(s):  
Functional Programming ◽  
Logic And Functional Programming

Trends in applying abstract interpretation

1992 ◽  
Vol 7 (2) ◽  
pp. 157-171 ◽  
Author(s):  
Andrew Bowles
Keyword(s):  
Functional Programming ◽  
Abstract Interpretation ◽  
Compiler Optimizations ◽  
Logic And Functional Programming

AbstractAbstract interpretation is a principled approach to inferring properties of a program's execution by simulating that execution using an interpreter which computes over some abstraction of the program's usual, concrete domain, and which collects the information of interest during the execution. Abstract interpretation has been used as the basis of research in logic and functional programming, particularly in applications concerned with compiler optimizations. However, abstract interpretation has the potential to be used in other applications, such as debugging or verification of programs. In this paper we review the use of abstract interpretation to both compiler optimizations and to other applications, attempting to give a flavour of the kind of information it is possible to infer and some of the issues involved

scholarly journals LPG: A generic, logic and functional programming language

1988 ◽  
pp. 376-377 ◽  
Author(s):  
D. Bert ◽  
P. Drabik ◽  
R. Echahed ◽  
O. Declerfayt ◽  
B. Demeuse ◽  
...  
Keyword(s):  
Programming Language ◽  
Functional Programming ◽  
Functional Programming Language ◽  
Logic And Functional Programming
Sign in / Sign up

Export Citation Format

Share Document