Topics
programming languageLanguage
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification language, so its implementation involves the transformation of specifications to efficient algorithms. The language is described and the implementation task is discussed
this paper, from formal specifications one may obtain executable, efficient programs by using techni...
The refinement calculus provides a framework for the stepwise development of imperative programs fro...
AbstractWe present a Language Prototyping System that facilitates the modular development of interpr...
This report summarizes a PhD research effort to implement a type of logic programming language calle...
The expressive power of logic-programming languages allows utilization of conventional constructs i...
In this paper an attempt is made to explore the logical founda-tions of computer programming by use ...
In this paper an attempt is made to explore the logical founda-tions of computer programming by use ...
We present a recently started research project. The goal of the project is to integrate into one sys...
. This paper describes the efficient integration of the functional, logic and constraint paradigms i...
International audienceFormal systems that describe computations over syntactic structures occur freq...
Typescript.Thesis (Ph. D.)--University of Hawaii at Manoa, 1977.Bibliography: leaves 172-175.Microfi...
Logic programming is now firmly established as an alternative programming paradigm, distinct and arg...
The study deals with logic programming languages. The work is aimed at creation of semantics of logi...
Exploration of language specifications helps to discover errors and inconsistencies early during the...
Symbolic reasoning in a logical framework becomes more and more important for computer applications ...
this paper, from formal specifications one may obtain executable, efficient programs by using techni...
The refinement calculus provides a framework for the stepwise development of imperative programs fro...
AbstractWe present a Language Prototyping System that facilitates the modular development of interpr...
This report summarizes a PhD research effort to implement a type of logic programming language calle...
The expressive power of logic-programming languages allows utilization of conventional constructs i...
In this paper an attempt is made to explore the logical founda-tions of computer programming by use ...
In this paper an attempt is made to explore the logical founda-tions of computer programming by use ...
We present a recently started research project. The goal of the project is to integrate into one sys...
. This paper describes the efficient integration of the functional, logic and constraint paradigms i...
International audienceFormal systems that describe computations over syntactic structures occur freq...
Typescript.Thesis (Ph. D.)--University of Hawaii at Manoa, 1977.Bibliography: leaves 172-175.Microfi...
Logic programming is now firmly established as an alternative programming paradigm, distinct and arg...
The study deals with logic programming languages. The work is aimed at creation of semantics of logi...
Exploration of language specifications helps to discover errors and inconsistencies early during the...
Symbolic reasoning in a logical framework becomes more and more important for computer applications ...
this paper, from formal specifications one may obtain executable, efficient programs by using techni...
The refinement calculus provides a framework for the stepwise development of imperative programs fro...
AbstractWe present a Language Prototyping System that facilitates the modular development of interpr...
Add to ORKG