Bibliografie tematiche / Declarative programming / Tesi
Segui questo link per vedere altri tipi di pubblicazioni sul tema: Declarative programming.

Tesi sul tema "Declarative programming"

Autore: Grafiati
Pubblicato: 4 giugno 2021
Ultima modifica: 25 luglio 2025

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Declarative programming".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.

1

Clare, A. R. "Evaluating declarative programming." Thesis, University of East Anglia, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235233.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Milicevic, Aleksandar Ph D. Massachusetts Institute of Technology. "Advancing declarative programming." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/99835.

Testo completo
Abstract (sommario):
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 141-153).<br>This thesis attempts to unite and consolidate two large and often culturally disjoint programming paradigms: declarative (focusing on specifying what a program is supposed to do, e.g., shuffle an array so that its elements are ordered) and imperative (detailing how the program intention is to be implemented, e.g., by applying the QuickSort algorithm). The ultimate result of suc
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Chronaki, Catherine Eleftherios. "Parallelism in declarative languages /." Online version of thesis, 1990. http://hdl.handle.net/1850/10793.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Taylor, Frank Stephen. "Parallel functional programming by declarative partitioning." Thesis, Imperial College London, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.264268.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Bowers, Antony Francis. "Effective meta-programming in declarative languages." Thesis, University of Bristol, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263891.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Belaid, Mohamed-Bachir. "Declarative Itemset Mining Based on Constraint Programming." Thesis, Montpellier, 2020. http://www.theses.fr/2020MONTS004.

Testo completo
Abstract (sommario):
La fouille de données est l'art de découvrir des informations à partir de bases de données.L'utilisateur spécifie le type de motifs à extraire et le spécialiste utilise des techniques pour trouver les motifs requis.De nombreuses techniques ont été introduites pour l'extraction des motifs classiques tels que les motifs fréquents, les règles d'association, etc.Cependant, l'extraction des motifs avec des propriétés supplémentaires restent un problème pour les spécialistes car des efforts algorithmiques sont requises pour gérer ces propriétés.Récemment, les chercheurs ont profité de la flexibilité
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Seres, Silvija. "The algebra of logic programming." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365466.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Hanus, Michael, and Sven Koschnicke. "An ER-based framework for declarative web programming." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4144/.

Testo completo
Abstract (sommario):
We describe a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational database is often specified as an entity-relationship (ER) model, we propose to use the ER model to generate a complete implementation in the declarative programming language Curry. This implementation contains operations to create and manipulate entities of the data model, supports authentication, authorization, session handling, and the composition of individual operations to user processes. Furthermore and most important, th
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Machado, Rui Mário da Silva. "Massivel y parallel declarative computational models." Doctoral thesis, Universidade de Évora, 2013. http://hdl.handle.net/10174/12063.

Testo completo
Abstract (sommario):
Current computer archictectures are parallel, with an increasing number of processors. Parallel programming is an error-prone task and declarative models such as those based on constraints relieve the programmer from some of its difficult aspects, because they abstract control away. In this work we study and develop techniques for declarative computational models based on constraints using GPI, aiming at large scale parallel execution. The main contributions of this work are: A GPI implementation of a scalable dynamic load balancing scheme based on work stealing, suitable for tree shaped compu
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Fink, Michael [Verfasser]. "Declarative Logic-Programming Components for Information Agents / Michael Fink." Hamburg : Diplom.de, 2002. http://d-nb.info/1184904553/34.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
11

Wallis, Steven Kim. "Declarative integration of object-oriented programming and knowledge representation." Thesis, University of Manchester, 1991. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.654977.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
12

Nordström, Didrik. "Declarative modelling of parameter setting." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-171087.

Testo completo
Abstract (sommario):
The parameter setting problem is part of a complex, automated process for customizing Scania's products; primarily trucks and buses. The problem is modelled as a stateless, acyclic graph of pure functions and variables. A subset of a deterministic, concurrent, demand-driven, declarative programming model is implemented under the Microsoft .NET framework. The implementation is evaluated based on suitability for solving the parameter setting problem, computational performance and general applicability within the organization. It is concluded that the model reduces the complexity of the parameter
Gli stili APA, Harvard, Vancouver, ISO e altri
13

