Automatic Program Development
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer Netherlands

9781402065842, 9781402065859
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Appreciation of Bob Paige

2008 ◽  
pp. 37-37
Author(s):  
Martin Davis

scholarly journals Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism

2008 ◽  
pp. 130-177
Author(s):  
Alberto Pettorossi ◽  
Maurizio Proietti ◽  
Sophie Renault
Keyword(s):  
Logic Programs

Remembrances of Bob Paige

2008 ◽  
pp. 40-42
Author(s):  
Alan Siegel

A Song for My Brother

2008 ◽  
pp. 31-34
Author(s):  
Gary D. Paige

Aspects as Invariants

2008 ◽  
pp. 247-263
Author(s):  
Douglas R. Smith

Automatic Program Generation from Formal Specifications using APTS

2008 ◽  
pp. 93-113 ◽  
Author(s):  
Elizabeth I. Leonard ◽  
Constance L. Heitmeyer
Keyword(s):  
Formal Specifications ◽  
Program Generation ◽  
Automatic Program
Load More ...
Sign in / Sign up

Export Citation Format

Share Document