3311 search results - page 547 / 663 » Deductive Object Programming |
ICSE
1999
IEEE-ACM
1999
IEEE-ACM
CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments
15 years 2 months ago
Source code browsing is an important part of program comprehension. Browsers expose semantic and syntactic relationships (such as between object references and definitions) in GU...
KR
1998
Springer
15 years 2 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
PLDI
1997
ACM
15 years 2 months ago
1997
ACM
An interface definition language (IDL) is a nontraditional language for describing interfaces between software components. IDL compilers generate “stubs” that provide separat...
FC
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. SPEED is a private key block cipher. It supports three variable parameters: (1) data length — the length of a plaintext/ciphertext of SPEED can be 64, 128 or 256 bits. ...
105
click to vote
FP
1992
15 years 2 months ago
1992
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....