Suchergebnisse - "Programming language theory"

Generic recursive lens combinators and their calculation laws von Xie, Ruifeng, Hu, Zhenjiang

“… •We provide a set of generic recursive lens combinators for constructing bidirectional programs.•We extend existing recursive lens combinators to support …”
Volltext

Divide-and-conquer checkpointing for arbitrary programs with no user annotation von Siskind, Jeffrey Mark, Pearlmutter, Barak A.

“… Classical reverse-mode automatic differentiation (AD) imposes only a small constant-factor overhead in operation count over the original computation, but has …”
Volltext

Interactive Teaching of Programming Language Theory with a Proof Assistant von Bereczky, Péter, Donkó, István, Horpácsi, Dániel, Kaposi, Ambrus, Németh, Dávid János

“… Teaching of programming language theory has a long track record at ELTE Faculty of Informatics …”
Volltext

Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory von Verter, Jan Liam, Petricek, Tomas

“… There are two kinds of systems that programming language researchers use for their work. Semantics engineering tools let them interactively explore their …”
Volltext

31 Free E-Books On Programming Language Theory

“… Programming Languages: Theory and Practice by Robert Harper - Carnegie Mellon University , 2005 As the introduction of the book says, "What follows is a working draft of a planned book that seeks to strike a careful …”
Volltext

31 Free E-Books On Programming Language Theory

“… Programming Languages: Theory and Practice (http://www.e-booksdirectory.com/details.php?ebook=9403) by Robert Harper - Carnegie Mellon University , 2005 …”
Volltext

Witnessability of Undecidable Problems von Ding, Shuo, Zhang, Qirun

“… Many problems in programming language theory and formal methods are undecidable, so they cannot be solved precisely …”
Volltext

Compilation error repair: for the student programs, from the student programs von Ahmed, Umair Z., Kumar, Pawan, Karkare, Amey, Kar, Purushottam, Gulwani, Sumit

“… TRACER invokes a novel combination of tools from programming language theory and deep learning and offers repairs that not only enable successful compilation, but repairs that are very close …”
Volltext

How to prove decidability of equational theories with second-order computation analyser SOL von HAMANA, MAKOTO

“… To cover various examples in programming language theory, we combine and extend both syntactical and semantical results of the second-order computation in a non-trivial manner …”
Volltext

Making containers lazy with Docker and CernVM-FS von Hardi, N, Blomer, J, Ganis, G, Popescu, R

“… Containerization technology is becoming more and more popular because it provides an efficient way to improve deployment flexibility by packaging up code into …”
Volltext

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols von Mitchell, John C., Ramanathan, Ajith, Scedrov, Andre, Teague, Vanessa

“… We prove properties of a process calculus that is designed for analysing security protocols. Our long-term goal is to develop a form of protocol analysis, …”
Volltext

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts von Marković, Đorđe, Denecker, Marc

Volltext

How to prove your calculus is decidable: practical applications of second-order algebraic theories and computation von Hamana, Makoto

“… To cover various examples in programming language theory, we combine and extend both syntactical and semantical results of second-order computation in a non-trivial manner …”
Volltext

Towards Modular Development of Typed Unification Grammars von Yael Sygal, Shuly Wintner

Volltext

The Free Online Dictionary of Computing: Acronyms, Jargon, Programming Languages, Theory, Mathematics, Electronics, Companies, History von Stuart, James

“… James discusses "The Free Online Dictionary of Computing: Acronyms, Jargon, Programming Languages, Theory, Mathematics, Electronics, Companies, History" located …”
Volltext

Programming Language: Theories of Human Mental Processes Can Be Expressed in Programming Languages

Volltext

In Praise of Scripting: Real Programming Pragmatism von Loui, R.P.

“… But this kind of study must become part of programming language theory within computing. It's the importance of just these kinds of questions that makes programmers choose scripting languages. The author recommends that scripting, not Java, be taught first, asserting that students should learn to love their own possibilities before they learn to loathe other people's restrictions …”
Volltext

Human-AI Interaction in the Era of Large Language Models (LLMs) von Mohammadi, Behnam

“… The first chapter, joint work with Nikhil Malik, Tim Derdenger, and Kannan Srinivasan, challenges conventional wisdom regarding eXplainable AI (XAI) …”
Volltext

On the Foundations of Information-Flow Control and Effects von Tomé Cortiñas, Carlos

“… There is no doubt that society depends crucially on software systems. Correct software is therefore a pressing matter. An important aspect of software …”
Volltext

Analysis of the Design of Several Modern Programming Languages von Wang, Xudong, Zhang, Zhimei

“… The design of programming languages has always been an important topic in the field of programming language theory …”
Volltext