Search Results - programming expression programming generating java https

1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Published 2010

Table of Contents: “... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”
View full text

Electronic eBook

2

Programming Language Concepts

by Sestoft, Peter., Sestoft, Peter.
Published 2012

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

3

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /

Published 2005

Table of Contents: “... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...”
View full text

Electronic eBook

4

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Published 2014

Table of Contents: “... Expression Zoo -- Abstract Modular Inference Systems and Solvers -- Sunroof: A Monadic DSL for Generating...”
View full text

Electronic eBook

5

Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kebbutz Sehfayim, Israel, July 4-6, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Next-Generations Applications -- Analysis of Queries Reaching SHIL on the Web – An Information System...”
View full text

Electronic eBook

6

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”
View full text

Electronic eBook

7

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Published 2008

Table of Contents: “... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”
View full text

Electronic eBook

8

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April...

Published 2014

Table of Contents: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
View full text

Electronic eBook

9

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
View full text

Electronic eBook

10

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

11

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “... Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B...”
View full text

Electronic eBook

12

Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings /

Published 2012

Table of Contents: “... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”
View full text

Electronic eBook

13

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Published 2014

Table of Contents: “... for the Generation of Communication Adapters Integrating SW and FW Components from Simulink -- A UML Model-Driven...”
View full text

Electronic eBook

14

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”
View full text

Electronic eBook

15

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... of the Printed Models -- A Touch-Based Mathematical Expression Editor -- Establishment of KETpic Programming...”
View full text

Electronic eBook

16

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
View full text

Electronic eBook

17

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... Applications -- A Distributed, Parallel System for Large-Scale Structure Recognition in Gene Expression Data...”
View full text

Electronic eBook

18

Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Experiences with PDG-Based IFC -- Idea: Java vs. PHP: Security Implications of Language Choice for Web...”
View full text

Electronic eBook

19

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
View full text

Electronic eBook

20

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Published 2008

Table of Contents: “... through Evolutionary Algorithms -- The Expressive Power of SPARQL -- Integrating Object-Oriented...”
View full text

Electronic eBook

Narrow Search