Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Link opens in a new tab
Search content at Illinois Experts
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
PARAMETERIZED PROGRAMMING IN OBJ2.
Kokichi Futatsugi
, Joseph Goguen
,
Jose Meseguer
, Koji Okada
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'PARAMETERIZED PROGRAMMING IN OBJ2.'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Object-oriented Programming
100%
First-order Logic
100%
Language-based
100%
General Interface
100%
Abstract Data Types
100%
Specification Technique
100%
Rewrite Rules
100%
Equational Logic
100%
Abstract Objects
100%
Algebraic Specification
100%
Interactive Programming
100%
Functional Programming Languages
100%
Computer Science
Functional Programming
100%
Rewrite Rule
100%
Algebraic Specifications
100%
Abstract Data Type
100%
Abstract Object
100%
Programming Language
100%