Jump to main content

yr 〜
yr

Search results 16

Proving refinement transformations using extended denotational semantics SAND-96-0843C DE96 008892 CONF-96041181

Proving refinement transformations using extended denotational semantics SAND-96-0843C DE96 008892 CONF-96041181
Microform規格・テクニカルリポート類
Winter, V. L, Boyle, J. M1996<LS-DE96/008892>
National Diet Library

Proving refinement transformations for deriving high-assurance software SAND-96-0844C DE96 008866 CONF-9610671

Proving refinement transformations for deriving high-assurance software SAND-96-0844C DE96 008866 CONF-9610671
Microform規格・テクニカルリポート類
Winter, V. L, Boyle, J. M1996<LS-DE96/008866>
National Diet Library

PROVING REFINEMENT TRANSFORMATIONS FOR DERIVING HIGH-ASSURANCE SOFTWARE (SAND ; SAND-96-0844C)

PROVING REFINEMENT TRANSFORMATIONS FOR DERIVING HIGH-ASSURANCE SOFTWARE (SAND ; SAND-96-0844C)
Paper図書
WINTER, V.L.// BOYLE, J.M. (SANDIA NATIONAL LABS., ALBUQUERQUE, NM (UNITED STATES))Sandia National Laboratories(Sandia National Laboratories)1996.
Other Libraries in Japan
  • Author HeadingWINTER, V.L. BOYLE, J.M.

PROVING REFINEMENT TRANSFORMATIONS USING EXTENDED DENOTATIONAL SEMANTICS (SAND ; SAND-96-0843C)

PROVING REFINEMENT TRANSFORMATIONS USING EXTENDED DENOTATIONAL SEMANTICS (SAND ; SAND-96-0843C)
Paper図書
WINTER, V.L.// BOYLE, J.M. (SANDIA NATIONAL LABS., ALBUQUERQUE, NM (UNITED STATES))Sandia National Laboratories(Sandia National Laboratories)1996.
Other Libraries in Japan
  • Author HeadingWINTER, V.L. BOYLE, J.M.

AUTOMATIC, SELF-ADAPTIVE CONTROL OF UNFOLD TRANSFORMATIONS (ANL ; ANL/MCS/CP-82092)

AUTOMATIC, SELF-ADAPTIVE CONTROL OF UNFOLD TRANSFORMATIONS (ANL ; ANL/MCS/CP-82092)
Paper図書
BOYLE, J.M. (ARGONNE NATIONAL LAB., IL (UNITED STATES))Argonne National Laboratory(Argonne National Laboratory)1994.
Other Libraries in Japan
  • Author HeadingBOYLE, J.M.

SIMPLIFICATION-DRIVEN AUTOMATED PARTIAL EVALUATION (ANL ; ANL/MCS/CP-78726)

SIMPLIFICATION-DRIVEN AUTOMATED PARTIAL EVALUATION (ANL ; ANL/MCS/CP-78726)
Paper図書
BOYLE, J.M. (ARGONNE NATIONAL LAB., IL (UNITED STATES). MATHEMATICS AND COMPUTER SCIENCE DIV.)Argonne National Laboratory(Argonne National Laboratory)1992.
Other Libraries in Japan
  • Author HeadingBOYLE, J.M.

FUNCTIONAL SPECIFICATIONS FOR MATHEMATICAL COMPUTATIONS (CONF ; CONF-9105112-1)

FUNCTIONAL SPECIFICATIONS FOR MATHEMATICAL COMPUTATIONS (CONF ; CONF-9105112-1)
Paper図書
BOYLE, J.M.// HARMER, T.J. (ARGONNE NATIONAL LAB., IL (USA))1991.
Other Libraries in Japan
  • Author HeadingBOYLE, J.M. HARMER, T.J.

REDUCTION OF NITROGEN OXIDES FROM COMBUSTION SOURCE EMISSIONS UTILIZING CHEMICAL RADICAL SPECIES (DOE ; DOE/OR/00033-T488)

