1
Table of Contents: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
View full text
Electronic eBook
2
Table of Contents: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ...to Mobile Phone Programming -- Mobile Phone Programming Languages -- Python for Symbian Phones...
View full text
Electronic eBook
4
Table of Contents: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...
View full text
Electronic eBook
6
Table of Contents: ...Jython, Java and jHepWork -- to Jython -- Mathematical Functions -- One-dimensional Data -- Two...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
View full text
Electronic eBook