海量图书期刊资源,随时随地畅享阅读乐趣
Versatile and declarative dynamic programming using pair algebrasPeter Steffen; Robert Giegerich · 2005
MOSAIC: Declarative platform for dynamic overlay compositionYun Mao; Boon Thau Loo; Zachary Ives; Jonathan M. Smith · 2012
Correction: versatile and declarative dynamic programming using pair algebrasPeter Steffen; Robert Giegerich · 2006
A declarative approach to composing web services in dynamic environmentsTherani Madhusudan; N. Uttamsingh · 2006
Striatal prediction errors support dynamic control of declarative memory decisionsScimeca, Jason M.; Katzman, Perri L.; Badre, David · Nature Communications · 2016
Declarative workflows that support easy modification and dynamic browsingHull, Richard; Llirbat, Francois; Siman, Eric; Su, Jianwen; Dong, Guozhu; Kumar, Bharat; Zhou, Gang · ACM SIGSOFT Software Engineering Notes · 1999
Implementing Courcelle's Theorem in a declarative framework for dynamic programmingBliem, Bernhard; Pichler, Reinhard; Woltran, Stefan · Journal of Logic and Computation · 2016
Algorithm 141: Path matrixIngerman, P. Z. · Communications of the ACM · 1962
Blast-furnace operation with a constant blast pressureV. V. Lifar; V. A. Rudenko; P. E. Kovalenko; V. V. Solodukhov; V. N. Andronov; I. Z. Buklan; L. Ya. Shtern; A. M. Kuleshov; B. M. Ingerman · 1982
Thunks: a way of compiling procedure statements with some comments on procedure declarationsIngerman, P. Z. · Communications of the ACM · 1961
Mastering blast-furnace operation with automatic maintenance of the pressure dropV. A. Rudenko; P. E. Kovalenko; V. I. Garishnev; I. Z. Buklan; V. N. Andronov; A. A. Bachinin; A. M. Kuleshov; L. Ya. Shtern; B. M. Ingerman · 1984
[ACM Press the 1965 20th national conference - Cleveland, Ohio, United States (1965.08.24-1965.08.26)] Proceedings of the 1965 20th national conference on - - Programming languages for non-numeric processing---2Lynch, W. C.; Graham, M. L.; Ingerman, P. Z. · 1965
[ACM Press Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery - Cambridge, Massachusetts (1959.09.01-1959.09.03)] Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery on - ACM '59 - A new algorithm for algebraic translationIngerman, P. Z. · 1959
A measure of controlArmour, Phillip G. · Communications of the ACM · 2012
Lightweight modular stagingRompf, Tiark; Odersky, Martin · Communications of the ACM · 2012
Why ACM?Vardi, Moshe Y. · Communications of the ACM · 2012
Spreadsheet data manipulation using examplesGulwani, Sumit; Harris, William R.; Singh, Rishabh · Communications of the ACM · 2012
The five orders of ignoranceArmour, Phillip G. · Communications of the ACM · 2000
Compiling techniquesCheatham, Thomas E. · Communications of the ACM · 1966
RooflineWilliams, Samuel; Waterman, Andrew; Patterson, David · Communications of the ACM · 2009
A fast string searching algorithmBoyer, Robert S.; Moore, J. Strother · Communications of the ACM · 1977