Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Walter G. Olthoff"'
Autor:
Walter G. Olthoff
Publikováno v:
ACM SIGPLAN Notices. 20:60-71
The object oriented programming Language ModPascal and its programming environment are introduced. ModPascal extends Standard Pascal by constructs that have shown usefullness in abstract data type theory: module types, enrichments, instantiations and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e969cb614538cec329ce15c7c6880282
https://doi.org/10.1145/382286.382381
https://doi.org/10.1145/382286.382381
Autor:
James Kempf, Walter G. Olthoff
Publikováno v:
Lisp and Symbolic Computation. 2:115-152
The Common Lisp Object System (CLOS) is an extension of Common Lisp for object-oriented programming being designed as part of the ANSI X3J13 Common Lisp standardization process. This report describes an algebraic specification of the method combinati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::39f1edc95b476b1eaa4fee03fa1aef30
https://doi.org/10.1007/bf01811536
https://doi.org/10.1007/bf01811536
Publikováno v:
8th International Conference on Automated Deduction ISBN: 9783540167808
CADE
CADE
The Integrated Software Development and Verification (ISDV)-project ([ I ], [5]) aimed at the integration of well-established software engineering techniques like stepwise-refinement, of powerful mechanisms for formal program specification (abstract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f7b00e7dcfcd0744e51c0a78d4883d1
https://doi.org/10.1007/3-540-16780-3_131
https://doi.org/10.1007/3-540-16780-3_131
Publikováno v:
OOPSLA
This paper develops a system of explicit interfaces for object-oriented programming. The system provides the benefits of module interfaces found in languages like Ada and Modula-2 while preserving the expressiveness that gives untyped object-oriented
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e669853cc0d6ee079b0a61e356b09cd
https://doi.org/10.1145/74877.74924
https://doi.org/10.1145/74877.74924
Publikováno v:
FPCA
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “object” model and used bounded quantification to type-check functions tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a44a8b6b1268475ffeecaee41ec0311
https://doi.org/10.1145/99370.99392
https://doi.org/10.1145/99370.99392
Publikováno v:
GWAI-81 ISBN: 9783540108597
GWAI
GWAI
The APE (Automatic Programming Expert) system constructs executable and efficient programs from algebraic specifications of abstract data types, and abstract algorithms given as conditional term-rewrite-rule-systems with terms built up from operation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1125f3ab4538619cc112a5854effed4f
https://doi.org/10.1007/978-3-662-02328-0_9
https://doi.org/10.1007/978-3-662-02328-0_9
Autor:
Walter G. Olthoff
Publikováno v:
OOPSLA
Object-oriented programming and abstract data type (ADT) theory have emerged from the same origin of computer science: the inability to deal efficiently with 'programming in the large' during the early seventies. Each of the approaches has led to sig
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c7086ef561b40a959a8468d01fff32fc
https://doi.org/10.1145/28697.28742
https://doi.org/10.1145/28697.28742