Search Sciweavers | Sciweavers

10585 search results - page 222 / 2117

» The Orc Programming Language

click to vote

ECOOP
1999
Springer

59views Programming Languages» more ECOOP 1999»

A Trace Model for Pointers and Objects

14 years 1 months ago

Download research.microsoft.com

: Object-oriented programs Dahl, Goldberg, Meyer are notoriously prone to the following kinds of error, which could lead to increasingly severe problems in the presence of tasking

C. A. R. Hoare, Jifeng He

claim paper

Read More »

click to vote

SIGMOD
2012
ACM

234views Database» more SIGMOD 2012»

BloomUnit: declarative testing for distributed programs

11 years 11 months ago

Download www.cs.berkeley.edu

We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test speciﬁcations that descri...

Peter Alvaro, Andrew Hutchinson, Neil Conway, Will...

claim paper

Read More »

click to vote

IJCAI
2007

152views Artificial Intelligence» more IJCAI 2007»

Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning

13 years 10 months ago

Download www.ijcai.org

P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...

Chitta Baral, Matt Hunsaker

claim paper

Read More »

click to vote

ICFP
2009
ACM

106views Programming Languages» more ICFP 2009»

Generic programming with fixed points for mutually recursive datatypes

14 years 9 months ago

Download sneezy.cs.nott.ac.uk

Alexey Rodriguez Yakushev, Andres Löh, Johan ...

claim paper

Read More »