Sage Journals: Discover world-class research

1-10 of 801 results for properties of programming models

Sort by:

Relevance

Select allExport selected citations

Sort by:

Relevance

Retricted access

Research article

First published 2009-11

Programmability Issues

Barbara Chapman, Jesús Labarta, Vivek Sarkar [...]

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 1977-8

Investigations of properties of programs by means of the extended algorithmic logic I

Lech Banachowski

Fundamenta Informaticae

Retricted access

Research article

First published 1977-8

A natural method of proving properties of programs

Jozef Winkowski

Fundamenta Informaticae

Retricted access

Research article

First published 1989-9

Endogenizing the Rise and Fall of Urban Subcenters via Discrete Programming Models

P Gordon, J E Moore

Environment and Planning A: Economy and Space

Retricted access

Research article

First published 1977-8

An algebraic approach to the theory of recursive coroutines

Ryszard Janicki

Fundamenta Informaticae

Retricted access

Research article

First published 2020-7

Coupling data science with community crowdsourcing for urban renewal policy analysis: An evaluation of Atlanta’s Anti-Displacement Tax Fund

Jeremy Auerbach, Christopher Blackburn, Hayley Barton [...]

Environment and Planning B: Urban Analytics and City Science

Retricted access

Research article

First published 2016-11

An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements

Vladislav Podymov

Fundamenta Informaticae

Free access

Research article

First published 1996

Logic Programming from the Perspective of Algebraic Semantics

Jan A. Plaza

Fundamenta Informaticae

Retricted access

Research article

First published 2002

UPSILON: Universal Programming System with Incomplete Lazy Object Notation

Brian Postow, Kenneth Regan, Carl H. Smith

Fundamenta Informaticae

Retricted access

Research article

First published 1994-02

The Bilevel Reticular Action Model for Path Analysis with Latent Variables

RODERICK P. McDONALD

Sociological Methods & Research

Search results