REDUCTION OF NITROGEN OXIDES FROM COMBUSTION SOURCE EMISSIONS UTILIZING CHEMICAL RADICAL SPECIES (DOE ; DOE/OR/00033-T488)
Paper図書
BOYLE, J.M. (OAK RIDGE INST. FOR SCIENCE AND EDUCATION, TN (UNITED STATES)// CARNEGIE-MELLON UNIV., PITTSBURGH, PA (UNITED STATES))United States. Dept. of Energy(United States. Dept. of Energy)1992.
Other Libraries in Japan
  • Author HeadingBOYLE, J.M. CARNEGIE-MELLON UNIV., PITTSB...

DESTRUCTION OF ACID GAS EMISSIONS (PATENTS-US ; PATENTS-US-A7541992)

DESTRUCTION OF ACID GAS EMISSIONS (PATENTS-US ; PATENTS-US-A7541992)
Paper図書
MATHUR, M.P.// FU, YUAN C.// EKMANN, J.M.// BOYLE, J.M. (USDOE PITTSBURGH ENERGY TECHNOLOGY CENTER, PA (UNITED STATES))1990.
Other Libraries in Japan
  • Author HeadingMATHUR, M.P. FU, YUAN C. EKMANN, J.M. BOYLE, J.M.

DERIVING SEQUENTIAL AND PARALLEL PROGRAMS FROM PURE LISP SPECIFICATIONS BY PROGRAM TRANSFORMATION. (CONF ; CONF-8604110-1)

DERIVING SEQUENTIAL AND PARALLEL PROGRAMS FROM PURE LISP SPECIFICATIONS BY PROGRAM TRANSFORMATION. (CONF ; CONF-8604110-1)
Paper図書
BOYLE, J.M.(et al.)1986.
Other Libraries in Japan
  • Author HeadingBOYLE, J.M.

TRANSFORMATIONAL COMPONENT FOR PROGRAMMING LANGUAGE GRAMMAR (ANL ; ANL-7690)

TRANSFORMATIONAL COMPONENT FOR PROGRAMMING LANGUAGE GRAMMAR (ANL ; ANL-7690)
Paper図書
Boyle, J.M.Argonne National Laboratory(Argonne National Laboratory)1970.
Other Libraries in Japan
  • Author HeadingBoyle, J.M.

EXTENDING RELIABILITY: TRANSFORMATIONAL TAILORING OF ABSTRACT MATHEMATICAL SOFTWARE. (CONF ; CONF-781052-5)

EXTENDING RELIABILITY: TRANSFORMATIONAL TAILORING OF ABSTRACT MATHEMATICAL SOFTWARE. (CONF ; CONF-781052-5)
Paper図書
BOYLE, J.M.
Other Libraries in Japan
  • Author HeadingBOYLE, J.M.

TOWARDS AUTOMATIC SYNTHESIS OF LINEAR ALGEBRA PROGRAMS. (CONF ; CONF-7904163-1)

TOWARDS AUTOMATIC SYNTHESIS OF LINEAR ALGEBRA PROGRAMS. (CONF ; CONF-7904163-1)
Paper図書
BOYLE, J.M.
Other Libraries in Japan
  • Author HeadingBOYLE, J.M.

SYNTAX-DIRECTED FORTRAN PREPROCESSOR AND FORMATING SYSTEM. (CONF ; CONF-741118-1)

SYNTAX-DIRECTED FORTRAN PREPROCESSOR AND FORMATING SYSTEM. (CONF ; CONF-741118-1)
Paper図書
BOYLE, J.M.
Other Libraries in Japan
  • Author HeadingBOYLE, J.M.

PROGRAM ADAPTATION AND PROGRAM TRANSFORMATION. (CONF ; CONF-790483-1)

PROGRAM ADAPTATION AND PROGRAM TRANSFORMATION. (CONF ; CONF-790483-1)
Paper図書
BOYLE, J.M.
Other Libraries in Japan
  • Author HeadingBOYLE, J.M.

TOWARDS A RATIONAL APPROACH TO FORMATTING PROGRAMS TO DISPLAY THEIR STRUCTURE. (CONF ; CONF-780331-4)

TOWARDS A RATIONAL APPROACH TO FORMATTING PROGRAMS TO DISPLAY THEIR STRUCTURE. (CONF ; CONF-780331-4)
Paper図書
BOYLE, J.M.
Other Libraries in Japan
  • Author HeadingBOYLE, J.M.

Reached to the end of result.

RSS