Items from Old ECS Groups > Dependable Systems and Software Engineering Research Group in 1995
(Grouped by Nothing)

Hartel, P. H. and Plasmeijer, M. J., eds. (1995) 1st Functional Programming languages in Education (FPLE), LNCS 1022. Springer-Verlag, Berlin.

Back, R. J. R. and Butler, M. J. (1995) Exploring Summation and Product Operators in the Refinement Calculus. In: Mathematics of Program Construction.

Bahaj, A., Currie, A. J., Jones, S. D. R. and Scott, K. (1995) Sunstroke: a PC Software Simulation for Photovoltaic System Designers. In: 13th European Photovoltaic Solar Energy Conference.

Butler, M. J. and Morgan, C. C. (1995) Action Systems, Unbounded Nondeterminism, and Infinite Traces. Formal Aspects of Computing, 7 . pp. 37-53. ISSN 0934-5043

Demant, R., Fatahi-Vanani, F., Galvez-Estrada, R., Nitsche, U. and Ochsenschläger, P. (1995) Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT. Technical Report , UNSPECIFIED, GMD.

Dongarra, J. and Hey, A. J. G. (1995) The Parkbench Benchmark Collection. In: Supercomputer 11, 94.

Dunlop, A., Hernandez, E., Naim, O., Hey, A. J. G. and Nicole, D. (1995) A Toolkit for Optimizing Parallel Performance. In: Proceedings of HPCN Europe '95: published in Lecture Notes in Computer Science. p. 548.

Dunlop, A. N., Hey, A. J. G., Nicole, D. A. and Pritchard, D. J. (1995) Performance Estimation for Parallel Performance Optimisation. Supercomputing, 11 . pp. 19-31. ISSN 0168-7875

Garratt, P. W. (1995) The Software Management Game. Simulation & Gaming, l26 (1). pp. 105-109. ISSN ISSN 1046-8781

Glaser, H. and Smedley, T. J. (1995) PSH - The Next Generation of Command Line Interfaces. In: 11th Intl. IEEE Symposium on Visual Languages. pp. 29-36.

Gravell, A. M. (1995) A First Order Refinement Calculus. Technical Report , UNSPECIFIED, Dept. of Electronics and Computer Science, University of Southampton,UK.

Gravell, A. M. and Pratten, C. H. (1995) Formal Methods and Open Systems. Software---concepts and tools, 16 . pp. 183-188.

Hartel, P. H. (1995) Benchmarking implementations of lazy functional languages II -- Two years later. In: Proc. 7th Int. Conf. Implementation of Functional Languages. pp. 63-68.

Hartel, P. H. and Hertzberger, L. O. (1995) Paradigms and laboratories in the core computer science curriculum: An overview. ACM SIGCSE bulletin, 27 (4). pp. 13-20. ISSN ISSN 0097-8418

Hartel, P. H., Hofman, R. F. H., Langendoen, K. G., Muller, H. L., Vree, W. G. and Hertzberger, L. O. (1995) A toolkit for parallel functional programming. Concurrency: Practice and experience, 7 (8). pp. 765-793. ISSN ISSN 1040-3108

Hartel, P. H. and Plasmeijer, M. J. (1995) State-of-the-art applications of pure functional programming languages. J. Functional Programming, 5 (3). pp. 1-3. ISSN ISSN 0956-7968

Hartel, P. H., van Es, B. and Tromp, T. J. M. (1995) Basic proof skills computer science students. In: Proc. 1st Int. Conf. Functional Programming languages in Education (FPLE), LNCS 1022. pp. 269-288.

Haydarlou, A. R. and Hartel, P. H. (1995) Thunk-lifting: Reducing heap usage in an implementation of a lazy functional language. J. Functional and Logic Programming, 1 (1). ISSN ISSN 0956-7968

Henderson, P. and Pratten, G. D. (1995) POSD - a notation for presenting complex systems of processes. In: Proc. 1st IEEE Int. Conf. on Engineering of Complex Computer Systems. pp. 125-128.

Hey, A. J. G., Hockney, R., Getov, V., Wolton, I., Merlin, J. and Allwright, J. (1995) The Genesis Distributed-Memory Benchmarks, Part 2, COMMS1, TRANS1, FFT1 and QCD2 Benchmarks on the SUPRENUM and iPSC/860 Computers. In: Concurrency: Practice and Experience 7, 543.

Lanaspre, B. and Glaser, H. (1995) Type Inference in Prograph. In: Proc. Workshop on the Implementation of Functional Languages. pp. 96-113.

Leuschel, M. (1995) Partial Evaluation of the Real Thing. In: Logic Program Synthesis and Transformation (LOPSTR), LNCS 883. pp. 122-137.

Leuschel, M. and De Schreye, D. (1995) Towards Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. In: ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM). pp. 253-263.

Leuschel, M., De Schreye, D. and Martens, B. (1995) Tutorial on Program Specialisation. In: International Logic Programming Symposium (ILPS). pp. 615-616.

Leuschel, M. and Martens, B. (1995) Obtaining Specialised Update Procedures through Partial Deduction of the Ground Representation. In: Proc. Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledge Based Systems. pp. 81-95.

Leuschel, M. and Martens, B. (1995) Partial Deduction of the Ground Representation and its Application to Integrity Checking. In: Int. Logic Programming Symposium (ILPS). pp. 495-509.

Marques-Silva, J. (1995) Search Algorithms for Satisfiability Problems in Combinational Switching Circuits. PhD thesis, University of Michigan.

McEvoy, H. and Hartel, P. H. (1995) Local Linear Logic for Locality Consciousness in Multiset Transformation. In: Proc. 7th Int. Conf. Programming languages: implementations, logics and programs (PLILP), LNCS 982. pp. 357-379.

Merlin, J. and Hey, A. J. G. (1995) An Introduction to High Performance Fortran. In: Scientific Programming. pp. 87-113.

Muller, H. L., Hartel, P. H. and Hertzberger, L. O. (1995) Using a functional notation to specify abstract simulation models. In: Abstract machine models for highly parallel computers. pp. 243-258.

Nielsen, M., Priese, L. and Sassone, V. (1995) Characterizing Behavioural Congruences for Petri Nets. In: 6th International Conference on Concurrency Theory, CONCUR '95.. pp. 175-189.

Nitsche, U. and Ochsenschläger, P. (1995) Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT. Technical Report , UNSPECIFIED, GMD.

Papiani, M., Hey, A. J. G. and Hockney, R. W. (1995) The Graphical Benchmark Information Service. In: Scientific Programming 4, 219.

Sassone, V. (1995) Axiomatizing Petri Net Concatenable Processes. In: 10th Conference on Fundamentals of Computation Theory, FCT '95.. pp. 414-423.

Sassone, V. (1995) On the Category of Petri Net Computations. In: 6}th International Conference on Theory and Practice of Software Development, TAPSOFT '95.. pp. 334-348.

Vree, W. G. and Hartel, P. H. (1995) Communication lifting: fixed point computation for parallelism. J. Functional Programming, 5 (4). pp. 549-581. ISSN ISSN 0956-7968