1402 search results - page 156 / 281 » A Practical Agent Programming Language |
139
click to vote
ISMB
1994
15 years 3 months ago
1994
Apilot program,CME,is describedfor generatinga physical genetic mapfromhybridization fingerprintingdata. CMEis implementedin the parallel constraint logic programming language Eli...
213
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
123
Voted
POPL
1996
ACM
15 years 6 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
105
click to vote
SDE
1991
15 years 5 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
115
click to vote
AUIC
2000
IEEE
15 years 6 months ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...