Search Sciweavers | Sciweavers

947 search results - page 36 / 190

» Declarative Programming in Prolog

152

click to vote

SAS
2004
Springer

134views Formal Methods» more SAS 2004»

Towards Declarative Programming for Web Services

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

112

click to vote

EUROSYS
2010
ACM

176views Software Engineering» more EUROSYS 2010»

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

15 years 11 months ago

Download db.cs.berkeley.edu

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

claim paper

Read More »

130

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 10 months ago

Download www.damas.ift.ulaval.ca

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

claim paper

Read More »

124

click to vote

OOPSLA
1997
Springer

98views Security Privacy» more OOPSLA 1997»

Declarative Specialization of Object-Oriented Programs

15 years 10 months ago

Download hal.archives-ouvertes.fr

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

claim paper

Read More »

146

click to vote

LPE
2001

104views Logical Reasoning» more LPE 2001»

An Integrated Development Environment for Declarative Multi-Paradigm Programming

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers