Results 31 to 40 of about 5,977,532 (99)
Proc. ACM Program. Lang., 2020 The advent of non-volatile memory (NVM) technologies is expected to transform how software systems are structured fundamentally, making the task of correct programming significantly harder.
Azalea Raad, O. Lahav, Viktor Vafeiadis
semanticscholar +1 more source
Arsimi i Lartë dhe Bota e Punës: Lidhje të reja nëpërmjet Procesit të Bolonjës [PDF]
, 2009 Ky punim mbështetet mbi diskursin bashkëkohor lidhur me reagimin e institucioneve të arsimit të lartë për nevojat e shoqërisë. Ai reflekton mbi paradigmën e ndryshueshme strategjike në fushën e arsimit të lartë brenda kontekstit modern socio-ekonomik.
Miklavič, Klemen
core
Program analysis via efficient symbolic abstraction
Proc. ACM Program. Lang., 2021 This paper concerns the scalability challenges of symbolic abstraction: given a formula ϕ in a logic L and an abstract domain A, find a most precise element in the abstract domain that over-approximates the meaning of ϕ.
Peisen Yao +3 more
semanticscholar +1 more source
TEXTBOOK FOR TECHNICAL STUDENTS IN THE LIGHT OF BOLOGNA PROCESS [PDF]
, 2010 Bolonjski studijski proces trebao bi donijeti promjene u organizaciji studija, načinu rada sa studentima, poboljšati kvalitetu studija i znanja studenata, skratiti trajanje studija i povećati uspješnost studija.
Jože Stropnik
core +1 more source
Aiming low is harder: induction for lower bounds in probabilistic program verification [PDF]
Proc. ACM Program. Lang., 2019 We present a new inductive rule for verifying lower bounds on expected values of random variables after execution of probabilistic loops as well as on their expected runtimes.
Marcel Hark +3 more
semanticscholar +1 more source
The Bologna reform of subject teacher education in the newly founded states in the territory of the former Yugoslavia [PDF]
, 2014 The article provides an overview of carrying out the principles of the Bologna reform in the education of subject teachers in the newly founded states in the territory of the former Yugoslavia.
Batinić Štefka +8 more
core +2 more sources
Program sketching with live bidirectional evaluation
Proc. ACM Program. Lang., 2019 We present a system called Smyth for program sketching in a typed functional language whereby the concrete evaluation of ordinary assertions gives rise to input-output examples, which are then used to guide the search to complete the holes.
Justin P. Lubin +3 more
semanticscholar +1 more source
Verifying and improving Halide’s term rewriting system with program synthesis
Proc. ACM Program. Lang., 2020 Halide is a domain-specific language for high-performance image processing and tensor computations, widely adopted in industry. Internally, the Halide compiler relies on a term rewriting system to prove properties of code required for efficient and ...
Julie L. Newcomb +4 more
semanticscholar +1 more source
Academic library in information literacy programes for students : research of the program of University Library at the Karl-Franzens University Graz [PDF]
, 2011 Rad se bavi informacijskim opismenjivanjem studenata u sklopu visokoškolskog kurikuluma. Predstavljeni su rezultati istraživanja vezanog uz modalitete provođenja programa informacijske pismenosti, pri čemu je naglasak na analizi programa informacijskog ...
Dora Rubinić
core +1 more source
Verified three-way program merge
Proc. ACM Program. Lang., 2018 Even though many programmers rely on 3-way merge tools to integrate changes from different branches, such tools can introduce subtle bugs in the integration process.
Marcelo Sousa +2 more
semanticscholar +1 more source