Search results
From MaRDI portal
- commutative equivalence of program schemata 2001-01-28 Paper On the decidability of the equivalence problem for orthogonal sequential programs 2001-01-16 Paper On...10 bytes (18 words) - 11:15, 8 December 2023
- results in automatic transformations of shared memory parallel programs into sequential programs 2001-03-08 Paper...10 bytes (16 words) - 13:54, 24 September 2023
- Publication Type A profile-based tool for finding pipeline parallelism in sequential programs 2010-09-02 Paper...10 bytes (16 words) - 09:30, 7 October 2023
- Publication Date of Publication Type Parallelization of sequential programs: distribution of arrays among processors and structurization of communications...10 bytes (18 words) - 02:45, 7 October 2023
- narrowing-driven partial evaluation for inductively sequential programs 2015-01-06 Paper A vocabulary of program slicing-based techniques 2014-08-13 Paper Using...10 bytes (17 words) - 20:26, 11 December 2023
- Publication Type Fast narrowing-driven partial evaluation for inductively sequential programs 2015-01-06 Paper Ensuring the quasi-termination of needed narrowing...10 bytes (19 words) - 09:43, 6 October 2023
- interaction trees 2024-02-12 Paper Automated reasoning for probabilistic sequential programs with theorem proving 2023-03-30 Paper Compositional Assume-Guarantee...10 bytes (16 words) - 16:22, 24 September 2023
- Predicate abstraction of ANSI-C programs using SAT 2004-11-22 Paper Efficient verification of sequential and concurrent C programs 2004-11-22 Paper Static analysis...10 bytes (16 words) - 21:31, 22 September 2023
- Publication Date of Publication Type Analysis of sequential PROLOG programs 1986-01-01 Paper...10 bytes (16 words) - 02:48, 28 December 2023
- Publication Date of Publication Type Analysis of sequential PROLOG programs 1986-01-01 Paper...10 bytes (16 words) - 02:48, 28 December 2023
- Publication Date of Publication Type Analysis of sequential PROLOG programs 1986-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3731025 1986-01-01 Paper...10 bytes (16 words) - 02:48, 28 December 2023
- Publication Date of Publication Type Analysis of sequential PROLOG programs 1986-01-01 Paper...10 bytes (16 words) - 02:48, 28 December 2023
- Behavioural to Structural Properties of Programs with Procedures 2009-02-10 Paper Compositional verification of sequential programs with procedures 2008-08-14 Paper...10 bytes (16 words) - 03:21, 25 September 2023
- of Publication Type A globally convergent sequential linear programming algorithm for mathematical programs with linear complementarity constraints 2011-06-22...10 bytes (20 words) - 11:24, 7 October 2023
- inductively sequential programs 2015-01-06 Paper Lazy call-by-value evaluation 2014-07-21 Paper Fast offline partial evaluation of logic programs 2014-03-13...10 bytes (17 words) - 03:15, 25 September 2023
- de/entity/Q3048205 1979-01-01 Paper Models of sequential programs used to study functional equivalence of programs 1979-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3860818...10 bytes (19 words) - 12:32, 24 September 2023
- nonlinear second-order cone programs 2017-09-12 Paper A Sequential Convex Program Approach to an Inverse Linear Semidefinite Programming Problem 2016-09-16 Paper...10 bytes (17 words) - 01:01, 12 December 2023
- approach to mathematical programs with vanishing constraints 2019-02-14 Paper A new smoothing method for mathematical programs with complementarity constraints...10 bytes (17 words) - 22:36, 11 December 2023
- mathematical programs with vanishing constraints 2013-01-04 Paper A semismooth sequential quadratic programming method for lifted mathematical programs with vanishing...10 bytes (18 words) - 02:14, 25 September 2023
- Paper A Stabilized Sequential Quadratic Programming Method for Optimization Problems in Function Spaces 2023-07-24 Paper A revised sequential quadratic semidefinite...10 bytes (16 words) - 23:58, 24 September 2023
