840 search results - page 23 / 168 » Programming the future |
IWPC
2009
IEEE
14 years 3 months ago
2009
IEEE
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
ASWEC
2004
IEEE
14 years 11 days ago
2004
IEEE
"Totally Functional Programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practi...
COMPSAC
2001
IEEE
14 years 7 days ago
2001
IEEE
The recent explosion in distance learning programs on the world-wide web has spawned a lively debate on the future and the potential of these programs. While distance learning wil...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
KR
1991
Springer
14 years 3 days ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...