1179 search results - page 128 / 236 » Programming in Hybrid Constraint Languages |
136
click to vote
DSD
2010
IEEE
15 years 1 months ago
2010
IEEE
Due to the various devices composing a smart camera system, various languages have to be known by the designer (like HDL and C/C++). Most of vision applications designers are soft...
ICLP
1990
Springer
15 years 5 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
109
click to vote
APLAS
2000
ACM
15 years 5 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
103
click to vote
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
117
click to vote
COORDINATION
2009
Springer
15 years 8 months ago
2009
Springer
Joins or chords is a concurrency construct that seems to fit well with the object oriented paradigm. Chorded languages are presented with implicit assumptions regarding the fair t...