AAAAAA
Results: 51-75/178
Authors:
CIANCARINI P
Citation: P. Ciancarini, COORDINATION MODELS AND LANGUAGES AS SOFTWARE INTEGRATORS, ACM computing surveys, 28(2), 1996, pp. 300-302
Authors:
GILBERT D
Citation: D. Gilbert, CAN COMPUTATIONAL LOGIC PROVIDE A PARADIGM FOR BOTH THE SPECIFICATIONAND IMPLEMENTATION OF CONCURRENT SYSTEMS, ACM computing surveys, 28(2), 1996, pp. 303-305
Authors:
HANUS M
KUCHEN H
Citation: M. Hanus et H. Kuchen, INTEGRATION OF FUNCTIONAL AND LOGIC PROGRAMMING, ACM computing surveys, 28(2), 1996, pp. 306-308
Authors:
MYCROFT A
Citation: A. Mycroft, ON INTEGRATION OF PROGRAMMING PARADIGMS, ACM computing surveys, 28(2), 1996, pp. 309-311
Authors:
REDDY US
Citation: Us. Reddy, IMPERATIVE FUNCTIONAL PROGRAMMING, ACM computing surveys, 28(2), 1996, pp. 312-314
Authors:
VOLPANO D
SMITH G
Citation: D. Volpano et G. Smith, ON THE SYSTEMATIC DESIGN OF WEB LANGUAGES, ACM computing surveys, 28(2), 1996, pp. 315-317
Authors:
WADLER P
Citation: P. Wadler, LAZY VERSUS STRICT, ACM computing surveys, 28(2), 1996, pp. 318-320
Authors:
BENTON PN
Citation: Pn. Benton, ON THE RELATIONSHIP BETWEEN FORMAL SEMANTICS AND STATIC ANALYSIS, ACM computing surveys, 28(2), 1996, pp. 321-323
Authors:
COUSOT P
Citation: P. Cousot, ABSTRACT INTERPRETATION, ACM computing surveys, 28(2), 1996, pp. 324-328
Authors:
DANVY O
HENTZE N
MALMKJAER K
Citation: O. Danvy et al., RESOURCE-BOUNDED PARTIAL EVALUATION, ACM computing surveys, 28(2), 1996, pp. 329-332
Authors:
FILE G
GIACOBAZZI R
RANZATO F
Citation: G. File et al., A UNIFYING VIEW OF ABSTRACT DOMAIN DESIGN, ACM computing surveys, 28(2), 1996, pp. 333-336
Authors:
JAGANNATHAN S
WRIGHT A
Citation: S. Jagannathan et A. Wright, COMPILING FUNCTIONAL LANGUAGES WITH FLOW-ANALYSIS, ACM computing surveys, 28(2), 1996, pp. 337-339
Authors:
LEMETAYER D
SCHMIDT D
Citation: D. Lemetayer et D. Schmidt, STRUCTURAL OPERATIONAL SEMANTICS AS A BASIS FOR STATIC PROGRAM ANALYSIS, ACM computing surveys, 28(2), 1996, pp. 340-343
Authors:
NIELSON F
Citation: F. Nielson, ANNOTATED TYPE AND EFFECT SYSTEMS, ACM computing surveys, 28(2), 1996, pp. 344-345
Authors:
DAM M
Citation: M. Dam, MODALITIES IN ANALYSIS AND VERIFICATION, ACM computing surveys, 28(2), 1996, pp. 346-348
Authors:
CARTWRIGHT R
FELLEISEN M
Citation: R. Cartwright et M. Felleisen, PROGRAM VERIFICATION THROUGH SOFT TYPING, ACM computing surveys, 28(2), 1996, pp. 349-351
Authors:
DEGANO P
PRIAMI C
Citation: P. Degano et C. Priami, ENHANCED OPERATIONAL SEMANTICS, ACM computing surveys, 28(2), 1996, pp. 352-354
Authors:
JAY CB
Citation: Cb. Jay, SHAPE IN COMPUTING, ACM computing surveys, 28(2), 1996, pp. 355-357
Authors:
PALSBERG J
Citation: J. Palsberg, TYPE INFERENCE FOR OBJECTS, ACM computing surveys, 28(2), 1996, pp. 358-359
Authors:
PETTOROSSI A
PROIETTI M
Citation: A. Pettorossi et M. Proietti, RULES AND STRATEGIES FOR TRANSFORMING FUNCTIONAL AND LOGIC PROGRAMS, ACM computing surveys, 28(2), 1996, pp. 360-414
Authors:
FRAKES W
TERRY C
Citation: W. Frakes et C. Terry, SOFTWARE REUSE - METRICS AND MODELS, ACM computing surveys, 28(2), 1996, pp. 415-435
Authors:
GREENLAW R
PETRESCHI R
Citation: R. Greenlaw et R. Petreschi, CUBIC GRAPHS, ACM computing surveys, 27(4), 1995, pp. 471-495
Authors:
PRATHER RE
Citation: Re. Prather, DESIGN AND ANALYSIS OF HIERARCHICAL SOFTWARE METRICS, ACM computing surveys, 27(4), 1995, pp. 497-518
Authors:
SARKAR D
Citation: D. Sarkar, METHODS TO SPEED-UP ERROR BACKPROPAGATION LEARNING ALGORITHM, ACM computing surveys, 27(4), 1995, pp. 519-542
Authors:
GUDIVADA VN
Citation: Vn. Gudivada, MULTIMEDIA SYSTEMS - AN INTERDISCIPLINARY PERSPECTIVE, ACM computing surveys, 27(4), 1995, pp. 545-548