Searching for "Programming with Variable Functions." – sorted by Relevance.
-
Programming with Variable Functions
- Programming with Variable Functions Martin Odersky University of South Australia odersky
- Cited by 7 (0 self) – Add To MetaCart
-
Tense and the logic of change
- observed that we may go on treating states as primitive if we treat program variables as functions from
- Cited by 45 (6 self) – Add To MetaCart
-
Path Testing of Computer Programs with Loops using a Tool for Simple Loop Patterns
- linear functions in terms of the input variables. For the case of linear computer programs, a method
- Add To MetaCart
-
Support for Maintaining Object-Oriented Programs
- of the system. Understanding the relations between functions in a program, definitions and uses of variables
- Cited by 39 (5 self) – Add To MetaCart
-
Functional Language
- for program variables. These functions schedule the order in which computations of variables need to occur
- Add To MetaCart
-
A compiler for parallel Unity programs using OpenMp
- variables, an always section in which we can dene certain program variables as functions of other
- Add To MetaCart
-
Verbal Source Code Descriptor
- could be used when a program variable or function name is mentioned in a piece of documentation and a
- Add To MetaCart
-
2 Introduction to Dynamic C..........................3 2.1 The Nature of Dynamic C....................3
- expressions can be used to compute C expressions involving the target’s program variables or functions. Watch
- Add To MetaCart
-
Invariant synthesis for combined theories
- set of program variables and functions symbols. Let c range over the set of integer Invariant
- Cited by 6 (1 self) – Add To MetaCart
-
Linear Programming with Two Variables per Inequality in Poly-Log Time
- of values of , guaranteed to contain ,over which the current program variables are all linear functions
- Cited by 5 (3 self) – Add To MetaCart

