1,721,104 research outputs found
Reachability Analysis in Micro-Stipula
No full textMicro-Stipula is a stateful calculus defining clauses that may be either invoked by the external environment or triggered by time expressions. Because of the interplay between states, time and non-determinism, establishing whether a clause will be ever executed - the reachability problem - is difficult. In this paper we define an analyzer that spots unreachable clauses and demonstrate its soundness
Liquidity analysis in resource-aware programming
Full text linkLiquidity is a liveness property of programs managing resources that pinpoints those programs not freezing any resource forever. We consider a simple stateful language whose resources are assets (digital currencies, non fungible tokens, etc.). Then we define a type system that tracks in a symbolic way the input-output behavior of functions with respect to assets. These types and their composition, which define types of computations, allow us to design two algorithms for liquidity that have different precisions and costs. We also demonstrate the correctness of the algorithms
Programming Legal Contracts: – A Beginners Guide to Stipula –
Full text linkWe discuss the design principles of Stipula, a domain specific language that can assists lawyers in programming legal contracts through specific software patterns. The language is based on a small set of primitives, that precisely correspond to the distinctive elements of legal contracts, and that are amenable to be prototyped on both centralized or distributed systems. We also outline two formal techniques to reason about Stipula contracts: a type inference system that allows to derive types for fields, assets and contract’s functions, and an analyzer of liquidity that pinpoints those contracts that do not freeze any asset foreve
Valutare la didattica universitaria: una ricerca empirica nel corso di laurea in Scienze della Formazione Primaria
No full textL'articolo presenta le risultanze di una ricerca empirica volta a rilevare la customer satisfaction degli iscritti al corso di laurea in Scienze della Formazione Primaria dell'Università di Bar
La pedagogia nell'era della tecnica. Deriva e nuovi orizzonti
No full textLa pedagogia nell'era della tecnica
Memoria e insegnamento universitario. Dalla “didattica dalla parte del banco” a quella “dalla parte della cattedra”
No full textRACCONTARE DALLA CATTEDRA E DAL BANCO. UN CONTRIBUTO ALLA FORMAZIONE E ALL'ANALISI DELL'INSEGNAMENTO
No full textRACCONTARE E SCRIVERE LE PROPRIE STORIE FAVORISCE LA CRESCITA PROFESSIONALE E FORMATIVA DEGLI INSEGNANTI E DEGLI STUDENT
- …
