You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (286)

Journals (0)

1-10 of 286 results for Typeful Program Transformation

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Implementing Typeful Program Transformations

Retricted access

Research article

First published 2006-1

Implementing Typeful Program Transformations

Chiyan Chen, Rui Shi, Hongwei Xi

Fundamenta Informaticae

Select article: A Scalable Application of Artificial Intelligence-Driven Insulin Titration Program to Transform Type 2 Diabetes Management

Retricted access

Research article

First published 2024-08

A Scalable Application of Artificial Intelligence-Driven Insulin Titration Program to Transform Type 2 Diabetes Management

Mark Warren, Richard M. Bergenstal, Matthew Hager [...]

Diabetes Technology & Therapeutics

Select article: Health Achieved Through Lifestyle Transformation (HALT): A Kaiser Permanente Diet and Lifestyle Intervention Program for Coronary Artery Disease and Type 2 Diabetes

Free access

Research article

First published 2024-1

Health Achieved Through Lifestyle Transformation (HALT): A Kaiser Permanente Diet and Lifestyle Intervention Program for Coronary Artery Disease and Type 2 Diabetes

Isaac J. Ergas, Lisa R. Mauch, Joshua A. Rahbar [...]

American Journal of Lifestyle Medicine

Select article: A METHODOLOGY FOR CONSTRUCTING LOGIC PROGRAMS

Retricted access

Research article

First published 1997-2

A METHODOLOGY FOR CONSTRUCTING LOGIC PROGRAMS

Francis Alexandre, Khaled Bsaïes

Fundamenta Informaticae

Select article: The Impact of seq on Free Theorems-Based Program Transformations

Retricted access

Research article

First published 2006-1

The Impact of seq on Free Theorems-Based Program Transformations

Patricia Johann, Janis Voigtländer

Fundamenta Informaticae

Select article: EFAM: A FORTRAN IV Program for Correlation Coefficients between Variables of more than One Scale Type

Retricted access

Research article

First published 1983-09

EFAM: A FORTRAN IV Program for Correlation Coefficients between Variables of more than One Scale Type

Bengt Dahlqvist, Jan Vegelius

Educational and Psychological Measurement

Select article: A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs

Retricted access

Research article

First published 2006-9

A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs

Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis

Fundamenta Informaticae

Select article: Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms

Retricted access

Research article

First published 2020

Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms

Paul Tarau

Fundamenta Informaticae

Select article: Abstraction and Control for Shapely Nested Graph Transformation

Retricted access

Research article

First published 2003-10

Abstraction and Control for Shapely Nested Graph Transformation

Berthold Hoffmann

Fundamenta Informaticae

Select article: Sixteen Computer Programs for Statistical and Psychometric Transformations

Retricted access

Research article

First published 1994-03

Sixteen Computer Programs for Statistical and Psychometric Transformations

Lewis R. Aiken

Educational and Psychological Measurement

1
2
3
•••
29
10 / page

Article type

Publication date

Subjects

Access