Torthaí Cuardaigh - general compositional programs program java https

1

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Pro React

le de Sousa Antonio, Cassio., de Sousa Antonio, Cassio.
Foilsithe 2015

Clár Ábhair: “...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Foilsithe 2010

Clár Ábhair: “... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Foilsithe 2013

Clár Ábhair: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Foilsithe 2010

Clár Ábhair: “... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Foilsithe 2008

Clár Ábhair: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Foilsithe 2007

Clár Ábhair: “... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Testing: Academic and Industrial Conference - Practice and Research Techniques 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Foilsithe 2005

Clár Ábhair: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /

Foilsithe 2013

Clár Ábhair: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... Interpretation of the Quasi-synchronous Composition of Synchronous Programs -- Termination of Polynomial Programs...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /

Foilsithe 2008

Clár Ábhair: “...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... -- Non-intrusive Performance Management for Computer Services -- Composition -- True and Transparent...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

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...

Foilsithe 2014

Clár Ábhair: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

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

Foilsithe 2008

Clár Ábhair: “... Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng