Sciweavers

609 search results - page 8 / 122
» Declarative programming for agent applications
Sort
View
131
Voted
PPDP
1999
Springer
15 years 6 months ago
Distributed Programming in a Multi-Paradigm Declarative Language
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
Michael Hanus
105
Voted
WOA
2010
15 years 14 days ago
Exploiting Agent-Oriented Programming for Developing Android Applications
Andrea Santi, Marco Guidi, Alessandro Ricci
115
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
Kato: A Program Slicing Tool for Declarative Specifications
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
Engin Uzuncaova, Sarfraz Khurshid
191
Voted
WCFLP
2005
ACM
15 years 8 months ago
A generic analysis environment for declarative programs
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
Michael Hanus
146
Voted
JSS
2006
111views more  JSS 2006»
15 years 2 months ago
Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog
Web and peer-to-peer systems have emerged as popular areas in distributed computing, and their integrated usage permits the benefits of both to be exploited. While much work in th...
Seng Wai Loke