66 search results - page 3 / 14 » An Overview of the SWI-Prolog Programming Environment |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
IPPS
2005
IEEE
14 years 29 days ago
2005
IEEE
This paper describes an overview of Environment for Memory Performance Studies (EMPS). EMPS is a framework to allow different data gathering and simulation tools to be composed to...
CADE
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
TPHOL
2003
IEEE
14 years 20 days ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...