Search Sciweavers | Sciweavers

10899 search results - page 94 / 2180

» The GP Programming System

click to vote

ECOOP
2012
Springer

233views Programming Languages» more ECOOP 2012»

Object Initialization in X10

11 years 11 months ago

Download spark.woaf.net

X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...

Yoav Zibin, David Cunningham, Igor Peshansky, Vija...

claim paper

Read More »

click to vote

IFL
2000
Springer

135views Formal Methods» more IFL 2000»

Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs

14 years 15 days ago

Download www.cs.kent.ac.uk

Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...

Olaf Chitil, Colin Runciman, Malcolm Wallace

claim paper

Read More »

click to vote

POPL
2006
ACM

142views Programming Languages» more POPL 2006»

Why dependent types matter

14 years 9 months ago

Download www.cs.nott.ac.uk

We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...

James McKinna

claim paper

Read More »

click to vote

ICLP
2005
Springer

93views Automated Reasoning» more ICLP 2005»

A Temporal Programming Language for Heterogeneous Information Systems

14 years 2 months ago