ADVANCED SEARCH
Advanced Search
FEEDBACK
 Please provide us with feedback
Found 26,791 of 1,394,228
|
|
Results 1 - 20 of 26,791
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
1
|
|
Module Musings
|
|
September 1986
|
|
Journal of Pascal, Ada & Modula-2
, Volume 5 Issue 5
|
|
Publisher: SIGS Publications, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
|
|
|
2
|
|
Recursive monadic bindings
|
|
September 2000
|
|
ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
|
Publisher: ACM
 Request Permissions
|
|
Full text available: |
 Pdf
(689.66 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 3, Downloads (12 Months): 40, Downloads (Overall): 197, Citation Count: 9 |
|
|
Monads have become a popular tool for dealing with computational effects in Haskell for two significant reasons: equational reasoning is retained even in the presence of effects; and program modularity is enhanced by hiding "plumbing" issues inside the ...
|
Also published in: |
| September 2000 |
SIGPLAN Notices |
Volume 35 Issue 9 |
|
|
3
|
|
Valis: a multi-language system for rapid prototyping in computational biology
|
|
January 2004
|
|
Valis: a multi-language system for rapid prototyping in computational biology
|
|
Publisher: New York University
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
Bioinformatics is a challenging area for computer science, since the underlying computational formalisms span database systems, numerical methods, geometric modeling and visualization, imaging and image analysis, combinatorial algorithms, data analysis ...
|
|
4
|
|
GKS/Ada post mortem, a cost analysis
|
|
December 1987
|
|
SIGAda '87: Proceedings of the 1987 annual ACM SIGAda international conference on Ada
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(1.12 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 9, Downloads (Overall): 150, Citation Count: 0 |
|
|
This paper presents results and conclusions of a Research Program which, among other tasks, performed analyses of empirical data gathered from completed Ada projects and explored alternative methods for Ada cost modeling and estimation.
Among others, ...
|
|
5
|
|
Experiments in Optimizing FP
|
|
April 1988
|
|
IEEE Transactions on Software Engineering
, Volume 14 Issue 4
|
|
Publisher: IEEE Press
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
FPOPT, a globally optimizing compiler for FP, was built to study the efficiency of compiling a functional programming language by translating it into an intermediate language and then optimizing that intermediate language. This paper describes the FPOPT ...
Keywords: Coupling, FP, functional programming, optimization.
|
|
6
|
|
Learning to program, learning to teach progamming: pre- and in-service teachers' experiences of an object-oriented programming language
|
|
January 2007
|
|
Learning to program, learning to teach progamming: pre- and in-service teachers' experiences of an object-oriented programming language
|
|
Publisher: University of South Africa (South Africa)
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 1 |
|
|
The quest for a better way to learn and teach programming, in particular object-oriented programming, is a challenge that continues to intrigue computer science educators. Even after decades of research in learning to program, educators still search ...
|
|
7
|
|
LISP PC products: survival of the species
|
|
July 1987
|
|
Computer Language
, Volume 4 Issue 7
|
|
Publisher: Miller Freeman, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
|
|
8
|
|
Yes! high level languages should be used to write systems software
|
|
January 1975
|
|
ACM 75: Proceedings of the 1975 annual conference
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(291.76 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 12, Downloads (Overall): 89, Citation Count: 1 |
|
|
It has frequently been remarked that it is easier recognize “high level” languages than to define the concept. For the purposes of this debate, however, I think that we agree that a language is high level to the extent ...
|
|
9
|
|
Lessons learned: object-oriented methodologies and Ada
|
|
January 1990
|
|
Proceedings of the Ada-Europe international conference on Ada : experiences and prospects: experiences and prospects
|
|
Publisher: Cambridge University Press
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 1 |
|
|
|
|
|
10
|
|
Small Business Web Sites Made Easy, 1 edition
|
|
February 2009
|
|
Small Business Web Sites Made Easy, 1 edition
|
|
Publisher: McGraw-Hill, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
Bring in more customers with your own web site!Take your business online and start generating additional revenue with help from this highly visual, easy-to-follow guide. Small Business Web Sites Made Easy shows you how to use ...
|
|
11
|
|
12
|
|
ALGOL 60
|
|
March 1960
|
|
ALGOL Bulletin
, Issue 9
|
|
Publisher: Computer History Museum
|
|
Full text available: |
Pdf
(70.17 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 9, Downloads (Overall): 15, Citation Count: 0 |
|
|
|
|
|
13
|
|
Should APL be a declining language?
|
|
October 1981
|
|
APL '81: Proceedings of the international conference on APL
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(516.41 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 5, Downloads (12 Months): 8, Downloads (Overall): 83, Citation Count: 12 |
|
|
The evolution of computer languages is compared with the evolution of natural languages. This suggests that APL might one day evolve to, or be replaced by, a non-declining form having only one basic syntax and only one class of object—as LISP has ...
|
Also published in: |
| September 1981 |
SIGAPL APL Quote Quad |
Volume 12 Issue 1 |
|
|
14
|
|
VIFOR: a tool for software maintenance
|
|
January 1990
|
|
Software—Practice & Experience
, Volume 20 Issue 1
|
|
Publisher: John Wiley & Sons, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 5 |
|
|
|
|
|
15
|
|
An Ada solution to the general mutual exclusion problem
|
|
July 1993
|
|
SIGAda Ada Letters
, Volume XIII Issue 4
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(337.00 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 9, Downloads (12 Months): 19, Downloads (Overall): 186, Citation Count: 2 |
|
|
Although some specific mutual exclusion problems have been studied extensively, automatic solutions to synchronize general mutual exclusion problems with arbitrary mutual exclusion constraints have not been fully explored. This paper discusses an Ada ...
|
|
16
|
|
17
|
|
Testing student-made compilers
|
|
September 1994
|
|
SIGCSE Bulletin
, Volume 26 Issue 3
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(535.06 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 6, Downloads (Overall): 85, Citation Count: 1 |
|
|
This article presents a few guidelines and examples for testing Pascal compilers designed by students in introductory courses. A standard Pascal subset with little alteration is used, and the possible sources of errors are divided into eight categories. ...
|
|
18
|
|
SABLE: A tool for generating structured, multi-level simulations
|
|
June 1979
|
|
DAC '79: Proceedings of the 16th Design Automation Conference
|
|
Publisher: IEEE Press
|
|
Full text available: |
Pdf
(540.58 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 0, Downloads (12 Months): 4, Downloads (Overall): 17, Citation Count: 19 |
|
|
SABLE (Structure And Behavior Linking Environment) is a system currently being developed at Stanford to support structured, multi-level behavior specification and simulation of digital systems. SABLE accepts information about the nesting and interconnectivity ...
|
|
19
|
|
20
|
|
Connecting prolog with relational databases
|
|
October 1985
|
|
ACM '85: Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
|
|
Publisher: ACM
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Refine by Keywords
Save results to a Binder
Publisher Site
Html