Towards a Unified Programming Language
No abstract available.
DOI 10.1007/3-540-45102-1_1
Related papers
- To unify or not to unify: a case study on unified builds (in WebKit) CC 2019
- Assertion Checking Unified VMCAI 2007
- On Unifying Relational and Object-Oriented Database Systems ECOOP 1992
- A Unified Format for Language Documents SLE 2010
- From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach TACAS 1999
- A Unifying Model Checking Approach for Safety Properties of Parameterized Systems CAV 2001
- Java and the Java Memory Model - A Unified, Machine-Checked Formalisation ESOP 2012
- Uniform Modularization of Workflow Concerns Using Unify SLE 2011