Calhau, João Pedro Figueira Galhardo. "Digital forensics research using constraint programming." Master's thesis, Universidade de Évora, 2018. http://hdl.handle.net/10174/24257.

Testo completo
Abstract (sommario):
In this dissertation we present a new and innovative approach to Digital Forensics analysis, based on Declarative Programming approaches, more specifically Constraint Programming methodologies, to describe and solve Digital Forensics problems. With this approach we allow for an intuitive, descriptive and more efficient method to analyze digital equipment data. The work described herein enables the description of a Digital Forensics Problem (DFP) as a Constraint Satisfaction Problem (CSP) and, with the help of a CSP solver, reach a solution to such problem, if it exists, which can be a set of e
Gli stili APA, Harvard, Vancouver, ISO e altri
14

Singhi, Soumya. "Computing stable models of logic programs." Lexington, Ky. : [University of Kentucky Libraries], 2003. http://lib.uky.edu/ETD/ukycosc2003t00117/SSThesis.pdf.

Testo completo
Abstract (sommario):
Thesis (M.S.)--University of Kentucky, 2003.<br>Title from document title page (viewed June 21, 2004). Document formatted into pages; contains viii, 55 p. : ill. Includes abstract and vita. Includes bibliographical references (p. 52-54).
Gli stili APA, Harvard, Vancouver, ISO e altri
15

Ramos, Adolfo J. Socorro. "Design, implementation and evaluation of a declarative object-oriented programming language." Thesis, University of Oxford, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.335807.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
16

Lin, Dianhuan. "Logic programs as declarative and procedural bias in inductive logic programming." Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/24553.

Testo completo
Abstract (sommario):
Machine Learning is necessary for the development of Artificial Intelligence, as pointed out by Turing in his 1950 article ``Computing Machinery and Intelligence''. It is in the same article that Turing suggested the use of computational logic and background knowledge for learning. This thesis follows a logic-based machine learning approach called Inductive Logic Programming (ILP), which is advantageous over other machine learning approaches in terms of relational learning and utilising background knowledge. ILP uses logic programs as a uniform representation for hypothesis, background knowled
Gli stili APA, Harvard, Vancouver, ISO e altri
17

Zoffoli, Alessandro. "Applying the reactive programming paradigm: Toward a more declarative application development approach." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/9021/.

Testo completo
Abstract (sommario):
After almost 10 years from “The Free Lunch Is Over” article, where the need to parallelize programs started to be a real and mainstream issue, a lot of stuffs did happened: • Processor manufacturers are reaching the physical limits with most of their approaches to boosting CPU performance, and are instead turning to hyperthreading and multicore architectures; • Applications are increasingly need to support concurrency; • Programming languages and systems are increasingly forced to deal well with concurrency. This thesis is an attempt to propose an overview of a paradigm that aims to pro
Gli stili APA, Harvard, Vancouver, ISO e altri
18

Dirska, Henry. "A Declarative Rules API for Managing Adaptation Relationships in Context-Oriented Programming." NSUWorks, 2012. http://nsuworks.nova.edu/gscis_etd/135.

Testo completo
Abstract (sommario):
Context-aware computing requires software that can adapt to changes in context. When contextual circumstances trigger multiple adaptations, software must also understand the relationships between these adaptations and react according to the rules governing these relationships. Adaptable software needs a means to establish and interpret these rules in order to avoid any undesirable and potentially catastrophic conflicts. This dissertation designs and implements the Adaptation Rules Management API (ArmAPI). ArmAPI has been demonstrated to work with a Context-Oriented Programming variation for Ja
Gli stili APA, Harvard, Vancouver, ISO e altri
19

Zetterström, Andreas. "Visual Compositional-Relational Programming." Thesis, Uppsala University, Computer Systems Sciences, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-126895.

Testo completo
Abstract (sommario):
<p>In an ever faster changing environment, software developers not only need agile methods, but also agile programming paradigms and tools. A paradigm shift towards declarative programming has begun; a clear indication of this is Microsoft's substantial investment in functional programming. Moreover, several attempts have been made to enable visual programming. We believe that software development is ready for a new paradigm which goes beyond any existing declarative paradigm: visual compositional-relational programming. Compositional-relational programming (CRP) is a purely declarative paradi
Gli stili APA, Harvard, Vancouver, ISO e altri
20

