Results 291 to 300 of about 682,366 (313)
Some of the next articles are maybe not open access.
Domain Specific Program Synthesis
2021 Asian Conference on Innovation in Technology (ASIANCON), 2021Program Synthesis refers to the task of constructing a program in a specific programming language, given its intent in a particular format. This emerging field can be applied in diverse domains and is currently being investigated with different techniques.
P Archana +4 more
openaire +1 more source
1990
A system is presented which supports the programming with VDM domains in ordinary programming languages. The domain constructors of the formal software development method VDM can be seen as generic abstract data types. For these ADTs different implementations are collected in a database.
Uwe Schmidt, Hans-Martin Hörcher
openaire +1 more source
A system is presented which supports the programming with VDM domains in ordinary programming languages. The domain constructors of the formal software development method VDM can be seen as generic abstract data types. For these ADTs different implementations are collected in a database.
Uwe Schmidt, Hans-Martin Hörcher
openaire +1 more source
Domain decomposition and skeleton programming with OCamlP3l
Parallel Computing, 2006Domain decomposition methods are numerically efficient for the simulation of large scale phenomena; in addition, these algorithms are naturally parallel and feature a good localization of data. Skeleton programming is a high level method for specifying the parallel structure of a program.
Clément, François +4 more
openaire +2 more sources
Combinations of abstract domains for logic programming
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94, 1994Abstract interpretation [7] is a systematic methodology to design static program analysis which has been studied extensively in the logic programming community, because of the potential for optimizations in logic programming compilers and the sophistication of the analyses which require conceptual support.
CORTESI, Agostino +2 more
openaire +2 more sources
A Domain Strategy for Computer Program Testing
IEEE Transactions on Software Engineering, 1980This paper presents a testing strategy desiged to detect errors in the control flow of a computer program, and the conditions under which this strategy is reliable are given and characterized. The control flow statements in a computer progam partition the input space into a set of mutually exclusive domains, each of which corresponds to a particular ...
White, Lee J., Cohen, Edward I.
openaire +1 more source
Logic Programming in Knowledge Domains
2006We propose an approach to combining logic programming and knowledge representation paradigms. This approach is based on the conception of description terms. LP and KR are integrated in such a way that their underlying logics are carefully separated. A core idea here is to push the KR techniques on the functional level.
Andrei Mantsivoda +2 more
openaire +1 more source
Time domain electromagnetic transients programs
2000 Power Engineering Society Summer Meeting (Cat. No.00CH37134), 2002Several tools have been used over the years to analyze electromagnetic transients in power systems. The digital computer is the most popular tool, although TNAs and the new generation of real-time digital systems are also used, mainly in applications for which either a very high-speed or a real-time simulation is required.
openaire +1 more source
Logic programming with recurrence domains
1991In this paper we present a formalism for finitely representing infinite sets of terms. This formalism, called ω-terms, enables us to reason finitely about certain recursive types. We present an extension of Horn logic programs, called ω-Prolog, which allows a finite schematization of infinitely many clauses via predicates with ω-terms as arguments.
Hong Chen, Jieh Hsiang
openaire +1 more source
Program for multi-domain symbolic analysis
2010 XIth International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Circuit Design (SM2ACD), 2010The paper deals with the implementation of multi-domain symbolic analysis in a new program, SAMD (Symbolic Analysis of Mechatronic Drives), developed with the emphasis on linearized hybrid systems combining classical electrical circuits, controllers, electro-mechanical converters and mechanical parts of electric drives.
Zdenek Kolka +3 more
openaire +1 more source
The Domain-Specific Software Architecture Program
1992Abstract : The DARPA Domain Specific Software Architecture Program (DSSA) is a five-year effort that has been active since July 1991. This document contains an overview of the work being done in the program as of July 1992. Software architectures serve as frameworks for software reuse.
Marc H. Graham, Erik Mettala
openaire +1 more source