Search results
From MaRDI portal
- 2006-01-03 Paper Program Development in Computational Logic 2005-12-23 Paper Program Development in Computational Logic 2005-12-23 Paper Optimizing compilation...10 bytes (23 words) - 00:56, 10 December 2023
- de/entity/Q4134930 1975-01-01 Paper An experiment on program development 1972-01-01 Paper Programming by action clusters 1969-01-01 Paper Features of the...10 bytes (17 words) - 09:02, 12 December 2023
- Approach to Program Testing 1987-01-01 Paper On Transforming Control Structures 1982-01-01 Paper A note concerning top down program development and restricted...10 bytes (18 words) - 11:30, 12 December 2023
- 2007-09-25 Paper Program Development in Computational Logic 2005-12-23 Paper Integrated program debugging, verification, and optimization using abstract interpretation...10 bytes (16 words) - 14:55, 28 January 2024
- Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension 2000-04-27 Paper...10 bytes (17 words) - 21:22, 12 December 2023
- Logic Program Refinement 2013-07-24 Paper Refinement of Higher-Order Logic Programs 2011-03-04 Paper Calculating modules in contextual logic program refinement...10 bytes (18 words) - 18:04, 9 December 2023
- Systematic program development 1988-01-01 Paper Derivation of Sorting Algorithms from a Specification 1987-01-01 Paper Program development by inductive...10 bytes (18 words) - 12:17, 28 January 2024
- 2007-09-06 Paper Program Development in Computational Logic 2005-12-23 Paper https://portal.mardi4nfdi.de/entity/Q4417568 2003-07-29 Paper Logic program synthesis...10 bytes (18 words) - 01:05, 13 December 2023
- matching algorithms 1992-06-28 Paper Recursion As an Effective Step in Program Development 1984-01-01 Paper A divide-and-conquer approach to general context-free...10 bytes (17 words) - 17:22, 12 December 2023
- Logic Program Execution Time Estimation 2008-03-11 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development in Computational...10 bytes (16 words) - 02:49, 12 December 2023
- examples 1981-01-01 Paper Derivation of Invariant Assertions During Program Development by Transformation 1980-01-01 Paper...10 bytes (19 words) - 08:57, 12 December 2023
- 2010-11-30 Paper Program Development in Computational Logic 2005-12-23 Paper On modular termination proofs of general logic programs 2004-03-01 Paper https://portal...10 bytes (16 words) - 13:16, 12 December 2023
- Publication Date of Publication Type Program Development in Computational Logic 2005-12-23 Paper https://portal.mardi4nfdi.de/entity/Q2723926 2001-07-08...10 bytes (16 words) - 18:14, 6 October 2023
- of Publication Type Fortan DVM: A language for portable parallel program development 1998-11-23 Paper...10 bytes (18 words) - 13:21, 24 September 2023
- mardi4nfdi.de/entity/Q3862437 1980-01-01 Paper A note concerning top down program development and restricted exit control structures 1979-01-01 Paper https://portal...10 bytes (18 words) - 13:05, 12 December 2023
- transformations for program optimization 2020-01-21 Paper Theorem Proving in Higher Order Logics 2005-08-18 Paper Program development schemata as derived...10 bytes (16 words) - 18:41, 24 September 2023
- Publication Date of Publication Type Program Development in Computational Logic 2005-12-23 Paper Logic program synthesis as problem reduction using combining...10 bytes (16 words) - 20:30, 24 September 2023
- Type https://portal.mardi4nfdi.de/entity/Q5472914 2006-06-19 Paper Program Development in Computational Logic 2005-12-23 Paper...10 bytes (18 words) - 21:55, 27 December 2023
- Transforming Control Structures 1982-01-01 Paper A note concerning top down program development and restricted exit control structures 1979-01-01 Paper https://portal...10 bytes (16 words) - 12:16, 7 October 2023
- of Publication Type Fortan DVM: A language for portable parallel program development 1998-11-23 Paper Controlled virtual memory 1977-01-01 Paper...10 bytes (18 words) - 10:14, 24 September 2023
