Filters








9 Hits in 3.3 sec

Towards a General Framework for Formal Reasoning about Java Bytecode Transformation

Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
2013 Electronic Proceedings in Theoretical Computer Science  
In this paper we focus on program transformations at the bytecode level.  ...  Program transformation has gained a wide interest since it is used for several purposes: altering semantics of a program, adding features to a program or performing optimizations.  ...  In [7] , a tool is developed in order to perform runtime bytecode update for Smalltalk.  ... 
doi:10.4204/eptcs.122.6 fatcat:n3hb7taroncllogfi35mpc5leu

KafKa: Gradual Typing for Objects

Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek, Michael Wagner
2018 European Conference on Object-Oriented Programming  
In this paper, we show that four of the most common gradual type systems provide distinct guarantees, and we give a formal framework for comparing gradual type systems for objectoriented languages.  ...  First, we show that the different gradual type systems are practically distinguishable via a three-part litmus test. We present a formal framework for defining and comparing gradual type systems.  ...  StrongScript is implemented on top of a modified version of the V8 VM.  ... 
doi:10.4230/lipics.ecoop.2018.12 dblp:conf/ecoop/ChungLNV18 fatcat:fafnygxomvgdzhi6d3lbebyn5m

VNS: Namespace Facility

Jim E. Newton
2008 European Lisp Symposium  
In the last couple of years, we have seen a growing interest in the Lisp programming language and its various dialects, including Common Lisp, Scheme, ISLISP, Dylan, and so on.  ...  Those work-in-progress papers will be discussed at the symposium using a writers' workshop format for giving feedback to the authors in a dedicated session.  ...  Acknowledgments Skill R is a registered trademark of Cadence Design Systems, Inc.  ... 
dblp:conf/els/Newton08 fatcat:srwu4fksnnhrtpohd5jx67eeha

The early history of F#

Don Syme
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
In 1997, as a response to Java, Microsoft initiated internal projects which eventually became the .NET programming framework and the C# language.  ...  NET Generics in 1998 and F# in 2002. F# was one of several responses by advocates of strongly-typed functional programming to the łobject-oriented tidal wavež of the mid-1990s.  ...  I for one would certainly welcome a widely distributed VM that is a good target for compiling ML. Interoperability with other languages on the same VM would be a bonus...  ... 
doi:10.1145/3386325 fatcat:lk7zpwvyzfdc5gkscsmqmnze2e

Report from Dagstuhl Seminar Scripting Languages and Frameworks: Analysis and Verification 1 Executive Summary

Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann, Fritz Ranjit, Jhala Shriram, Krishnamurthi Peter, Thiemann License
Seminar   unpublished
This report documents the program and the outcomes of Dagstuhl Seminar 14271 "Scripting Languages and Frameworks: Analysis and Verification".  ...  The seminar brought together a broad spectrum of researchers working on the semantics, analysis and verification of scripting languages.  ...  Static application security testing (SAST) is a widely used technique that helps to find security vulnerabilities in program code at an early stage in the software development lifecycle.  ... 
fatcat:5w2jmn4qrvefvlq523wrerljyu

IMPROVING PERFORMANCE OF DATA-CENTRIC SYSTEMS THROUGH FINE-GRAINED CODE GENERATION

Gregory M Essertel
2019
These kinds of systems offer a much simpler interface and allow programmers and scientists to write in a few lines what would have been thousands of lines of low-level MPI code.  ...  In order to overcome this difficulty, programmers of data-centric programs need to use low-level APIs such as Pthreads or MPI to manually optimize their software because of the intrinsic difficulties and  ...  We have implemented our formal model in Coq and mechanized the results in this Section.  ... 
doi:10.25394/pgs.11413206 fatcat:xffkofd4k5hgre6z3plml2abwm

LIPIcs, Volume 71, SNAPL'17, Complete Volume [article]

Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi
2017
Big types in little runtime. In Principles of Programming Languages, pages 762-774, 2017. Mitch Wand. Finding the source of type errors. In Principles of Programming Languages, pages 38-43, 1986.  ...  In Lisp and Functional Programming, pages 250-262, June 1994. Acknowledgments.  ...  Python [52] and a gradually typed Smalltalk [3] .  ... 
doi:10.4230/lipics.snapl.2017 fatcat:tmxd6cpxebfbdi6xs3ki5cbgfi

Scientific Visualization (Dagstuhl Seminar 14231) Design and Synthesis from Components (Dagstuhl Seminar 14232) Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241) Software Development Analytics (Dagstuhl Seminar 14261) Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271)

Min Chen, Charles Hansen, Penny Rheingans, Gerik Scheuermann, Jakob Rehof, Moshe, Roberto Giacobazzi, Axel Simon, Sarah, Harald Gall, Tim Menzies, Laurie Williams (+5 others)
2014 unpublished
Static application security testing (SAST) is a widely used technique that helps to find security vulnerabilities in program code at an early stage in the software development lifecycle.  ...  Since a few years, JavaScript is gaining more and more popularity as an implementation language for large applications. Consequently, there is a demand for SAST tools that support JavaScript.  ...  These monitors are organised into a hierarchy that establishes their relative precision. The whole framework is accompanied by a formalisation of the theory in the Coq proof assistant.  ... 
fatcat:gjk2mqy4yfhklemp55qvewks44

Virtual separation of concerns - toward preprocessors 2.0 /von Christian Kästner [article]

Christian Kästner, Universitäts- Und Landesbibliothek Sachsen-Anhalt, Martin-Luther Universität, Gunter Saake
2018
With views, we emulate modularity; with a visual representation of annotations, we reduce source code obfuscation and increase program comprehension; and with disciplined annotations and a productline-aware  ...  It is always a pleasure to work with Don. Third, I want to thank Gunter Saake who gave me the opportunity to pursue a PhD in his group.  ...  A.2.  ... 
doi:10.25673/5042 fatcat:34mkw7ft7nfcjj5nahwocx2vuu