Bunus, Peter. "Debugging and Structural Analysis of Declarative Equation-Based Languages." Licentiate thesis, Linköping : Univ, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5727.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
21

East, Deborah Jeanine. "Datalog with constraints a new answer-set programming formalism /." Lexington, Ky. : [University of Kentucky Libraries], 2001. http://lib.uky.edu/ETD/ukycosc2001d00017/deast-06-01.pdf.

Testo completo
Abstract (sommario):
Thesis (Ph. D.)--University of Kentucky, 2001.<br>Title from document title page. Document formatted into pages; contains vii, 75 p. : ill. Includes abstract. Includes bibliographical references (p. 70-72).
Gli stili APA, Harvard, Vancouver, ISO e altri
22

Gopal, Sriram. "An Extensible Framework for Annotation-based Parameter Passing in Distributed Object Systems." Thesis, Virginia Tech, 2008. http://hdl.handle.net/10919/33742.

Testo completo
Abstract (sommario):
Modern distributed object systems pass remote parameters based on their runtime type. This design choice limits the expressiveness, readability, and maintainability of distributed applications. While a rich body of research is concerned with middleware extensibility, modern distributed object systems do not offer programming facilities to extend their remote parameter passing semantics. Thus, extending these semantics requires understanding and modifying the underlying middleware implementation. This thesis addresses these design shortcomings by presenting (i) a declarative and extensibl
Gli stili APA, Harvard, Vancouver, ISO e altri
23

Vasilopoulos, Ioannis Vasileiou. "The design, development and evaluation of a visual programming tool for novice programmers : psychological and pedagogical effects of introductory programming tools on programming knowledge of Greek students." Thesis, Teesside University, 2014. http://hdl.handle.net/10149/347149.

Testo completo
Abstract (sommario):
This thesis reports a research project that aims to improve the teaching and learning of introductory programming from a pedagogical and psychological viewpoint. Towards this aim, seven principles for designing educational programming tools for novices were identified by reviewing literature regarding novices’ difficulties and using a theoretical framework defined by the psychological theories of Constructivism and Cognitive Load Theory. This set of design principles was not only theoretically identified, but its pedagogical impact was also empirically tested. For this reason, Koios, a new pro
Gli stili APA, Harvard, Vancouver, ISO e altri
24

Davies, Kevin L. "Declarative modeling of coupled advection and diffusion as applied to fuel cells." Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/51814.

Testo completo
Abstract (sommario):
The goal of this research is to realize the advantages of declarative modeling for complex physical systems that involve both advection and diffusion to varying degrees in multiple domains. This occurs, for example, in chemical devices such as fuel cells. The declarative or equation-based modeling approach can provide computational advantages and is compatible with physics-based, object-oriented representations. However, there is no generally accepted method of representing coupled advection and diffusion in a declarative modeling framework. This work develops, justifies, and implements
Gli stili APA, Harvard, Vancouver, ISO e altri
25

Peldžius, Stasys. "Universalus pertvarkų įrankis." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2010. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2009~D_20101125_190721-56089.

Testo completo
Abstract (sommario):
Vykstant nuolatiniam programų sistemų atnaujinimui, nuolatos reikia prižiūrėti, kad jos būtų kokybiškai projektuojamos ir programuojamos. Tačiau neišvengiamai atsiranda nekokybiško išeities teksto, arba atsiranda projektavimo trūkumų. Todėl yra svarbu mokėti ieškoti tokias problemas, ir jas ištaisyti. Šio darbo tikslas yra sukurti automatinio – universalaus įrankio modelį, kuris savarankiškai aptiktų pertvarkas, bei būtų nepriklausomas nuo konkrečios programavimo kalbos. Šiam tikslui pasiekti yra nagrinėjami mokslininkų siūlomi automatiškai aptinkantys pertvarkas metodai. Taip pat yra nagrinėj
Gli stili APA, Harvard, Vancouver, ISO e altri
26

Michel, Olivier. "There's Plenty of Room for Unconventional Programming Languages or Declarative Simulations of Dynamical Systems (with a Dynamical Structure)." Habilitation à diriger des recherches, Université d'Evry-Val d'Essonne, 2007. http://tel.archives-ouvertes.fr/tel-00305748.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
27

