Sciweavers

947 search results - page 29 / 190
» Declarative Programming in Prolog
Sort
View
PADL
2010
Springer
15 years 6 months ago
An ER-Based Framework for Declarative Web Programming
This paper describes a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational da...
Michael Hanus, Sven Koschnicke
84
Voted
PEPM
1999
ACM
15 years 1 months ago
Declarative Aspect-Oriented Programming
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
Ralf Lämmel
DALT
2006
Springer
15 years 1 months ago
Programming Declarative Goals Using Plan Patterns
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
Jomi Fred Hübner, Rafael H. Bordini, Michael ...
77
Voted
FASE
2007
Springer
15 years 3 months ago
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
Markus Bach, Florian Forster, Friedrich Steimann