Sciweavers

6794 search results - page 841 / 1359
» Semantics of Visual Languages
Sort
View
AGP
2003
IEEE
16 years 10 days ago
An Ordered Choice Logic Programming Front-End for Answer Set Solvers
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
Marina De Vos
GI
2009
Springer
15 years 11 months ago
Constraint Functional Multicore Programming
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
Petra Hofstedt, Florian Lorenzen
HICSS
2000
IEEE
121views Biometrics» more  HICSS 2000»
15 years 11 months ago
Working with Patterns and Code
This paper describes the basis for a suite of tools that let the programmer work in terms of design patterns and source code simultaneously. It first introduces a language for de...
Steven P. Reiss
ISORC
2000
IEEE
15 years 11 months ago
Structural and Behavioral Decomposition in Object Oriented Models
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
Joachim Fischer, Eckhardt Holz, Birger Møll...
APSEC
1999
IEEE
15 years 11 months ago
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
Yoonsik Cheon, Heung-Nam Kim