Výsledky vyhľadávania - "Go Programming Language"

Creating an effective web solution for managing images and their versions Autor Zerec, Ivan, Babac, Marina Bagić

“…The aim of this paper is to describe the process of creating a web service and its client applications. One can combine them and create Flare application, an…”
Získať plný text

A static verification framework for message passing in Go using behavioural types Autor Lange, Julien, Ng, Nicholas, Toninho, Bernardo, Yoshida, Nobuko

“…The Go programming language has been heavily adopted in industry as a language that efficiently combines systems programming with concurrency. Go's concurrency…”
Získať plný text

K‐Go: An executable formal semantics of Go language in K framework Autor Zhao, Can, Liu, Qin, Hu, Zonghua, Yu, Ze, Wang, Dejun, Meng, Bo

“…Go is a relatively new programming language and has become one of the most important programming languages used widely in blockchain. A formal semantics plays…”
Získať plný text

Performance Analysis of Selected Programming Languages in the Context of Supporting Decision-Making Processes for Industry 4.0 Autor Dymora, Paweł, Paszkiewicz, Andrzej

“…This study analyzes the possibility of using Go (Golang) in the context of Java and Python in decision-making processes, with particular emphasis on their use…”
Získať plný text

Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language

Získať plný text

Escape from Escape Analysis of Golang Autor Wang, Cong, Zhang, Mingrui, Jiang, Yu, Zhang, Huafeng, Xing, Zhenchang, Gu, Ming

“…Escape analysis is widely used to determine the scope of variables, and is an effective way to optimize memory usage. However, the escape analysis algorithm…”
Získať plný text

Towards Understanding Bugs in Go Programming Language Autor Feng, Yaping, Wang, Ziyuan

“…Go programming language is a powerful tool for modern software development. Ensuring the correct functionality of language features is paramount for the…”
Získať plný text

Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild Autor Lauinger, Johannes, Baumgartner, Lars, Wickert, Anna-Katharina, Mezini, Mira

“…The Go programming language aims to provide memory and thread safety through measures such as automated memory management with garbage collection and a strict…”
Získať plný text

A lightweight edge computing platform designed on embeded system Autor Lin, Qin, Pan, Ling, Jia, Mingquan, Liu, Hongwei, Wu, Mingqin, Zhang, Hao, Zhong, Yu

“…Edge computing platform is a critical component to form next-generation intelligent equipment. In an effort to support new military and industrial applications…”
Získať plný text

Formal verification of concurrency in go Autor Prasertsang, Anuchit, Pradubsuwun, Denduang

“…Go is a programming language which is mainly designed for the concurrent programming. It supports concurrency derived from Hoare's Communicating Sequential…”
Získať plný text

A novel approach for web development: A schedule management system using GAE/Go Autor Togashi, Naohiro, Klyuev, Vitaly

“…In this paper, we discuss an approach used to develop a schedule management system which is manageable at low cost. It is designed using Google App Engine…”
Získať plný text