6343 search results - page 492 / 1269 » Development of a Cartographic Language |
203
Voted
APLAS
2003
ACM
16 years 3 days ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
176
Voted
ERLANG
2003
ACM
16 years 3 days ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
192
click to vote
CONCUR
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
141
click to vote
CP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Constraint programming offers powerful problem solving capabilities, but experienced and skilled developers are needed to maximise the benefits it offers. We introduce...
186
Voted
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...