ADVANCED SEARCH
Advanced Search
FEEDBACK
 Please provide us with feedback
Found 2,971 of 1,394,228
|
|
Results 1 - 20 of 2,971
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
1
|
|
The semantics of types in programming languages
|
|
January 1995
|
|
Handbook of logic in computer science (vol. 3)
|
|
Publisher: Oxford University Press
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 1 |
 |
|
|
|
|
2
|
|
An overview of rewrite rule laboratory (RRL)
|
|
January 1989
|
|
RTA-89: Proceedings of the 3rd international conference on Rewriting Techniques and Applications
|
|
Publisher: Springer-Verlag New York, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 2 |
|
|
|
|
|
3
|
|
State Management in Web Services
|
|
May 2004
|
|
FTDCS '04: Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS'04) - Volume 00
, Volume 00
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 1 |
|
|
In the paper, we identify a problem for certainapplications wishing to use the web service paradigm toenhance interoperability: rapid, robust statemaintenance. While many features are available tosupport session data, special mechanisms for applicationstate ...
|
|
4
|
|
On the complexity of type inference with coercion
|
|
November 1989
|
|
FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture
|
Publisher: ACM
 Request Permissions
|
|
Full text available: |
 Pdf
(520.76 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 24, Downloads (Overall): 139, Citation Count: 3 |
|
|
|
|
|
5
|
|
Constraint hierarchies
|
|
December 1987
|
|
OOPSLA '87: Conference proceedings on Object-oriented programming systems, languages and applications
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(1.36 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 6, Downloads (12 Months): 27, Downloads (Overall): 292, Citation Count: 30 |
|
|
Constraints describe relations that must be maintained, and provide a useful tool for such applications as interactive simulations, algorithm animation, and graphical user interface construction. We describe a major overhaul and extension to the constraint ...
|
Also published in: |
| December 1987 |
SIGPLAN Notices |
Volume 22 Issue 12 |
|
|
6
|
|
7
|
|
C++ (2nd ed.): an introduction to computing
|
|
October 1997
|
|
C++ (2nd ed.): an introduction to computing
|
|
Publisher: Prentice-Hall, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 2 |
|
|
|
|
|
8
|
|
Fitting the pieces together: a machine-checked model of safe composition
Benjamin Delaware,
William R. Cook,
Don Batory
|
|
August 2009
|
|
ESEC/FSE '09: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(548.88 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 14, Downloads (12 Months): 34, Downloads (Overall): 34, Citation Count: 0 |
|
|
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of features are meaningful; feature models express the high-level ...
Keywords: feature models, product lines, type safety
|
|
9
|
|
Functional Classes: Cost of Recursive Method Call in Java
|
|
August 2007
|
|
ICSEA '07: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007) - Volume 00
, Volume 00
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
|
|
10
|
|
A randomized implementation of multiple functional arrays
|
|
July 1994
|
|
LFP '94: Proceedings of the 1994 ACM conference on LISP and functional programming
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(1.28 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 9, Downloads (12 Months): 22, Downloads (Overall): 177, Citation Count: 3 |
|
|
The array update problem in the implementation of a purely functional language is the following: once an array is updated, both the original array and the newly updated one must be preserved to maintain referential transparency. Previous approaches have ...
|
Also published in: |
| July 1994 |
SIGPLAN Lisp Pointers |
Volume VII Issue 3 |
|
|
11
|
|
Action transformation by partial evaluation
|
|
June 1995
|
|
PEPM '95: Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(848.97 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 0, Downloads (12 Months): 10, Downloads (Overall): 87, Citation Count: 0 |
|
|
|
|
|
12
|
|
Specification level interoperability
|
|
February 1990
|
|
ICSE '90: Proceedings of the 12th international conference on Software engineering
|
|
Publisher: IEEE Computer Society Press
|
|
Full text available: |
Pdf
(1.26 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 17, Downloads (Overall): 167, Citation Count: 6 |
|
|
|
|
|
13
|
|
A historic functional and object-oriented calculus
|
|
July 2006
|
|
PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(229.56 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 3, Downloads (12 Months): 19, Downloads (Overall): 154, Citation Count: 0 |
|
|
We present a functional object calculus which solves the traditional conflict between matching-based functional programming and object-oriented programming, by treating uniformly method invocations and functional constructor applications. The key feature ...
Keywords: functional programming, objects, pattern-matching, types
|
|
14
|
|
15
|
|
16
|
|
Noised or filtered programming? (about enumerated types)
|
|
April 1992
|
|
SIGPLAN Notices
, Volume 27 Issue 4
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(242.20 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 0, Downloads (12 Months): 8, Downloads (Overall): 53, Citation Count: 0 |
|
|
This paper is yet another contribution to a debate where many people contributed recently [Delft 89, Meek 90, Sakkinen 91, and others...], the ones pleading for considering enumerated types as harmful, and the others as important. But the debate will ...
|
|
17
|
|
Control structures in hypothesis spaces: the influence on learning
|
|
January 2002
|
|
Theoretical Computer Science
, Volume 270 Issue 1-2
|
|
Publisher: Elsevier Science Publishers Ltd.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
In any learnability setting, hypotheses are conjectured from some hypothesis space. Studied herein are the influence on learnability of the presence or absence of certain control structures in the hypothesis space. First presented are control structure ...
Keywords: computational learning theory, control structures, inductive inference, languages, numberings
|
|
18
|
|
On the time complexity of partial real functions
|
|
March 2000
|
|
Journal of Complexity
, Volume 16 Issue 1
|
|
Publisher: Academic Press, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 1 |
|
|
|
Keywords: approximate computability, computable real function, time complexity, topological arithmetical hierarchy
|
|
19
|
|
Principals in programming languages: a syntactic proof technique
|
|
September 1999
|
|
ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(1.32 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 23, Downloads (Overall): 205, Citation Count: 8 |
|
|
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the modules of a large program, a host and its clients, or a collection of ...
|
Also published in: |
| September 1999 |
SIGPLAN Notices |
Volume 34 Issue 9 |
|
|
20
|
The profession of IT
Computing: the fourth great domain of science
Peter J. Denning,
Paul S. Rosenbloom
|
|
September 2009
|
|
Communications of the ACM
, Volume 52 Issue 9
|
|
Publisher: ACM
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): 198, Downloads (12 Months): 1003, Downloads (Overall): 1003, Citation Count: 0 |
|
|
Computing is as fundamental as the physical, life, and social sciences.
|
|
|
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
Digital Edition
Html