Static analysis (Venice, 22-24 September 1999)Cortesi, Agostino; Filé, Gilberto.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66459-9, VIII, 356 p, isbn 3-540-66459-9Conference Proceedings

Development of correct transformation schemata for Prolog programsRICHARDSON, J; FUCHS, N.Lecture notes in computer science. 1998, pp 263-281, issn 0302-9743, isbn 3-540-65074-1Conference Paper

Parallel efficiency can be greater than unityPARKINSON, D.Parallel computing. 1986, Vol 3, Num 3, pp 261-262, issn 0167-8191Article

On a technology of design and analysis of dataflow programsSOKOLOV, V. A; ROUBTSOVA, E. E; ROUBTSOV, S. A et al.Lecture notes in computer science. 1997, pp 115-120, issn 0302-9743, isbn 3-540-63371-5Conference Paper

Using control and data flow analysis for race evaluationKRANZLMÜLLER, D; GRABNER, S; VOLKERT, J et al.Lecture notes in computer science. 1997, pp 102-109, issn 0302-9743, isbn 3-540-63440-1Conference Paper

ROS: The rollback-one-step method to minimize the waiting time during debugging long-running parallel programsNAM THOAI; KRANZLMÜLLER, Dieter; VOLKERT, Jens et al.Lecture notes in computer science. 2003, pp 664-678, issn 0302-9743, isbn 3-540-00852-7, 15 p.Conference Paper

Test program to observe parallelismCHRISTOPHER, Thomas W.ACM SIGPLAN notices. 2001, Vol 36, Num 9, pp 31-36, issn 1523-2867Article

Inter-array data regroupingCHEN DING; KENNEDY, K.Lecture notes in computer science. 2000, pp 149-163, issn 0302-9743, isbn 3-540-67858-1Conference Paper

On jones-optimal specialization for strongly typed languagesMAKHOLM, Henning.Lecture notes in computer science. 2000, pp 129-148, issn 0302-9743, isbn 3-540-41054-6Conference Paper

Theorems about compositionCHARPENTIER, M; MANI CHANDY, K.Lecture notes in computer science. 2000, pp 167-186, issn 0302-9743, isbn 3-540-67727-5Conference Paper

A case study : Effects of with-loop-folding on the NAS benchmark MG in SACSCHOLZ, S.-B.Lecture notes in computer science. 1999, pp 216-228, issn 0302-9743, isbn 3-540-66229-4Conference Paper

Rigorous compiler implementation correctness : How to prove the real thing correctGOERIGK, W; HOFFMANN, U.Lecture notes in computer science. 1999, pp 122-136, issn 0302-9743, isbn 3-540-66462-9Conference Paper

Translating out of Static Single Assignment formSREEDHAR, V. C; JU, R. D.-C; GILLIES, D. M et al.Lecture notes in computer science. 1999, pp 194-210, issn 0302-9743, isbn 3-540-66459-9Conference Paper

Program optimization for concurrent multithreaded architecturesTSAI, J.-Y; ZHENZHEN JIANG; YEW, P.-C et al.Lecture notes in computer science. 1998, pp 146-162, issn 0302-9743, isbn 3-540-64472-5Conference Paper

To parse or not to parseVANHOOF, W; MARTENS, B.Lecture notes in computer science. 1998, pp 322-342, issn 0302-9743, isbn 3-540-65074-1Conference Paper

Debugging temporal specifications with concept analysisAMMONS, Glenn; MANDELIN, David; BODIK, Rastislav et al.ACM SIGPLAN notices. 2003, Vol 38, Num 5, pp 182-195, issn 1523-2867, 14 p.Conference Paper

Extracting general recursive program schemes in Nuprl's type theoryCALDWELL, James L.Lecture notes in computer science. 2002, pp 233-244, issn 0302-9743, isbn 3-540-43915-3, 12 p.Conference Paper

A practical approach for logic program analysis and transformationWEBER-VASCONCELOS, W; MENESES, E. X.Lecture notes in computer science. 2000, pp 82-94, issn 0302-9743, isbn 3-540-67354-7Conference Paper

Debugging MPI programs with array visualizationKRANZLMÜLLER, D; KOBLER, R; KOPPLER, R et al.Lecture notes in computer science. 2000, pp 597-600, issn 0302-9743, isbn 3-540-67553-1Conference Paper

A comparison of locality transformations for irregular codesHWANSOO HAN; TSENG, Chau-Wen.Lecture notes in computer science. 2000, pp 70-84, issn 0302-9743, isbn 3-540-41185-2Conference Paper

Tractable transformations from modal provability logics into first-order logicDEMRI, S; GORE, R.Lecture notes in computer science. 1999, pp 16-30, issn 0302-9743, isbn 3-540-66222-7Conference Paper

Virtual Cache Line : A new technique to improve cache exploitation for recursive data structuresRUBIN, S; BERNSTEIN, D; RODEH, M et al.Lecture notes in computer science. 1999, pp 259-273, issn 0302-9743, isbn 3-540-65717-7Conference Paper

Programs without failuresBOSSI, A; COCCO, N.Lecture notes in computer science. 1998, pp 28-48, issn 0302-9743, isbn 3-540-65074-1Conference Paper

Heuristics for constructing while loopsMILI, F; MILI, A.Science of computer programming. 1992, Vol 18, Num 1, pp 67-106, issn 0167-6423Article

Automatic extraction of logic program transformations from examplesWEBER-VASCONCELOS, W; ARAGAO, M. A. T.Lecture notes in computer science. 2000, pp 224-234, issn 0302-9743, isbn 3-540-67354-7Conference Paper