Search Results - Semantics of Programming Languages— program analysis General Terms Algorithms~
-
1
Authors: et al.
Source: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.
HTML Full Text PDF Full Text -
2
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Performance Keywords Parallel Programming, Dynamic Analysis, Object- Oriented Analysis, Heap Analysis, Parallelization
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.692.1298; http://demsky.eecs.uci.edu/publications/doj.pdf?origin%3Dpublication_detail
-
3
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: context sensitivity
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.5573; http://www.cs.rpi.edu/~milanova/docs/paste07.pdf
-
4
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM on Programming Languages. 4:1-33
Subject Terms: Denotational semantics, FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Programming Languages, Probabilistic programming, Bayesian computation, Static analysis, 01 natural sciences, Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Machine Learning (cs.LG), Variational methods, Machine learning, Automated static analysis, Correctness, 0101 mathematics, Probabilistic computation, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3371084
http://arxiv.org/abs/1907.08827
https://hal.science/hal-02399922v1
https://hal.science/hal-02399922v1/document
https://doi.org/10.1145/3371084
https://hal.inria.fr/hal-02399922v1
https://hal.archives-ouvertes.fr/hal-02399922
https://arxiv.org/abs/1907.08827
https://koasas.kaist.ac.kr/handle/10203/287743
https://dblp.uni-trier.de/db/journals/corr/corr1907.html#abs-1907-08827
https://arxiv.org/pdf/1907.08827.pdf -
5
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, D.2.4 [Software Engineering, Software/Program Verification—Reliability, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atom- icity, Serializability, Dynamic Analysis
File Description: application/pdf
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, F.3.1 [Logics and Mean- ing of Programs, Specifying and Verifying and Reasoning about Programs, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Reliability, Security, Theory, Verifi- cation Keywords Dynamic Slicing, Dynamic Chopping, Path Condition, Information Flow Control
File Description: application/pdf
-
7
Authors:
Source: Computation; Oct2023, Vol. 11 Issue 10, p197, 36p
-
8
Authors: et al.
Source: Veterinary Medicine & Science. Mar2025, Vol. 11 Issue 2, p1-11. 11p.
Subjects: Corpus luteum, Sexual cycle, Optimization algorithms, Ovarian follicle, Artificial intelligence
HTML Full Text PDF Full Text -
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program analysis General Terms Algorithms, measurement, experimentation Keywords Summary, whole-program static analysis, library
File Description: application/pdf
-
10
Authors: et al.
Source: Bratislava Medical Journal / Bratislavské Lekárske Listy; 2023, Vol. 124 Issue 9, p653-669, 17p
-
11
Authors: et al.
Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.
HTML Full Text PDF Full Text -
12
Authors:
Source: Computation; May2025, Vol. 13 Issue 5, p108, 42p
Subject Terms: NATURAL language processing, DEEP learning, PROGRAMMING languages, EYE movements, MACHINE learning, GAZE, EYE tracking
-
13
Authors: et al.
Source: Journal of Animal Ecology. Dec2024, Vol. 93 Issue 12, p1854-1867. 14p.
HTML Full Text PDF Full Text -
14
Authors: et al.
Source: Diagnostics (2075-4418); Apr2022, Vol. 12 Issue 4, p879-879, 17p
Subject Terms: NATURAL language processing, DATA mining, PATHOLOGY, PROGRAMMING languages
-
15
-
16
Authors: Woodward, Andrew P.1 (AUTHOR) andrew.woodward@canberra.edu.au
Source: Journal of Veterinary Pharmacology & Therapeutics. Jul2024, Vol. 47 Issue 4, p322-352. 31p.
HTML Full Text PDF Full Text -
17
Authors: et al.
Contributors: et al.
Source: Personalized Innovative Intervention Pathways to Promote Executive Function in Children With Cerebral Palsy
Fluss J, Lidzba K. Cognitive and academic profiles in children with cerebral palsy: A narrative review. Ann Phys Rehabil Med. 2020 Oct;63(5):447-456. doi: 10.1016/j.rehab.2020.01.005. Epub 2020 Feb 19.
Zoccolotti P, Cantagallo A, De Luca M, Guariglia C, Serino A, Trojano L. Selective and integrated rehabilitation programs for disturbances of visual/spatial attention and executive function after brain damage: a neuropsychological evidence-based review. Eur J Phys Rehabil Med. 2011 Mar;47(1):123-47.
Diamond A, Ling DS. Conclusions about interventions, programs, and approaches for improving executive functions that appear justified and those that, despite much hype, do not. Dev Cogn Neurosci. 2016 Apr;18:34-48. doi: 10.1016/j.dcn.2015.11.005. Epub 2015 Dec 7.
Di Lieto MC, Castro E, Pecini C, Inguaggiato E, Cecchi F, Dario P, Cioni G, Sgandurra G. Improving Executive Functions at School in Children With Special Needs by Educational Robotics. Front Psychol. 2020 Jan 9;10:2813. doi: 10.3389/fpsyg.2019.02813. eCollection 2019.
Pecini C, Spoglianti S, Bonetti S, Di Lieto MC, Guaran F, Martinelli A, Gasperini F, Cristofani P, Casalini C, Mazzotti S, Salvadorini R, Bargagna S, Palladino P, Cismondo D, Verga A, Zorzi C, Brizzolara D, Vio C, Chilosi AM. Training RAN or reading? A telerehabilitation study on developmental dyslexia. Dyslexia. 2019 Aug;25(3):318-331. doi: 10.1002/dys.1619. Epub 2019 May 23.
Diamond A. Executive functions. Annu Rev Psychol. 2013;64:135-68. doi: 10.1146/annurev-psych-113011-143750. Epub 2012 Sep 27.
Di Lieto MC, Brovedani P, Pecini C, Chilosi AM, Belmonti V, Fabbro F, Urgesi C, Fiori S, Guzzetta A, Perazza S, Sicola E, Cioni G. Spastic diplegia in preterm-born children: Executive function impairment and neuroanatomical correlates. Res Dev Disabil. 2017 Feb;61:116-126. doi: 10.1016/j.ridd.2016.12.006. Epub 2017 Jan 7.
Pirila S, van der Meere J, Korhonen P, Ruusu-Niemi P, Kyntaja M, Nieminen P, Korpela R. A retrospective neurocognitive study in children with spastic diplegia. Dev Neuropsychol. 2004;26(3):679-90. doi: 10.1207/s15326942dn2603_2.
Schatz J, Craft S, White D, Park TS, Figiel GS. Inhibition of return in children with perinatal brain injury. J Int Neuropsychol Soc. 2001 Mar;7(3):275-84. doi: 10.1017/s1355617701733012.
Bodimeade HL, Whittingham K, Lloyd O, Boyd RN. Executive function in children and adolescents with unilateral cerebral palsy. Dev Med Child Neurol. 2013 Oct;55(10):926-33. doi: 10.1111/dmcn.12195. Epub 2013 Jun 28.
Pirila S, van der Meere JJ, Rantanen K, Jokiluoma M, Eriksson K. Executive functions in youth with spastic cerebral palsy. J Child Neurol. 2011 Jul;26(7):817-21. doi: 10.1177/0883073810392584. Epub 2011 Mar 11.
Critten V, Messer D, Sheehy K. Delays in the reading and spelling of children with cerebral palsy: Associations with phonological and visual processes. Res Dev Disabil. 2019 Feb;85:131-142. doi: 10.1016/j.ridd.2018.12.001. Epub 2018 Dec 13.
Cantin RH, Gnaedinger EK, Gallaway KC, Hesson-McInnis MS, Hund AM. Executive functioning predicts reading, mathematics, and theory of mind during the elementary years. J Exp Child Psychol. 2016 Jun;146:66-78. doi: 10.1016/j.jecp.2016.01.014. Epub 2016 Feb 23.
Cartwright KB, Marshall TR, Huemer CM, Payne JB. Executive function in the classroom: Cognitive flexibility supports reading fluency for typical readers and teacher-identified low-achieving readers. Res Dev Disabil. 2019 May;88:42-52. doi: 10.1016/j.ridd.2019.01.011. Epub 2019 Mar 6.
Garcia-Galant M, Blasco M, Reid L, Pannek K, Leiva D, Laporta-Hoyos O, Ballester-Plane J, Miralbell J, Caldu X, Alonso X, Toro-Tamargo E, Melendez-Plumed M, Gimeno F, Coronas M, Soro-Camats E, Boyd R, Pueyo R. Study protocol of a randomized controlled trial of home-based computerized executive function training for children with cerebral palsy. BMC Pediatr. 2020 Jan 7;20(1):9. doi: 10.1186/s12887-019-1904-x.
Miyake A, Friedman NP, Emerson MJ, Witzki AH, Howerter A, Wager TD. The unity and diversity of executive functions and their contributions to complex "Frontal Lobe" tasks: a latent variable analysis. Cogn Psychol. 2000 Aug;41(1):49-100. doi: 10.1006/cogp.1999.0734.
Bombonato C, Del Lucchese B, Ruffini C, Di Lieto MC, Brovedani P, Sgandurra G, Cioni G, Pecini C. Far Transfer Effects of Trainings on Executive Functions in Neurodevelopmental Disorders: A Systematic Review and Metanalysis. Neuropsychol Rev. 2024 Mar;34(1):98-133. doi: 10.1007/s11065-022-09574-z. Epub 2023 Jan 12.
Ballester-Plane J, Laporta-Hoyos O, Macaya A, Poo P, Melendez-Plumed M, Toro-Tamargo E, Gimeno F, Narberhaus A, Segarra D, Pueyo R. Cognitive functioning in dyskinetic cerebral palsy: Its relation to motor function, communication and epilepsy. Eur J Paediatr Neurol. 2018 Jan;22(1):102-112. doi: 10.1016/j.ejpn.2017.10.006. Epub 2017 Oct 24.
Capodieci A, Romano M, Castro E, Di Lieto MC, Bonetti S, Spoglianti S, Pecini C. Executive Functions and Rapid Automatized Naming: A New Tele-Rehabilitation Approach in Children with Language and Learning Disorders. Children (Basel). 2022 Jun 2;9(6):822. doi: 10.3390/children9060822. -
18
Authors: et al.
Source: Veterinary Sciences. Jul2025, Vol. 12 Issue 7, p645. 14p.
HTML Full Text PDF Full Text -
19
Authors:
Source: Higher-Order & Symbolic Computation; Mar2011, Vol. 24 Issue 1/2, p41-80, 40p
-
20
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.7 [Software Engineer- ing, Distribution, Maintenance, and Enhancement, F.3.2 [Logics andMeanings of Programs, Semantics of Programming Languages— program analysis General Terms Algorithms, Measurement, Languages Keywords Software refactoring, Aspect-oriented programming, Change impact analysis, Static program analysis, Code generation
File Description: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text