Results 41 to 50 of about 5,977,532 (99)
Incrementalizing lattice-based program analyses in Datalog
Proc. ACM Program. Lang., 2018 Program analyses detect errors in code, but when code changes frequently as in an IDE, repeated re-analysis from-scratch is unnecessary: It leads to poor performance unless we give up on precision and recall.
Tamás Szabó +3 more
semanticscholar +1 more source
Types of cooperation between preschool teachers and parents of children with disabilities [PDF]
, 2019 Suradnja između odgojitelja i roditelja djece s teškoćama u razvoju je izuzetno važna za pravilnu inkluziju djece i njihov pravilan rast i razvoj.
Simić, Anita
core +1 more source
Relational program synthesis [PDF]
Proc. ACM Program. Lang., 2018 This paper proposes relational program synthesis, a new problem that concerns synthesizing one or more programs that collectively satisfy a relational specification.
Yuepeng Wang, Xinyu Wang, Işıl Dillig
semanticscholar +1 more source
Feedback-driven semi-supervised synthesis of program transformations
Proc. ACM Program. Lang., 2020 While editing code, it is common for developers to make multiple related repeated edits that are all instances of a more general program transformation.
Xiang Gao +7 more
semanticscholar +1 more source
A program of transition to adult care for sickle cell disease.
Hematology. American Society of Hematology. Education Program, 2019 Most children with sickle cell disease (SCD) today survive into adulthood. Among emerging adults, there is a marked increase in acute care utilization and a rise in mortality, which can be exacerbated by not establishing or remaining in adult care ...
Anjelica C Saulsberry +2 more
semanticscholar +1 more source
Proc. ACM Program. Lang., 2019 Binary program dependence analysis determines dependence between instructions and hence is important for many applications that have to deal with executables without any symbol information.
Zhuo Zhang +5 more
semanticscholar +1 more source
Latentno posuđivanje u hrvatskome i drugim jezicima : posljedice i otpori [PDF]
, 2011 Iako se prevedenicama aktiviraju vlastite izražajne mogućnosti jezika, one su također predmet purističkih reakcija. Cilj je rada analizirati latentni utjecaj engleskoga jezika na različite jezične razine kao pojavu koja je prisutna u hrvatskome i u ...
Margić, Branka Drljača
core
Razvoj organizacijskog sustava i postupaka za unaprjeđenje kvalitete Sveučilišta u Rijeci [PDF]
, 2007 Projekt „ Razvoj organizacijskog sustava i postupaka za unapređenje kvalitete Sveučilišta u Rijeci“ je proveden s ciljem uspostave trajnog sustava za unapređenje kvalitete svih djelatnosti Sveučilišta u Rijeci putem izgradnje institucijskih mehanizama za
Bajšanski, Miljana, Bezinović, Petar
core
Professional development of early childhood educators - a pathway to reputation enhancement of the profession [PDF]
, 2019 Profesionalni razvoj trebao bi biti sastavni dio posla svakog odgojitelja. Odgojitelj je jedna od najvažnijih osoba u prvim godinama djetetova života. Kompetencije potrebne za rad s djecom odgojitelj stječe tijekom svog visokoškolskog obrazovanja, nakon
Ivanišević, Lea
core
Hierarchical Abstraction of Execution Traces for Program Comprehension
IEEE International Conference on Program Comprehension, 2018 Understanding the dynamic behavior of a software system is one of the most important and time-consuming tasks for today's software maintainers. In practice, understanding the inner workings of software requires studying the source code and documentation ...
Yang Feng +3 more
semanticscholar +1 more source