3323 search results - page 263 / 665 » Computational Semantics with Functional Programming |
153
Voted
SPAA
1997
ACM
15 years 10 months ago
1997
ACM
A parallel multithreaded program that is ostensibly deterministic may nevertheless behave nondeterministically due to bugs in the code. These bugs are called determinacy races, an...
161
click to vote
FSS
2002
15 years 6 months ago
2002
In this work we study approximation of fuzzy functions on a finite set of distinct points. Two types of approximation are considered, one method based on fuzzy linear programming p...
228
click to vote
ECOWS
2008
Springer
15 years 8 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
162
click to vote
ICCS
2004
Springer
16 years 10 hour ago
2004
Springer
We describe and compare the programming languages C, MATLAB and Python as teaching languages for engineering students. We distinguish between two distinct phases in the process of ...
184
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...