Search Sciweavers | Sciweavers

11214 search results - page 155 / 2243

» Programming Multi-agent Systems

172

click to vote

ECOOP
2012
Springer

233views Programming Languages» more ECOOP 2012»

Object Initialization in X10

13 years 8 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 »

190

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

15 years 10 months 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 »

280

click to vote

POPL
2006
ACM

142views Programming Languages» more POPL 2006»

Why dependent types matter

16 years 6 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 »

119

click to vote

ICLP
2005
Springer

93views Automated Reasoning» more ICLP 2005»

A Temporal Programming Language for Heterogeneous Information Systems

15 years 11 months ago