LEXICALSCOPE

Lexicalscope Ltd is a software engineering consultancy, specialising in architecting and building cloud hosted products for large enterprise customers. We offer consultancy services and training at a daily rate. You can contact us using the form below... Talk to us about: Distributed system design, OO software design, engineering leadership, formal methods, software engineering methods, estimation and prioritisation, requirements analysis, development process and team management, code review and programming style mentoring and training, developer recruitment and interviewing... Wood, Drossopoulou, Lahiri and Eisenbach: Modular Verification of Procedure Equivalence in the Presence of Memory Allocation ESOP 2017, Upsalla

Also known as: Lexicalscope Ltd