Results 41 to 50 of about 2,994,680 (79)
Towards a Green Ranking for Programming Languages
Brazilian Symposium on Programming Languages, 2017 Marco Couto +4 more
semanticscholar +1 more source
Semantics-based program verifiers for all languages
Conference on Object-Oriented Programming Systems, Languages, and Applications, 2016 Andrei Stefanescu +4 more
semanticscholar +1 more source
Model checking for programming languages using VeriSoft
ACM-SIGACT Symposium on Principles of Programming Languages, 1997 Patrice Godefroid
semanticscholar +1 more source
Conceptual Model of the Globalization for Domain-Specific Languages
Globalizing Domain-Specific Languages, 2014 T. Clark +3 more
semanticscholar +1 more source
The spoofax language workbench: rules for declarative specification of languages and IDEs
Conference on Object-Oriented Programming Systems, Languages, and Applications, 2010 L. Kats, E. Visser
semanticscholar +1 more source
Sharing the Forest: Bayaka dwellings and mobility in a more-than-human landscape [PDF]
Despite pressure to sedentarise and the stigma associated with a forest-oriented and mobile lifestyle, the Bayaka of the northern Likouala (Republic of Congo) remain extremely mobile.
Vittoria, Alice
core
A compiler and run-time system for network programming languages
ACM-SIGACT Symposium on Principles of Programming Languages, 2012 Christopher Monsanto +3 more
semanticscholar +1 more source
Improved type specialization for dynamic scripting languages
Dynamic Languages Symposium, 2013 Madhukar N. Kedlaya +4 more
semanticscholar +1 more source
JFlow: practical mostly-static information flow control
ACM-SIGACT Symposium on Principles of Programming Languages, 1999 A. Myers
semanticscholar +1 more source
Generative communication in Linda
ACM Transactions on Programming Languages and Systems, 1985 D. Gelernter
semanticscholar +1 more source