Results 241 to 250 of about 699 (280)
Some of the next articles are maybe not open access.
Interface compilation: steps toward compiling program interfaces as languages
IEEE Transactions on Software Engineering, 1999Interfaces-the collection of procedures and data structures that define a library, a subsystem, a module-are syntactically poor programming languages. They have state (defined both by the interface's data structures and internally), operations on this state (defined by the interface's procedures), and semantics associated with these operations. Given a
openaire +1 more source
Compiling residuation for a multiparadigm symbolic programming language
1996This paper describes a new compilation method for the residuation mechanism underlying a multiparadigm language. Furthermore, it proposes the constraint functional and functional logic paradigms for the programming language of symbolic computation systems.The integration of functional and logic programming for the programming language of the symbolic ...
Grigorios Grivas, Alexios Palinginis
openaire +1 more source
Programming language RIGAL as a compiler writing tool
ACM SIGPLAN Notices, 1990A new programming language for compiler writing is described briefly in this paper. The main data structures are atoms, lists and trees. The control structures are based on a advanced pattern matching. All phases of compilation, including parsing, optimization and code generation, can be programmed in this language in short and readable form.
openaire +1 more source
Challenges in the compilation of a domain specific language for dynamic programming
Proceedings of the 2006 ACM symposium on Applied computing, 2006Many combinatorial optimization problems in biosequence analysis are solved via dynamic programming. To increase programming productivity and program reliability, a domain specific language embedded in Haskell has been suggested. We point out several shortcomings of this approach, and report on some challenges in the (ongoing) project of migrating this
Giegerich, Robert, Steffen, Peter
openaire +2 more sources
2006
Programming language designers have always searched for programming languages and features that ease the programming process and improve programmer productivity. One promising approach is logic programming. Logic programming languages, such as Prolog, provide programmers with powerful techniques for writing programs quickly and easily.
Anderson Faustino da Silva +1 more
openaire +1 more source
Programming language designers have always searched for programming languages and features that ease the programming process and improve programmer productivity. One promising approach is logic programming. Logic programming languages, such as Prolog, provide programmers with powerful techniques for writing programs quickly and easily.
Anderson Faustino da Silva +1 more
openaire +1 more source
Automatic programming and compilers II
Proceedings of the 1962 ACM national conference on Digest of technical papers -, 1962FORAST is a programming language that has been implemented on BRLESC and ORDVAC. Designed for and used primarily by BRL's professional programmers, it is a problem-oriented language that is closer to a good machine language than most problem-oriented languages.
openaire +1 more source
Translation of artificial languages by compiler programs
Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery on - ACM '59, 1959This work was carried out primarily to investigate artificial languages from the standpoint of translation by machine. It was desired to learn what representations are necessary to make this task more easily accomplished. It was felt that this work would apply not only to translation of artificial languages but also to natural language translation by ...
openaire +1 more source
Compiled generics for functional programming languages
2014"We address the problem of extending existing functional language compilers to support generic programming constructs, such as those that arise in term rewriting and datatype generic programs. In particular, we present a compiler capable of compiling a wide range of generic programs in a way which substantially reduces the execution overhead ...
openaire +1 more source
Rigal — a programming language for compiler writing
2005A new programming language for compiler writing is described. The main data structures are atoms, lists and trees. The control structures are based on advanced pattern matching. All phases of compilation, including parsing, optimization and code generation, can be programmed in this language in short and readable form.
openaire +1 more source