3513 search results - page 477 / 703 » Super Logic Programs |
118
click to vote
IFL
2005
Springer
15 years 8 months ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
117
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
123
click to vote
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
137
click to vote
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
109
click to vote
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...