A Data Flow Language for Hybrid Query and Programming Languages

Author(s):  
Kristoffer H. Rose ◽  
Lionel Villard ◽  
Naoto Sato
2019 ◽  
Vol 14 (2) ◽  
Author(s):  
Daryono Daryono

ABSTRAKSI Pengembangan Sistem Informasi  Nilai Raport pada SMP Negeri 12 Surakarta. merupakan suatu sistem yang memberikan  informasi tentang Nilai Raport yang cepat dan akurat berbasis web lokal, sehingga membantu kecepatan  dan kualitas  dalam penyampaian  informasi. menu hanya  dapat  diakses  oleh  user  tertentu yaitu, Guru atau walikelas dan administrator.Pada hasil penelitian ini telah dikembangkan sebuah Sistem Informasi Nilai Raport pada SMP Negeri 12 Surakarta. Metode penelitian yang dilakukan penulis dalam penelitian ini terdiri dari Wawancara , Pengamatan (observasi), Studi pustaka, Pengumpulan data, Tahap analisa, Rancangan sistem, Pembuatan program, Uji coba, Tahap Uji Implementasi. Dimana  dalam  membangun sistem  ini  digunakan alat bantu pengembangan sistem yaitu Data Flow Diagram (DFD), Entity Relationship Diagram (ERD)dan  Flowchart  serta  dengan  menggunakan  bahasa  pemrograman  PHP  dan HTML  dan  MySQL  sebagai databasenya Sistem informasi sekolah berbasis web lokal ini dirancang sebagai solusi bagi pihak SMP Negeri 12 Surakarta, untuk Pengelolaan nilai raport, mulai dari mengentri, menyimpan, mengolah, dan mencetak nilai rapor.     Kata Kunci : Sistem Informasi, PHP, HTML.    ABSTRACT Development of Report Card Value Information Systems at Surakarta State Middle School 12. is a system that provides information about report cards that are fast and accurate based on local web, thus helping speed and quality in delivering information. the menu can only be accessed by certain users, namely, teacher and administrator.The results of this study have developed a Report Card Value Information System at Surakarta State Middle School 12. The research method used by the author in this study consisted of interviews, observations (observations), literature studies, data collection, analysis phase, system design, making programs, trials, implementation test stages. Where in building this system used system development tools namely Data Flow Diagrams (DFD), Entity Relationship Diagrams (ERD) and Flowcharts and by using the PHP and HTML programming languages and MySQL as the database This web-based local school information system is designed as a solution for parties SMP Negeri 12 Surakarta, for managing report card grades, ranging from entry, storing, processing, and printing report cards.   Keywords : Information System, PHP, HTML. 


The proposed system introduces an industrial surveillance system providing a secure data flow with privacy & authenticity in the domain of Automation. This system makes use of Raspberry Pi to provide automation in a workplace environment, utilizing the benefits of IoT. It is used in an industrial scenario for authenticating and monitoring entry and exit of employees, automatic turning ON/OFF of lights and temperature control. All operations are controlled by Raspberry Pi which also acts as the server. Programming languages used are Python & C. Entry and exit of employees are authenticated using Finger Print Scanner. All the information of an employee along with finger print template is already enrolled in database. So every time, the input from fingerprint sensor is authenticated with templates in database to provide access and store time logs. Similarly inputs from temperature sensor and LDR are accessed and sent to server for uninterrupted monitoring and safety services. MQTT protocol is used as the communication protocol for transferring data to IOT server.


2002 ◽  
Vol 12 (3) ◽  
pp. 183-227 ◽  
Author(s):  
J. B. WELLS ◽  
ALLYN DIMOCK ◽  
ROBERT MULLER ◽  
FRANKLYN TURBAK

We present λCIL, a typed λ-calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. The key innovation of λCIL is a novel formulation of intersection and union types and flow labels on both terms and types. These flow types can encode polyvariant control and data flow information within a polymorphically typed program representation. Flow types can guide a compiler in generating customized data representations in a strongly typed setting. Since λCIL enjoys confluence, standardization, and subject reduction properties, it is a valuable tool for reasoning about programs and program transformations.


2018 ◽  
Vol 27 (10) ◽  
pp. 1850162 ◽  
Author(s):  
Adam Milik

The paper presents a complete approach to the multithreaded execution of a control program prepared according to IEC61131-3 standard. The program is mapped to a dedicated multiple-core CPU unit. The CPU consists of multiple independent bit and word CPUs. The computation synchronization mechanism is based on memory cells with semaphored access, which enable hardware-level synchronization. The paper presents in detail the architecture, results of implementation and the achieved performance. The custom-developed compiler translates standard programming languages into a multithreaded executable form. It utilizes an original intermediate data flow graph to optimize and recognize program parallelisms. The program is automatically partitioned and mapped to the available computing resources. The paper is concluded with a performance comparison of program executions using the standard single-threaded and proposed approaches.


2018 ◽  
Vol 25 (4) ◽  
pp. 347-357
Author(s):  
Vladimir S. Vasilev ◽  
Alexander I. Legalov

The paper considers methods of program transformation equivalent to optimizing the cycle invariant, applied to the functional data-flow model implemented in the Pifagor programming language. Optimization of the cycle invariant in imperative programming languages is reduced to a displacement from the cycle of computations that do not depend on variables that are changes in the loop. A feature of the functional data flow parallel programming language Pifagor is the absence of explicitly specified cyclic computations (the loop operator). However, recurring calculations in this language can be specified recursively or by applying specific language constructs (parallel lists). Both mechanisms provide the possibility of parallel execution. In the case of optimizing a recursive function, repeated calculations are carried out into an auxiliary function, the main function performing only the calculation of the invariant. When optimizing the invariant in computations over parallel lists, the calculation of the invariant moves from the function that executes over the list items to the function containing the call. The paper provides a definition of ”invariant” applied to the Pifagor language, algorithms for its optimization, and examples of program source codes, their graph representations (the program dependence graph) before and after optimization. The algorithm shown for computations over parallel lists is applicable only to the Pifagor language, because it rests upon specific data structures and the computational model of this language. However, the algorithm for transforming recursive functions may be applied to other programming languages.


Sign in / Sign up

Export Citation Format

Share Document