AAAAAA

   
Results: 1-8 |
Results: 8
AUTOMATIC VERIFICATION OF POINTER-PROGRAMS USING MONADIC 2ND-ORDER LOGIC
Authors: JENSEN JL JORGENSEN ME KLARLUND N SCHWARTZBACH MI
Citation: Jl. Jensen et al., AUTOMATIC VERIFICATION OF POINTER-PROGRAMS USING MONADIC 2ND-ORDER LOGIC, ACM SIGPLAN NOTICES, 32(5), 1997, pp. 226-234
FORMAL DESIGN CONSTRAINTS
Authors: KLARLUND N KOISTINEN J SCHWARTZBACH MI
Citation: N. Klarlund et al., FORMAL DESIGN CONSTRAINTS, ACM SIGPLAN NOTICES, 31(10), 1996, pp. 370-383
SELECTED PAPERS OF TAPSOFT-95 - FOREWORD
Authors: MOSSES PD NIELSEN M SCHWARTZBACH MI
Citation: Pd. Mosses et al., SELECTED PAPERS OF TAPSOFT-95 - FOREWORD, Theoretical computer science, 167(1-2), 1996, pp. 1-1
STATIC CORRECTNESS OF HIERARCHICAL PROCEDURES
Authors: SCHWARTZBACH MI
Citation: Mi. Schwartzbach, STATIC CORRECTNESS OF HIERARCHICAL PROCEDURES, Theoretical computer science, 156(1-2), 1996, pp. 177-201
SAFETY ANALYSIS VERSUS TYPE INFERENCE
Authors: PALSBERG J SCHWARTZBACH MI
Citation: J. Palsberg et Mi. Schwartzbach, SAFETY ANALYSIS VERSUS TYPE INFERENCE, Information and computation, 118(1), 1995, pp. 128-141
TYPE INFERENCE OF SELF - ANALYSIS OF OBJECTS WITH DYNAMIC AND MULTIPLE INHERITANCE
Authors: AGESEN O PALSBERG J SCHWARTZBACH MI
Citation: O. Agesen et al., TYPE INFERENCE OF SELF - ANALYSIS OF OBJECTS WITH DYNAMIC AND MULTIPLE INHERITANCE, Software, practice & experience, 25(9), 1995, pp. 975-995
INJECTIVITY OF COMPOSITE FUNCTIONS
Authors: LARSEN KS SCHWARTZBACH MI
Citation: Ks. Larsen et Mi. Schwartzbach, INJECTIVITY OF COMPOSITE FUNCTIONS, Journal of symbolic computation, 17(5), 1994, pp. 393-408
EFFICIENT INFERENCE OF PARTIAL TYPES
Authors: KOZEN D PALSBERG J SCHWARTZBACH MI
Citation: D. Kozen et al., EFFICIENT INFERENCE OF PARTIAL TYPES, Journal of computer and system sciences, 49(2), 1994, pp. 306-324
Risultati: 1-8 |