4854 search results - page 88 / 971 » It's the Programming, Stupid |
123
click to vote
POPL
1989
ACM
15 years 10 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
175
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
115
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
For a quarter of a century now, NP-completeness has been computer science's favorite paradigm, fad, punching bag, buzzword, alibi, and intellectual export. This paper is a fra...
146
click to vote
ICALT
2008
IEEE
16 years 16 days ago
2008
IEEE
The Robinson curriculum contains a novel approach to improve the engineering education, to enhance technological literacy of students from nonengineering fields and to increase in...
187
click to vote
DALT
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...