Search Sciweavers | Sciweavers

947 search results - page 36 / 190

» Declarative Programming in Prolog

173

click to vote

SAS
2004
Springer

134views Formal Methods» more SAS 2004»

Towards Declarative Programming for Web Services

16 years 5 days ago

Download bilder.buecher.de

ness Reﬁnement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....

Sheila A. McIlraith

claim paper

Read More »

127

click to vote

EUROSYS
2010
ACM

176views Software Engineering» more EUROSYS 2010»

Boom analytics: exploring data-centric, declarative programming for the cloud

15 years 12 months ago

Download db.cs.berkeley.edu

Peter Alvaro, Tyson Condie, Neil Conway, Khaled El...

claim paper

Read More »

142

click to vote

SIGECOM
1999
ACM

90views ECommerce» more SIGECOM 1999»

A declarative approach to business rules in contracts: courteous logic programs in XML

15 years 11 months ago

Download www.damas.ift.ulaval.ca

Benjamin N. Grosof, Yannis Labrou, Hoi Y. Chan

claim paper

Read More »

145

Voted

OOPSLA
1997
Springer

98views Security Privacy» more OOPSLA 1997»

Declarative Specialization of Object-Oriented Programs

15 years 11 months ago

Download hal.archives-ouvertes.fr

Eugen-Nicolae Volanschi, Charles Consel, Gilles Mu...

claim paper

Read More »

167

click to vote

LPE
2001

104views Logical Reasoning» more LPE 2001»

An Integrated Development Environment for Declarative Multi-Paradigm Programming

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers