9626 search results - page 293 / 1926 » Invariant Based Programming |
198
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) re...
201
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
181
click to vote
DALT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
158
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
147
click to vote
FPCA
1991
15 years 10 months ago
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...