Cerca risorse accademiche

The operational semantics of defeasible logic programming (justification process) is based on a dialectical analysis of arguments and counterarguments. In [Abramsky, 1997] and [Abramsky(b), 1997], a game semantics is in...

This paper describes an exercise in generic data normalization theory using a data reification calculus base on the categorial approach to datatypes. We develop a relational data model in a functional language and then ...

Parsing combinators are a well known technique to the functional programming com munity Several de nitions of them were proposed and each one has its own advantages From the programmer point of view this wide range ...

Since the rst programming language taught to students of the faculty of Applied Sciences is Scheme We brie y describe our preference for Scheme and give an overview of the course The controversial language choice in...

An important challenge when studying the semantics2 of programming languages is understanding the way syntactical constructions in high-level programming languages produce algorithms that are bound to the underlying virt...

The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas. This fact has made evident the need of t...

In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for ...

Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a def...

The purpose of this paper is to present the lndex Utility and the lndex Based Projection of the HyperPro System. HyperPro is a hypertext tool that offers a way to handle two basic aspects: Constraint Logic Programming (C...

Since the early stages of parallel computing, one of the most common solutions to in troduce parallelism has been to extend a sequential language with some sort of parallel version of the for construct, commonly denoted ...

Many parallel applications do not completely fit into the data parallel model. Although these applications contain data parallelism, task parallelism is needed to represent the natural computation structure or enhance pe...

When IBM's John Backus first developed the Fortran programming language, back in 1957, he certainly never dreamt that it would become a world-wide success and still be going strong many years later. Given the oft-repeate...

Many aspects of data processing are functional in nature and can take advantage of recent developments in the area of functional programming and calculi. The work described in this paper is an attempt to contribute to t...

Dispositivos adaptativos apresentam a característica de se modificarem dinamicamente em resposta a estímulos de entrada, sem interferência de agentes externos. Eventuais necessidades de modificação de comportamento ...

Este trabalho estuda as várias formas de integração do paralelismo E e do paralelismo OU na Programação em Lógica. O trabalho engloba os principais sistemas, a saber: ANDORRA-I, ACE, ROPM e IDIOM. Ao final, é feit...

Um dispositivo adaptativo é constituído por um dispositivo subjacente (geralmente não adaptativo), por exemplo, um autômato, uma gramática, etc., no qual se adiciona um mecanismo adaptativo que é responsável pela ...

Visual DaVinci is a visual programming language whose purpose is programming learning. The development environment allows the implementation, execution and debugging of the algorithms specified with the mentioned langua...

FOUNDATIONS. The Scope of Integer and Combinatorial Optimization. Linear Programming. Graphs and Networks. Polyhedral Theory. Computational Complexity. Polynomial-Time Algorithms for Linear Programming. Integer Lattices....

A nonlinear (nonconvex) programming model provides a new definition of efficiency for use in evaluating activities of not-for-profit entities participating in public programs. A scalar measure of the efficiency of each p...

In management contexts, mathematical programming is usually used to evaluate a collection of possible alternative courses of action en route to selecting one which is best. In this capacity, mathematical programming serv...

Data parallelislm is one of the more successful efforts to introduce explicit parallelism to high level programming languages. This approach is taken because many useful computations can be framed in term of a set of ind...

In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting conclusions. A conclusion q will be considered valid only when the argument that supports it become a justification. Buil...

The paper presents a tool that aid to implement applications that using more than one programming language. These applications are named multilanguages and when the composed languages represent different paradigms also a...

Materie / parole chiave: Programming languages (Electronic computers); R (Computer program language); Statistics; Data processing; Electronic books