Mami, Imene. "A Declarative Approach to Modeling and Solving the View Selection Problem." Thesis, Montpellier 2, 2012. http://www.theses.fr/2012MON20194/document.

Testo completo
Abstract (sommario):
La matérialisation de vues est une technique très utilisée dans les systèmes de gestion bases de données ainsi que dans les entrepôts de données pour améliorer les performances des requêtes. Elle permet de réduire de manière considérable le temps de réponse des requêtes en pré-calculant des requêtes coûteuses et en stockant leurs résultats. De ce fait, l'exécution de certaines requêtes nécessite seulement un accès aux vues matérialisées au lieu des données sources. En contrepartie, la matérialisation entraîne un surcoût de maintenance des vues. En effet, les vues matérialisées doivent être mis
Gli stili APA, Harvard, Vancouver, ISO e altri
28

Song, Myoungkyu. "Supporting Effective Reuse and Safe Evolution in Metadata-Driven Software Development." Diss., Virginia Tech, 2013. http://hdl.handle.net/10919/19369.

Testo completo
Abstract (sommario):
In recent years, metadata-driven software development has gained prominence. In this implementation model, various application concerns are provided as third-party frameworks and libraries that the programmer configures through metadata, such as XML configuration files or Java annotations. Metadata-driven software development is a special case of declarative programming: metadata serves as a domain-specific language that the programmer uses to declare various concerns, whose implementation is provided by an elaborate ecosystem of libraries and frameworks that serve as pre-defined application b
Gli stili APA, Harvard, Vancouver, ISO e altri
29

Luo, Tong. "Towards Simpler Argument Binding : Knowledge Gathering by Mining Logic Program Repositories." Thesis, Uppsala universitet, Institutionen för informatik och media, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-296131.

Testo completo
Abstract (sommario):
The compositional relational programming (CRP) is a purely declarative and naturally compositional programming paradigm, but the low readability and some binding issues limit its use. The main purpose in this thesis is utilizing the common binding patterns identified from Prolog programs to improve current argument binding mechanism in CRP. In order to collect relevant Prolog rules and convert them to a measurable form, a data mining tool is built and applied to extract data from Prolog code repository. After the analysis, two kinds of patterns are identified respectively, based on the binding
Gli stili APA, Harvard, Vancouver, ISO e altri
30

Ahmad, Kassem Ahmad. "Programming Networks with Intensional Destinations." Phd thesis, INSA de Lyon, 2013. http://tel.archives-ouvertes.fr/tel-00908354.

Testo completo
Abstract (sommario):
La programmation distribuée est une tâche difficile. Elle a énormément gagné en importance avec le développement des réseaux qui supportent un nombre croissant exponentiellement d'applications. Les systèmes distribués fournissent des fonctionnalités assurées par les noeuds qui forment un réseau et échangent des données et services, éventuellement par le biais de messages. La provenance du service n'est souvent pas pertinente, alors que sa fiabilité est essentielle. Notre objectif est de fournir un nouveau modèle de communication qui permet de spécifier intentionnellement lequel service est dem
Gli stili APA, Harvard, Vancouver, ISO e altri
31

Dylus, Sandra [Verfasser], Michael [Akademischer Betreuer] Hanus, and Janis [Gutachter] Voigtländer. "Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning / Sandra Dylus ; Gutachter: Janis Voigtländer ; Betreuer: Michael Hanus." Kiel : Universitätsbibliothek Kiel, 2020. http://d-nb.info/1212434137/34.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
32

Nguyen, Thi Thanh Quynh. "A new approach for distributed programming in smart grids." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAT079.

Testo completo
Abstract (sommario):
Le principal défi du contrôle et de la gestion des réseaux électriques intelligents (Smartgrids) est la quantité de données à traiter. Les techniques classiques centralisées, même si elles offrent l’avantage de facilité de gestion par leur vision globale du réseau, ne supportent pas en pratique la croissance continue des volumes de données (bande passante limitée, goulot d’étranglement, quantité de calculs à assurer, etc.). Le passage à un contrôle et une gestion décentralisée (répartie), où le système est composé d’une multitude d’unités de calcul coopérantes, offre de très bonnes perspective
Gli stili APA, Harvard, Vancouver, ISO e altri
33

