Environment protection and university technical curriculum [PDF]
, 2015 This paper deals with a university degree in Environmental \ud Engineering as a part of university studies in Engineering \ud and shows engineering fields in which environmental \ud engineering studies have been established as stand-alone \ud studies ...
Istenič Starčič, Andreja +2 more
core +1 more source
Povrnitev ideje univerze kot mogoc odgovor na danasnjo krizo [PDF]
, 2014 Higher education has always been associated in one way or another with crisis. One could even argue that the university has always faced one type of crisis or another.
Bojan, Cristina, Pavlenko, Sonia
core +1 more source
Celovita prenova visokošolskega izobraževanja geodezije – novi študijski programi : Harmonization Of Education Programmes On Geodesy – New Study Programmes [PDF]
Geodetski Vestnik, 2008 SI: V skladu s prenovo visokošolskih študijskih programov po načelih bolonjske reforme smo v letih 2007 in 2008 na Fakulteti za gradbeništvo in geodezijo Univerze v Ljubljani pripravili nove študijske programe s področja geodezije.
Dušan Petrovič +2 more
doaj
The next 700 relational program logics [PDF]
Proc. ACM Program. Lang., 2019 We propose the first framework for defining relational program logics for arbitrary monadic effects. The framework is embedded within a relational dependent type theory and is highly expressive. At the semantic level, we provide an algebraic presentation
K. Maillard +3 more
semanticscholar +1 more source
Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus
Proc. ACM Program. Lang.Recently, the rise of code-centric Large Language Models (LLMs) has reshaped the software engineering world with low-barrier tools like Copilot that can easily generate code.
Yufan Cai +6 more
semanticscholar +1 more source
Quantitative program reasoning with graded modal types
Proc. ACM Program. Lang., 2019 In programming, some data acts as a resource (e.g., file handles, channels) subject to usage constraints. This poses a challenge to software correctness as most languages are agnostic to constraints on data.
Dominic A. Orchard +2 more
semanticscholar +1 more source
API-Driven Program Synthesis for Testing Static Typing Implementations
Proc. ACM Program. Lang.We introduce a novel approach for testing static typing implementations based on the concept of API-driven program synthesis. The idea is to synthesize type-intensive but small and well-typed programs by leveraging and combining application programming ...
Thodoris Sotiropoulos +2 more
semanticscholar +1 more source
AutoPandas: neural-backed generators for program synthesis
Proc. ACM Program. Lang., 2019 Developers nowadays have to contend with a growing number of APIs. While in the long-term they are very useful to developers, many modern APIs have an incredibly steep learning curve, due to their hundreds of functions handling many arguments, obscure ...
Rohan Bavishi +4 more
semanticscholar +1 more source
Program synthesis by type-guided abstraction refinement [PDF]
Proc. ACM Program. Lang., 2019 We consider the problem of type-directed component-based synthesis where, given a set of (typed) components and a query type, the goal is to synthesize a term that inhabits the query. Classical approaches based on proof search in intuitionistic logics do
Zheng Guo +6 more
semanticscholar +1 more source
(Ne)uspješno studiranje: osobni izbor ili posljedica hrvatskoga sustava visokoga školstva [PDF]
, 2008 Ovaj je rad usmjeren analizi načina na koji studenti doživljavaju hrvatski sustav visokoga obrazovanja i činitelje (ne)uspješnoga studiranja, temeljem kvalitativnoga istraživanja provedenoga u kontekstu širega istraživanja obilježja hrvatskih studenata ...
Bouillet, Dejana, Gvozdanović, Anja
core