Development and Evaluation Process of Model TransformationKOLAHDOUZ-RAHIMI, Shekoufeh; LANO, Kevin.Software engineering research & preactice. International conferenceWorldComp'2011. 2011, pp 10-16, isbn 1-60132-199-6 1-60132-200-3 1-60132-201-1, 7 p.Conference Paper

Mappings Make Data Processing Go 'Round An Inter-paradigmatic Mapping TutorialLÄMMEL, Ralf; MEIJER, Erik.Lecture notes in computer science. 2006, pp 169-218, issn 0302-9743, isbn 3-540-45778-X, 1Vol, 50 p.Conference Paper

Modelling fusion calculus using HD-automataFERRARI, Gianluigi; MONTANARI, Ugo; TUOSTO, Emilio et al.Lecture notes in computer science. 2005, pp 142-156, issn 0302-9743, isbn 3-540-28620-9, 15 p.Conference Paper

Behavioral extensions of institutionsPOPESCU, Andrei; ROSU, Grigore.Lecture notes in computer science. 2005, pp 331-347, issn 0302-9743, isbn 3-540-28620-9, 17 p.Conference Paper

Final semantics for event-pattern reactive programsSANCHEZ, César; SIPMA, Henny B; SLANINA, Matteo et al.Lecture notes in computer science. 2005, pp 364-378, issn 0302-9743, isbn 3-540-28620-9, 15 p.Conference Paper

Composable memory transactionsHARRIS, Tim; MARLOW, Simon; JONES, Simon Peyton et al.ACm SIGPLAN symposium on principles and practice of parallel programming. 2005, pp 48-60, isbn 1-59593-080-9, 1Vol, 13 p.Conference Paper

A novel approach for partitioning iteration spaces with variable densitiesKEJARIWAL, Arun; NICOLAU, Alexandra; BANERJEE, Utpal et al.ACm SIGPLAN symposium on principles and practice of parallel programming. 2005, pp 120-131, isbn 1-59593-080-9, 1Vol, 12 p.Conference Paper

Strong splitting bisimulation equivalenceBERGSTRA, J. A; MIDDELBURE, C. A.Lecture notes in computer science. 2005, pp 83-97, issn 0302-9743, isbn 3-540-28620-9, 15 p.Conference Paper

Towards a coalgebraic semantics of the ambient calculusHAUSMANN, Daniel; MOSSAKOWSKI, Till; SCHRÖDER, Lutz et al.Lecture notes in computer science. 2005, pp 232-246, issn 0302-9743, isbn 3-540-28620-9, 15 p.Conference Paper

Enhancing global SLS-resolution with loop cutting and tabling mechanismsSHEN, Yi-Dong; YOU, Jia-Huai; YUAN, Li-Yan et al.Theoretical computer science. 2004, Vol 328, Num 3, pp 271-287, issn 0304-3975, 17 p.Article

Non-linear loop invariant generation using gröbner basesSANKARANARAYANAN, Sriram; SIPMA, Henny B; MANNA, Zohar et al.ACM SIGPLAN notices. 2004, Vol 39, Num 1, pp 318-329, issn 1523-2867, 12 p.Conference Paper

RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)van oostrom, Vincent.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22153-0, X, 311 p, isbn 3-540-22153-0Conference Proceedings

A verification technique using term rewriting systems and abstract interpretationTAKAI, Toshinori.Lecture notes in computer science. 2004, pp 119-133, issn 0302-9743, isbn 3-540-22153-0, 15 p.Conference Paper

Inductive theorems for higher-order rewritingAOTO, Takahito; YAMADA, Toshiyuki; TOYAMA, Yoshihito et al.Lecture notes in computer science. 2004, pp 269-284, issn 0302-9743, isbn 3-540-22153-0, 16 p.Conference Paper

Programming with Transactional Coherence and Consistency (TCC)HAMMOND, Lance; CARLSTROM, Brian D; WONG, Vicky et al.ACM SIGPLAN notices. 2004, Vol 39, Num 11, pp 1-13, issn 1523-2867, 13 p.Conference Paper

Evolutionary programming techniques for economic load dispatchSINHA, Nidul; CHAKRABARTI, R; CHATTOPADHYAY, P. K et al.IEEE transactions on evolutionary computation. 2003, Vol 7, Num 1, pp 83-94, issn 1089-778X, 12 p.Article

L'erreur est humaine = The error is humanDE MARNEFFE, P.-A.TSI. Technique et science informatiques. 2003, Vol 22, Num 4, pp 519-526, issn 0752-4072, 8 p.Article

Domain compression for complete abstractionsGIACOBAZZI, Roberto; MASTROENI, Isabella.Lecture notes in computer science. 2003, pp 146-160, issn 0302-9743, isbn 3-540-00348-7, 15 p.Conference Paper

AFP 2002 : advanced functional programming (Oxford, 19-24 August 2002)Jeuring, Johan; Peyton Jones, Simon.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40132-6, VI, 211 p, isbn 3-540-40132-6Conference Proceedings

An enhanced framework for microprocessor test-program generationCORNO, F; SQUILLERO, G.Lecture notes in computer science. 2003, pp 307-316, issn 0302-9743, isbn 3-540-00971-X, 10 p.Conference Paper

Parallel programs are more evolvable than sequential programsKWONG SAK LEUNG; KIN HONG LEE; SIN MAN CHEANG et al.Lecture notes in computer science. 2003, pp 107-118, issn 0302-9743, isbn 3-540-00971-X, 12 p.Conference Paper

Genetic programming applied to compiler heuristic optimizationSTEPHENSON, Mark; O'REILLY, Una-May; MARTIN, Martin C et al.Lecture notes in computer science. 2003, pp 238-253, issn 0302-9743, isbn 3-540-00971-X, 16 p.Conference Paper

An empirical analysis on the discontinuous use of Pair ProgrammingJANES, Andrea; RUSSO, Barbara; ZULIANI, Paolo et al.Lecture notes in computer science. 2003, pp 205-214, issn 0302-9743, isbn 3-540-40215-2, 10 p.Conference Paper

Generic programming : advanced lecturesBackhouse, Roland; Gibbons, Jeremy.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-20194-7, IX, 221 p, isbn 3-540-20194-7Book

A semantic foundation for TCOZ in unifying Theories of ProgrammingSHENGCHAO QIN; JIN SONG DONG; CHIN, Wei-Ngan et al.Lecture notes in computer science. 2003, pp 321-340, issn 0302-9743, isbn 3-540-40828-2, 20 p.Conference Paper