24,652 Hits in 6.8 sec

A sufficiently smart compiler for procedural records

Andrew W. Keep, R. Kent Dybvig
2012 Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming - Scheme '12  
This paper describes an efficient run-time implementation of procedural record types, discusses its overhead, and describes a set of compiler optimizations that eliminate the overhead when record-type  ...  Many languages include a syntax for declaring programmerdefined structured data types, i.e., structs or records.  ...  This paper describes an efficient implementation of the procedural interface and a set of compiler optimizations that eliminate its inherent overhead when sufficient information about a record type can  ... 
doi:10.1145/2661103.2661107 dblp:conf/icfp/KeepD12 fatcat:lp3iltsnrffmlbqdpg3zarmare

Evaluation of Logic-Based Smart Contracts for Blockchain Systems [chapter]

Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor
2016 Lecture Notes in Computer Science  
While procedural languages are commonly used to program smart contracts in blockchain systems, logic-based languages may be interesting alternatives.  ...  These insights lead us to emphasize a fundamental challenge -algorithms for logic approaches have to be efficient, but they also need to be literally cheap as measured within the environment where they  ...  NICTA is funded by the Australian Government through the Dept of Communications and the Australian Research Council through the ICT Centre for Excellence Program.  ... 
doi:10.1007/978-3-319-42019-6_11 fatcat:7lojx6h7njcevdbjqanodbe2ui

Smarter recompilation

Robert W. Schwanke, Gail E. Kaiser
1988 ACM Transactions on Programming Languages and Systems  
Tichy's Smart Recompilation method can be made smarter by permitting benign type inconsistencies between separately compiled modules.  ...  We add a derived symbol record for each symbol definition or symbol reference that must be resolved by the linker.  ...  A derived symbol definition represents a procedure or a variable declared inside the file and accessible from other, separately compiled files.  ... 
doi:10.1145/48022.214505 fatcat:qu3t626eorfrdk6koqogonblpy

Declarative Smart Contracts [article]

Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, Boon Thau Loo
2022 arXiv   pre-print
We have developed a tool that can compile DeCon programs into executable Solidity programs, with instrumentation for run-time property monitoring.  ...  This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties.  ...  ERC721 ERC721 [27] is a smart contract standard for non-fungible tokens (NFTs).  ... 
arXiv:2207.13827v1 fatcat:22vihw22nbgjvdxzayn7uwe2ya

Prospects on data mining approach for pile geotechnical design utilizing CPT and CPTu records: Case study: AUT database [chapter]

A. Eslami, S. Heidarie Golafzani, S. Moshfeghi
2022 Cone Penetration Testing 2022  
After all, an algorithm is presented including a formulated procedure of pile geotechnical design by means of smart database collections, reproduction of CPT profile, assortment of competitive methods,  ...  A comprehensive database has been compiled including CPT soundings performed adjacent to pile load test and related geotechnical information, namely AUT (Amirkabir University of Technology): Geo-CPT&Pile  ...  geotechnical site investigation reports for the nearby projects or a by smart selection from CPT and pile databases.  ... 
doi:10.1201/9781003308829-137 fatcat:jd76ew52jzflpaods4bzxtlqum

Page 77 of Journal of Accountancy Vol. 94, Issue 1 [page]

1952 Journal of Accountancy  
Procedures for produc- tion control are probably less standardized than accounting records, or at least will appear so to the layman. Procedures will vary with the type of product made.  ...  Each instance could be the basis of a report to some interested executive. However, it is clear that in- formation can be available without neces- sarily compiling it into a report.  ... 

A Novel Decentralized E-Commerce Transaction System Based on Blockchain

Yuanyuan Xiao, Chuangming Zhou, Xinpeng Guo, Yafei Song, Chen Chen
2022 Applied Sciences  
To solve this problem, this paper proposes a blockchain-based decentralized e-commerce transaction system.  ...  The experimental results show that the system has a small communication cost, accurately reflects the user's reputation value, and has good availability and reliability.  ...  Smart contract compilation and testing: (a) Smart contract compilation tests; (b) Ganache simulates account token changes. Figure 5 . 5 Figure 5.  ... 
doi:10.3390/app12125770 fatcat:nvfm4iirxzdohnxc3yhi3noneu

Translation Certification for Smart Contracts [article]

Jacco O.G. Krijnen, Manuel M.T. Chakravarty, Gabriele Keller, Wouter Swierstra
2022 arXiv   pre-print
For a smart contract user to trust a given piece of low-level code on the blockchain, they must convince themselves that (a) they are in possession of the matching source code and (b) that the compiler  ...  We describe the proof architecture of a novel translation certification framework, implemented in Coq, for a functional smart contract language.  ...  Once we are sufficiently confident that a relation accurately captures admissible compiler behaviour, we write a decision procedure of the form forall (t1 t2 : Term), option (R t1 t2).  ... 
arXiv:2201.04919v2 fatcat:xfllurf6s5ebpnj6cdgsobaum4

