/explore
|
You are here 
|
icfp18.sigplan.org | ||
| | | | |
2024.splashcon.org
|
|
| | | | | Virtual Machines are pervasive in the design and implementation of programming systems. In fact, languages implemented as virtual machines are crucial in the specification, implementation, and deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. | |
| | | | |
popl23.sigplan.org
|
|
| | | | | Workshop on Programming Languages and the Law 2023 Law at large underpins modern society, codifying and governing many aspects of citizens' daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions. But in some other areas, law leaves little room for interpretation, and essentially aims to rigorously describe a computation, a decision procedure or, simply said, an algorithm. The current state of affairs is concerning: in many cases, human-critical systems are implemented using technology that is several decades old, resulti ... | |
| | | | |
2020.ecoop.org
|
|
| | | | | ECOOP is a conference about programming. Originally its primary focus was on object orientation, but now it looks at a much broader range of programming topics. Areas of interest include, at least, the design, implementation, optimization, analysis, and theory of programs, programming languages, and programming environments. It solicits both innovative and creative solutions to real problems as well as evaluations of existing solutions-evaluations that provide new insights. It also encourages the submission of reproduction studies. Take a look at last year's proceedings for examples of t ... | |
| | | | |
2019.splashcon.org
|
|
| | | PACMPL Issue OOPSLA 2019 seeks contributions on all aspects of programming languages and software engineering. Authors of papers published in PACMPL Issue OOPSLA 2019 will present their work at OOPSLA in Athens. Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language... | ||
