6740 search results - page 125 / 1348 » Using Classification as a Programming Language |
126
click to vote
LPAR
1992
Springer
15 years 5 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
124
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
TOOLS
1999
IEEE
15 years 5 months ago
1999
IEEE
stone in the object-oriented paradigm is the abstraction mechanisms transcending analysis, design, and implementation. The notions of class, object, behaviour, and inheritance are...
111
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...