VIANA, Daniel Leite. "Uma linguagem de domínio específico para descrição e reconhecimento de gestos usando sensores de profundidade." Universidade Federal de Pernambuco, 2015. https://repositorio.ufpe.br/handle/123456789/15892.

Testo completo
Abstract (sommario):
Submitted by Haroudo Xavier Filho (haroudo.xavierfo@ufpe.br) on 2016-03-11T14:13:00Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao DANIEL LEITE VIANA.pdf: 4297126 bytes, checksum: fa862ba18fe815a710afe7b3e591cee8 (MD5)<br>Made available in DSpace on 2016-03-11T14:13:00Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao DANIEL LEITE VIANA.pdf: 4297126 bytes, checksum: fa862ba18fe815a710afe7b3e591cee8 (MD5) Previous issue date: 2015-08-10<br>Sistemas baseados em gestos v
Gli stili APA, Harvard, Vancouver, ISO e altri
34

Contreras, Ochando Lidia. "Towards Data Wrangling Automation through Dynamically-Selected Background Knowledge." Doctoral thesis, Universitat Politècnica de València, 2021. http://hdl.handle.net/10251/160724.

Testo completo
Abstract (sommario):
[ES] El proceso de ciencia de datos es esencial para extraer valor de los datos. Sin embargo, la parte más tediosa del proceso, la preparación de los datos, implica una serie de formateos, limpieza e identificación de problemas que principalmente son tareas manuales. La preparación de datos todavía se resiste a la automatización en parte porque el problema depende en gran medida de la información del dominio, que se convierte en un cuello de botella para los sistemas de última generación a medida que aumenta la diversidad de dominios, formatos y estructuras de los datos. En esta tesis nos e
Gli stili APA, Harvard, Vancouver, ISO e altri
35

Håkansson, Anne. "Graphic Representation and Visualisation as Modelling Support for the Knowledge Acquisition Process." Doctoral thesis, Uppsala University, Computer Science, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3812.

Testo completo
Abstract (sommario):
<p>The thesis describes steps taken towards using graphic representation and visual modelling support for the knowledge acquisition process in knowledge-based systems – a process commonly regarded as difficult. The performance of the systems depends on the quality of the embedded knowledge, which makes the knowledge acquisition phase particularly significant. During the acquisition phase, a main obstacle to proper extraction of information is the absence of effective modelling techniques.</p><p>The contributions of the thesis are: introducing a methodology for user-centred knowledge modelling,
Gli stili APA, Harvard, Vancouver, ISO e altri
36

Channac, Stéphance. "Conception et mise en oeuvre d'un système déclaratif de géométrie dynamique." Université Joseph Fourier (Grenoble), 1999. http://tel.archives-ouvertes.fr/tel-00004819.

