A formal semantics of parallel features of Fortran 95

A formal semantics of parallel features of Fortran 95

Bibliographic Details
Main Author:	Reid, N. K.
Published:	Queen's University Belfast 2003
Subjects:	005 Programming languages
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.273424

Similar Items

Estimating the execution time of Fortran programs on distributed memory, parallel computers
by: Dunlop, Alistair Neil
Published: (1997)

Extracting data flow information for parallelizing FORTRAN nested loop kernels
by: Walker, Edward
Published: (1994)

An application of formal semantics to student modelling : an investigation in the domain of teaching Prolog
by: Fung, Pat
Published: (1989)

The refinement of formal specifications using reusable software components in Ada95
by: Bale, Stephen Alan
Published: (1998)

The formal semantics of deterministic dataflow programs
by: Oliveira, J. N. F.
Published: (1984)

Semantics of a synchronous parallel programming language
by: Narayana, K. T.
Published: (1982)

Sort inference in action semantics
by: Brown, Deryck Forsyth
Published: (1996)

Formal semantics for LIPS (Language for Implementing Parallel/distributed Systems)
by: Rajan, Amala Vijaya Selvi
Published: (2009)

A formal framework in VDM for the specification of parallel discrete event simulation
by: Hook, Nicola K.
Published: (1995)

A denotational semantics for concurrent ADA programs
by: Mearns, I.
Published: (1983)

Quasi-parallel processing
by: Holt, C. M.
Published: (1986)

Semantic integrity enforcement in parallel database machines
by: McCarroll, Niall Fraser
Published: (1995)

Formal method for the retrospective specification of the functionality of existing software systems
by: Halmay, Edit
Published: (1988)

Understanding Z : A specification language and its formal semantics
by: Spivey, J. M.
Published: (1985)

Evaluation and denotation of pure LISP programs : a worked example in semantics
by: Gordon, Michael J. C.
Published: (1974)

Prototyping tools for parallel program design
by: Hart, Edmund Reid
Published: (1996)

Enhancement of SPARKS, a FORTRAN preprocessor
by: Martin, John Joseph
Published: (2011)

The semantics of synchronised assignment
by: Wray, Johnston Paul
Published: (1992)

Translation of the SPARKS preprocessor from FORTRAN to SPARKS
by: Stroud, Richard Manson
Published: (2011)

Consistent formal theories of the semantics of programming languages
by: Lauer, P. E.
Published: (1971)

Non-numerical parallel algorithms for asynchronous parallel computer systems
by: Ghanemi, Salim
Published: (1987)

Parallel execution of Parlog
by: Cheese, Andrew B.
Published: (1990)

An executable formal semantics of PHP with applications to program analysis
by: Filaretti, Daniele
Published: (2015)

Evolution of a concurrent programming formalism
by: Rietti, G.
Published: (1980)

Parallel algorithms for MIMD parallel computers
by: Yousif, Hilal M.
Published: (1986)

The formal development of secure systems
by: Graham, -Cumming
Published: (1992)

Formal models for systems prototyping
by: Barroca, Leonor Maria Melo Torcato
Published: (1989)

The formal specification of computational structures
by: Stewart, Alan
Published: (1986)

From VDM to ABC : a pragmatic approach to formal software development
by: Kans, Aaron
Published: (1996)

Parallelization of algorithms by explicit partitioning
by: Bahoshy, Nimatallah M.
Published: (1992)

The design and implementation of Troy, a distributed object-based language
by: Hailes, Stephen Mark Vernon
Published: (1991)

A graphical based formalism for executable specification
by: Gaskell, Craig
Published: (1997)

A message driven or-parallel logic architecture
by: Delgado Rannauro, Sergio A.
Published: (1989)

Specifying distributed applications : the limits of formality
by: Fergus, Edward Joseph
Published: (1990)

Formal specification and verification of OSI protocols
by: Zhang, Bairong
Published: (1996)

Formal techniques in the management of software design
by: Richardson, W. E.
Published: (1983)

Formal methods for rapid software prototyping
by: Quintas Figueiredo de Barros, Alexandra Maria
Published: (1997)

Formal methods and reuse in software engineering
by: Higgs, Clive Richard
Published: (1990)

Software tools to support formal methods
by: McParland, Patrick J.
Published: (1989)

A formalism for describing and simulating systems with interacting components
by: Corr, Glenn A.
Published: (1996)