Buscar
Mostrando ítems 1-10 de 2450
V: a language with extensible record accessors and a trait-based type system
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2018)
Hfusion : a fusion tool based on acid rain plus extensions
(UR. FI-INCO,, 2009)
When constructing programs, it is a usual practice to compose algorithms that solve simpler problems to solve a more complex one. This principle adapts so well to software development because it provides a structure to ...
A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
(UR. FI-INCO,, 1995)
We present an experiment in formally describing a programming language and its properties in constructive type theory. By constructive type theory we understand primarily the formulation of Martin Löf's set theory. ...
ASYNCRFJ: uma abordagem assíncrona à programação orientada a objeto reativa
(Universidade Federal de Santa MariaBrasilCiência da ComputaçãoUFSMPrograma de Pós-Graduação em Ciência da ComputaçãoCentro de Tecnologia, 2018-07-13)
The presence of reactive programming has been more common in current systems, one
of the highlights of its use is the management of input data streams. In the reactive programming
paradigm, a new value for the input ...
Heuristics Applied to Mutation Testing in an Impure Functional Programming Language
(Science and Information OrganizationUK, 2019)
The task of elaborating accurate test suites for program
testing can be an extensive computational work. Mutation
testing is not immune to the problem of being a computational and time-consuming task so that it has found ...
Removing the veil: Developing critical reading skills through Systemic Functional Linguistics.
(Fundación Universidad del Norte, 2013)
EGCL: an extended G-Code Language with flow control, functions and mnemonic variables
(World Academy of Science, Engineering and Technology (WASET), 2012)
In the context of computer numerical control (CNC) and computer aided manufacturing (CAM), the capabilities of programming languages such as symbolic and intuitive programming, program portability and geometrical portfolio ...
Exploração da linguagem Rust para o desenvolvimento de um path tracer paralelo
(Universidade Federal de Santa MariaBrasilUFSMCentro de Tecnologia, 2014-12-02)
Computational generation of images is a technology in use for a multitude of applications.
Traditionally, languages such as C++ have been used to write systems for these kinds tasks. Rust,
a new systems programming ...