researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
1993
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
attribute grammars
design
e-science
functional programming
grammar
graph-rewriting
laziness
logic
meta-model
model checking
modeling
programming
programming languages
programming paradigms
reflection
rewriting
rule-based
semantics
Filter by Author
[+]
OR
AND
NOT
1
Bill Pase
Christian Lengauer
Dan Craigen
David B. MacQueen
Douglas J. Howe
Irwin Meisels
James J. Horning
Jawahar Malhotra
Jeffery I. Zucker
John H. Reppy
John Ophel
John V. Guttag
Kees M. van Hee
Mark Saaltink
Michael Barnett
Nachum Dershowitz
P. M. P. Rambags
Peter A. C. Verkoulen
Peter E. Lauer
Robert M. Shapiro
Filter by Top terms
[+]
OR
AND
NOT
1
1991-1992
activities
algorithm
analysing
application
checking
concurrency
concurrent
functional
language
ml
model
programming
propositional
reasoning
simulation
standard
systems
use
using
Functional Programming, Concurrency, Simulation and Automated Reasoning (mcmaster)
Editions
Publications
Viewing Publication 1 - 18 from 18
1993
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds
Michael Barnett
,
Christian Lengauer
.
mcmaster 1993
:
374-398
Analysing Concurrent Systems Using the Concurrency Workbench
Rance Cleaveland
.
mcmaster 1993
:
129-144
A Taste of Rewrite Systems
Nachum Dershowitz
.
mcmaster 1993
:
199-228
Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language
Richard A. Frost
,
S. Karamatos
.
mcmaster 1993
:
278-295
An Overview of Larch
Stephen J. Garland
,
John V. Guttag
,
James J. Horning
.
mcmaster 1993
:
329-348
Reasoning About Functional Programs in Nuprl
Douglas J. Howe
.
mcmaster 1993
:
145-164
The EVES System
Sentot Kromodimoeljo
,
Bill Pase
,
Mark Saaltink
,
Dan Craigen
,
Irwin Meisels
.
mcmaster 1993
:
349-373
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Peter E. Lauer
, editor,
Volume 693 of
Lecture Notes in Computer Science
, Springer,
1993.
On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities
Peter E. Lauer
.
mcmaster 1993
:
1-31
Reflections on Standard ML
David B. MacQueen
.
mcmaster 1993
:
32-46
Generating an Algorithm for Executing Graphical Models
Jawahar Malhotra
,
Robert M. Shapiro
.
mcmaster 1993
:
71-83
An Introduction to the High-Level Language Standard ML
John Ophel
.
mcmaster 1993
:
47-70
Concurrent ML: Design, Application and Semantics
John H. Reppy
.
mcmaster 1993
:
165-198
Modeling an NORAD Command Post Using SADT and Colored Petri Nets
Robert M. Shapiro
,
Valerio O. Pinci
,
Roberto Mameli
.
mcmaster 1993
:
84-107
Specification and Simulation with ExSpect
Kees M. van Hee
,
P. M. P. Rambags
,
Peter A. C. Verkoulen
.
mcmaster 1993
:
296-327
Programming in OBJ and Maude
Timothy C. Winkler
.
mcmaster 1993
:
229-277
The Propositional ::::mu::::-Calculus and Its Use in Model Checking
Jeffery I. Zucker
.
mcmaster 1993
:
117-128
Propositional Temporal Logics and Their Use in Model Checking
Jeffery I. Zucker
.
mcmaster 1993
:
108-116
Sign in
or
sign up
to see more results.