An executable formal semantics of PHP Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis tifact - Department - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-05-13 05:07:09 Software engineering Computing Computer programming Data types Cross-platform software Object-oriented programming languages Programming languages Scripting languages PHP Array data type Foreach loop Iterator		An executable formal semantics of PHP Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk tifact Add to Reading List Source URL: www.doc.ic.ac.uk Download Document from Source Website File Size: 601,49 KB Share Document on Facebook

	JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide • DocID: 1rt1j - View Document
	Learn OCaml An Online Learning Center for OCaml Benjamin Canou Gr´egoire Henry DocID: 1rp67 - View Document
	CH07 p375:02 PM Page 375 Chapter 7 DocID: 1r65d - View Document
	Built In Functions Table of contents 1 Introduction........................................................................................................................ 2 2 Dynamic Invokers............................ DocID: 1r3Dp - View Document
	Introduction to Smalltalk - Chapter 7 - Introduction to Collections  Ivan TomekChapter 7 - Introduction to Collections Overview DocID: 1r3vH - View Document