Results 31 to 40 of about 699 (280)
Petit programming language and compiler
CoRR, 2023 Petit is an educational programming language for learning compilers. Students embark on the journey of learning compilers through a series of six tutorials, progressing from topics like lexical analysis and syntactic analysis to semantic analysis and code generation.
openaire +2 more sources
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 For the lambda-calculus with letrec we develop an optimisation, which is based on the contraction of a certain class of 'future' (also: virtual) redexes.
Jan Rochel, Clemens Grabmayer
doaj +1 more source
Verified Density Compilation for a Probabilistic Programming Language
Proceedings of the ACM on Programming Languages, 2023 This paper presents ProbCompCert, a compiler for a subset of the Stan probabilistic programming language (PPL), in which several key compiler passes have been formally verified using the Coq proof assistant. Because of the probabilistic nature of PPLs, bugs in their compilers can be difficult to detect and fix, making verification an interesting ...
Joseph Tassarotti, Jean-Baptiste Tristan
openaire +1 more source
Securing resource constrained platforms with low-cost solutions.
, 2023 This thesis focuses on securing different attack surfaces of embedded systems while meeting the stringent requirements imposed by these systems. Due to the specialized architecture of embedded systems, the security measures should be customized to match ...
Arslan Khan (17592498)
core +1 more source
Sensors, 2021 Integrated development environments (IDEs) provide many useful tools such as a code editor, a compiler, and a debugger for creating software. These tools are highly sophisticated, and their development requires a significant effort. Traditionally, an IDE
Yonni Chen Kuang Piao +2 more
doaj +1 more source
A Compilation Target for Probabilistic Programming Languages
CoRR, 2014 Forward inference techniques such as sequential Monte Carlo and particle Markov chain Monte Carlo for probabilistic programming can be implemented in any programming language by creative use of standardized operating system functionality including processes, forking, mutexes, and shared memory.
Brooks Paige, Frank D. Wood
openaire +3 more sources
A Survey on Teaching and Learning Recursive Programming
Informatics in Education, 2014 We survey the literature about the teaching and learning of recursive programming. After a short history of the advent of recursion in programming languages and its adoption by programmers, we present curricular approaches to recursion, including a ...
Christian RINDERKNECHT
doaj +1 more source
Современные информационные технологии и IT-образование, 2017 The work presented by authors is devoted to features of implementation of algorithms of calculus mathematics with the aid of free and proprietary compilers.
Evgeniy R. Alekseev +3 more
doaj +1 more source
OLC, On-Line Compiler to Teach Programming Languages
International Journal of Computers Communications & Control, 2008 The advance of Internet towards Web 2.0 conveys the potential it has in a wide range of scopes. The ongoing progress of the Web technology and its availability in teaching and learning, as well as a students’ profile increasingly more used to managing an important amount of digital information, offers lecturers the opportunity and challenge of putting ...
Cayetano Guerra-Artal +3 more
openaire +4 more sources
Secure Compilation (Dagstuhl Seminar 21481)
, 2022 Secure compilation is an emerging field that puts together advances in security, programming languages, compilers, verification, systems, and hardware architectures in order to devise more secure compilation chains that eliminate many of today’s security
Hritcu, Catalin +3 more
core +1 more source