Testo completo
Abstract (sommario):
Cette thèse a pour objet de montrer la faisabilité d'un système de "géométrie dynamique déclarative". Un tel système, GDRev (pour Géométrie Déclarative Réversible) a été conçu et réalisé, dans l'optique de l'enseignement de la géométrie. D'un point de vue conceptuel, GDRev repose sur la définition d'un langage logique, ELDL (pour Extented Logical Description Language), pour l'expression de spécifications de "figures" (l'objet mathématique sous-jacent à un dessin) : il intègre la possibilité de spécifications modulaires et récursives, via l'usage de "clauses". Au niveau dessin, GDRev est pourvu
Gli stili APA, Harvard, Vancouver, ISO e altri
37

Ahlert, Hubert. "Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1994. http://hdl.handle.net/10183/9006.

Testo completo
Abstract (sommario):
Esta tese de doutorado apresenta um modelo de especificação, textual e grafico, para sistemas transacionais em banco de dados (ER/T+) e, também, um modelo de implementação desta especificação. Sugere uma técnica de proceduralização de especificações declarativas, usando um grafo de dependencia de fluxos de dados para estabelecer a relação de precedecia entre os fluxos do diagrama da linguagem gráfica de especificação. Apresenta, também, os mecanismos de execução da linguagem de especificação proposta e as regras de mapeamento da linguagem de especificação, em seus aspectos estruturais (dados)
Gli stili APA, Harvard, Vancouver, ISO e altri
38

Rytych, Maxim. "Možnosti deklarativního programování v jazyku Java 8." Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-202113.

Testo completo
Abstract (sommario):
This paper concerns itself with possibilities of declarative programming in the new version of Java 8 language, specifically using elements adopted from the domain of functional programming languages: function as a value and lazy streams of data. The goal of this paper is to demonstrate possibilities of declarative programming using these elements, analyze its implementation and design own extensions. The contribution lies particularly in showing possibilities of the new elements, implementation analysis and design of a new functionality. The output can be used by a Czech reader, who is at lea
Gli stili APA, Harvard, Vancouver, ISO e altri
39

Kreuger, Per. "Computational Issues in Calculi of Partial Inductive Definitions." Doctoral thesis, Decisions, Networks and Analytics lab, 1995. http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-21196.

Testo completo
Abstract (sommario):
We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. Formal systems based on this notion can be used to generalize Horn-logic and naturally allow and suggest extensions which differ in interesting ways from generalizations based on first order predicate calculus. E.g. the notion of comp
Gli stili APA, Harvard, Vancouver, ISO e altri
40

Van, der Walt Paul. "A language-independent methodology for compiling declarations into open platform frameworks." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0288/document.

Testo completo
Abstract (sommario):
Dans le domaine des plates-formes ouvertes, l’utilisation des cadriciels (frameworks) enrichis par des déclarations pour exprimer les permissions de l’application est de plus en plus répandue. Ceci est une réaction logique au fait qu’il y a une explosion d’adoption des appareils embarqués et mobiles. Leur omniprésence dans notre vie quotidienne engendre des craintes liées à la sécurité et à la vie privée, car l’usager partage de plus en plus ses données et ressources privées avec des tiers qui développent des applications auxquelles on n’a pas de raison de faire confiance. Malheureusement, la
Gli stili APA, Harvard, Vancouver, ISO e altri
41

Yang, Dekun. "Investigation of a new integration test environment : Facilitating offline debugging of Hardware-in-the-Loop." Thesis, KTH, Radio Systems Laboratory (RS Lab), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-177199.

Testo completo
Abstract (sommario):
Advanced automatic testing is very important in development and research within the vehicle industry. Hardware-in-the-loop (HIL) systems give the ability to validate Electronic Control Units (ECUs) based on software simulation without gathering all of the physical hardware. This enables testing by providing inputs and examining the corresponding outputs of the ECUs in a simpler and safer way than in traditional physical testing. HIL offers the advantage that we can verify and validate the functions of ECUs prior to full-scale hardware production. On the contrary, because HIL systems are normal
Gli stili APA, Harvard, Vancouver, ISO e altri
42

Saldamli, Levon. "PDEModelica : a high-level language for modeling with partial differential equations /." Doctoral thesis, Linköping : Department of Computer and Information Science, Linköping University, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-7281.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
43

Ouali, Abdelkader. "Méthodes hybrides parallèles pour la résolution de problèmes d'optimisation combinatoire : application au clustering sous contraintes." Thesis, Normandie, 2017. http://www.theses.fr/2017NORMC215/document.

Testo completo
Abstract (sommario):
Les problèmes d’optimisation combinatoire sont devenus la cible de nombreuses recherches scientifiques pour leur importance dans la résolution de problèmes académiques et de problèmes réels rencontrés dans le domaine de l’ingénierie et dans l’industrie. La résolution de ces problèmes par des méthodes exactes ne peut être envisagée à cause des délais de traitement souvent exorbitants que nécessiteraient ces méthodes pour atteindre la (les) solution(s) optimale(s). Dans cette thèse, nous nous sommes intéressés au contexte algorithmique de résolution des problèmes combinatoires, et au contexte de
Gli stili APA, Harvard, Vancouver, ISO e altri
44

Carlson, Paul M. "Algorithm animation in a declarative visual programming language." Thesis, 1995. http://hdl.handle.net/1957/35252.

Testo completo
Abstract (sommario):
How might capabilities for algorithm animation be seamlessly integrated into a programming language that is both visual and declarative? Until now, visual programming language researchers have not attempted to answer that question, making the fruits of algorithm animation available only to users of textual programming languages. Users of visual programming languages (VPLs) have been deprived of the unique semantic insights algorithm animation offers, insights that would foster the understanding and debugging of visual programs. We have answered the question by seamlessly integrating algorithm
Gli stili APA, Harvard, Vancouver, ISO e altri
45

Erdem, Esra. "Theory and applications of answer set programming." Thesis, 2002. http://wwwlib.umi.com/cr/utexas/fullcit?p3101204.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
46

Djang, Rebecca W. (Rebecca Walpole). "Similarity inheritance : a model of inheritance for declarative visual programming languages." Thesis, 1998. http://hdl.handle.net/1957/33868.

Testo completo
Abstract (sommario):
Declarative visual programming languages (VPLs), including spreadsheets, make up a large portion of both research and commercial VPLs. Spreadsheets in particular enjoy a wide audience, including end users. Unfortunately, spreadsheets and most other declarative VPLs still suffer from some of the problems that have been solved in other languages, such as ad-hoc (cut-and-paste) reuse of code which has been remedied in object-oriented languages, for example, through the code-reuse mechanism of inheritance. We believe spreadsheets and other declarative VPLs can benefit from the addition of an inher
Gli stili APA, Harvard, Vancouver, ISO e altri
47

Wolf, Robert Pawel. "Declarative computer music programming: using Prolog to generate rule-based musical counterpoints." Thesis, 2015. http://hdl.handle.net/2440/96913.

Testo completo
Abstract (sommario):
This submission for the degree of Doctor of Philosophy at the Elder Conservatorium of Music, University of Adelaide, is presented as a conventional, text-based thesis, supported by computer code and audio files. The primary purpose of this research investigation in the field of Artificial Intelligence has been to test the capabilities of the declarative programming paradigm to generate musical counterpoints within the framework of a specially created expert system. The project has tested if such a contrapuntal expert system can evolve through a process of mutation of its own code and generate
Gli stili APA, Harvard, Vancouver, ISO e altri
48

Agrawal, Anurag. "The expressive power and declarative attributes of exception handling in Forms/3." Thesis, 1997. http://hdl.handle.net/1957/33734.

Testo completo
Abstract (sommario):
Exception handling is a programming language feature that can help increase the reliability of programs. However, not much work has been done on exception handling in visual programming languages. We present an approach for improving the exception handling mechanism in Forms/3, a declarative visual programming language based on the spreadsheet paradigm. We show how this approach can be added without sacrificing referential transparency and lazy evaluation in Forms/3. We then present a comparison of the Forms/3 exception handling mechanism with the mechanisms available in Java, C++, Prograph, H
Gli stili APA, Harvard, Vancouver, ISO e altri
49

Chen, Roger Ding-Fu. "Guarantees and requirements : implementation and complexity analysis of a new model of types for declarative visual programming languages." Thesis, 1999. http://hdl.handle.net/1957/33386.

Testo completo
Abstract (sommario):
Djang et al. [1998] introduced a new model of types for declarative visual programming languages (VPLs). Implicit static typing is used in their type model, in order to eliminate the programming mechanisms associated with type declarations, provide immediate visual feedback with respect to type errors and guarantee type safe programs. Their type model also evaluates types on a level of granularity that is finer than in previous approaches to types. Instead of evaluating types on the basis of abstract names, their model determines a set of operations that an object guarantees and compares this
Gli stili APA, Harvard, Vancouver, ISO e altri
50

Ferraris, Paolo 1972. "Expressiveness of answer set languages." Thesis, 2007. http://hdl.handle.net/2152/3210.

Testo completo
Abstract (sommario):
Answer set programming (ASP) is a form of declarative programming oriented towards difficult combinatorial search problems. It has been applied, for instance, to plan generation and product configuration problems in artificial intelligence and to graph-theoretic problems arising in VLSI design and in historical linguistics. Syntactically, ASP programs look like Prolog programs, but the computational mechanisms used in ASP are different: they are based on the ideas that have led to the development of fast satisfiability solvers for propositional logic. ASP is based on the answer set/stable mode
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi di altri tipi di fonti sul tema "Declarative programming":
Articoli di riviste Libri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia