Results 11 to 20 of about 45,469 (261)
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 This paper presents the derivation of an executable Krivine abstract machine from a small step interpreter for the simply typed lambda calculus in the dependently typed programming language Agda.
Wouter Swierstra
doaj +1 more source
‘Transforma zdaniowa’ – próba interpretacji
LingVaria, 2018 ‘Sentential Transform’ / ‘Transformed (Reduced) Sentence’ – an Attempt at Interpretation The author analyses a series of Polish sentences, including those utterances which grammatically do not belong to the basic structures of their respective sentences.
Zuzanna Topolińska
doaj +1 more source
Cadernos de Estudos Lingüísticos, 2011 The possibility of a minimalist derivation being equated with on-line computation is caused into question. Formal solutions are explored, in the context of an Integrated Model of Linguistic Competence, for solving the problems that such an equation ...
Letícia Maria Sicuro Corrêa +1 more
doaj +1 more source
Derivation of the Schrödinger equation I: the characteristic function [PDF]
Revista Brasileira de Ensino de FísicaIn this paper, we present a mathematical derivation of the Schrödinger equation departing from only two axioms. We also show that, using this formal derivation process, it is possible to directly derive the Schrödinger equation in generalized curvilinear
Olavo Leopoldino Silva Filho +1 more
doaj +1 more source
Partial Derivative Automata Formalized in Coq [PDF]
, 2011 In this paper we present a computer assisted proof of the correctness of a partial derivative automata construction from a regular expression within the Coq proof assistant. This proof is part of a formalization of Kleene algebra and regular languages in Coq towards their usage in program certification.
José Bacelar Almeida +3 more
openaire +4 more sources
Formal Derivation of Concurrent Garbage Collectors [PDF]
, 2010 38 pages, 21 figures.
Dusko Pavlovic +2 more
openaire +5 more sources
Formalna analiza albańskich derywatów przymiotnikowych
Slavia Meridionalis, 2015 Formal Analysis of Albanian Adjectival Derivatives The paper presents a formal analysis of Albanian adjectival derivatives, carried out in accordance with the proposal of a formal description of word formation (part of methodology presented in ...
Artur Karasiński
doaj +1 more source
Formal derivation of a pattern matching algorithm
Science of Computer Programming, 1989 The functional version of the Knuth-Morris-Pratt pattern matching algorithm is formally derived using the Bird's calculus of lists. The derivation process is thoroughly explained, various solving strategies are discussed, the paper is self-contained.
Bird, R, Gibbons, J, Jones, G
openaire +3 more sources
Some consequence relations on propositional formulas [PDF]
Serbian Journal of Electrical Engineering, 2011 Consequence relations on propositional formulas are binary relations on propositional formulas that represent certain types of entailment - formal or semi-formal derivation of conclusion from a certain set of premises.
Borovčanin Momčilo
doaj +1 more source
IEEE AccessA power distribution system is usually composed of a number of distribution substations and distribution lines, where the latter are fragile and often suffer from faults, leading to serious local power shortages.
Zhongyuan Jiang, Huan Wang, Wenjie Wang
doaj +1 more source