Link-time smart card code hardening

Ronald De Keulenaer, Jonas Maebe, Koen De Bosschere, Bjorn De Sutter
2015 International Journal of Information Security  
This paper presents a feasibility study to protect smart card software against fault-injection attacks by means of link-time code rewriting.  ...  This approach avoids the drawbacks of source code hardening, avoids the need for manual assembly writing, and is applicable in conjunction with closed third-party compilers.  ...  This compiler is a centerpiece of Keil 10 , a development tool box that includes support for industrial smart card software development.  ... 
doi:10.1007/s10207-015-0282-0 fatcat:7odgrcqfpref7dagdnzwm4rfve

The Impact of Block Chain and Smart Inventory System on Supply Chain Performance at Retail Industry

Edward Probir Mondol
2021 International Journal of Computations, Information and Manufacturing (IJCIM)  
Blockchain is a trending topic and would be the most significant issue for all industries, manufacturing or services.  ...  A 202 valid questionnaires were used in the statistical process in order to find out the impact of blockchain technology and smart inventory on supply chain performance in retail industry.  ...  The inventory tracking system through smart inventory management procedures helps to business to locate their inventories in sufficient ways through tracking the filling record and your existing receipts  ... 
doi:10.54489/ijcim.v1i1.30 fatcat:5qykzqbtjjfzfbnriiu767bkc4

Extracting functional programs from Coq, in Coq [article]

Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
2021 arXiv   pre-print
Rust is currently gaining popularity as a language for smart contracts, and we demonstrate how our extraction can be used to extract smart contract code for the Concordium network.  ...  From the optimised λ^T_□ representation, we obtain code in two functional smart contract languages (Liquidity and CameLIGO), the functional language Elm, and a subset of the multi-paradigm language for  ...  That allows implementing a simple extraction procedure for Coq records as data types with one constructor and projections defined as functions that pattern-match on this constructor.  ... 
arXiv:2108.02995v1 fatcat:exagw24j2be6zpykh32due6laa

An overview on smart contracts: Challenges, advances and platforms

Zibin Zheng, Shaoan Xie, Hong-Ning Dai, Weili Chen, Xiangping Chen, Jian Weng, Muhammad Imran
2019 Future generations computer systems  
Although smart contracts are promising to drive the new wave of innovation in business processes, there are a number of challenges to be tackled.This paper presents a survey on smart contracts.  ...  We also compare typical smart contract platforms and give a categorization of smart contract applications along with some representative examples.  ...  in this paper was supported by the National Key Research and Development Program (2016-YFB1000101), the National Natural Science Foundation of China under (61472338) and the Fundamental Research Funds for  ... 
doi:10.1016/j.future.2019.12.019 fatcat:usxpqm6vpzhefekeeukbwj4sku

Analysis for sustainability in management of water scarce basins: the case of the Gediz River Basin in Turkey

Nilgun B. Harmancioglu, Kurt Fedra, Filiz Barbaros
2008 Desalination  
The outputs of OPTIMA, which are basically a continuation of SMART, are not covered herein as the optimization procedure within this project is still in the phase of development.  ...  The case is studied within the scope of two EU INCO projects: SMART (sustainable management of scarce resources in the coastal zone) and OPTIMA (optimization for sustainable water management), sponsored  ...  Another problem encountered is the lack of sufficient information on groundwater use; in general, data on groundwater use are not recorded but roughly estimated.  ... 
doi:10.1016/j.desal.2007.02.106 fatcat:gdtoavzfbbe23pmx7a3ndrl4zi

A Generalized Formal Semantic Framework for Smart Contracts [chapter]

Jiao Jiao, Shang-Wei Lin, Jun Sun
2020 Lecture Notes in Computer Science  
In this work, we propose a generalized formal semantic framework based on a general semantic model of smart contracts.  ...  There is a recent surge of interest in analyzing and verifying smart contracts.  ...  This procedure is the so-called mining, and the participant nodes are called miners. Vyper Smart Contracts. Vyper is a high-level programming language for smart contracts running on EVM.  ... 
doi:10.1007/978-3-030-45234-6_4 fatcat:ettucvq2x5gr5i6vqfl7ol4y2a

Extracting functional programs from Coq, in Coq

2022 Journal of functional programming  
Rust is currently gaining popularity as a language for smart contracts, and we demonstrate how our extraction can be used to extract smart contract code for the Concordium network.  ...  language for systems programming Rust.  ...  For example, consider the Coq record below, and the function get_x which retrieves the x field of the record using Coq's built-in record projection syntax.  ... 
doi:10.1017/s0956796822000077 fatcat:uvoexczalveldivcp76mkxlmcu
« Previous Showing results 1 — 15 out of 24,652 results