10585 search results - page 657 / 2117 » The Orc Programming Language |
228
click to vote
HASKELL
2005
ACM
16 years 25 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
201
click to vote
UML
2005
Springer
16 years 22 days ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
209
click to vote
ECOOP
2004
Springer
16 years 20 days ago
2004
Springer
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...
182
Voted
LPNMR
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
226
Voted
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...