Sergei G. Maslov  Home/Search
Context
Related
| unh.edu/pub/csp/archive/pap...maslov.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unh.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes the basic elements (data, actions, tunings, voids, mixtures,...) and principles of programming (stratification, implicit knowledge, limited freedom,...), directed to amalgamating of different programming paradigms (imperative, object-oriented, functional, constraint,...) in a unified process of generating computer system models. Compositions of elements and their projections on axes of representation (visual, audio, tactile, and linguistic) make it possible to... (Update)
Active bibliography (related documents): More All
0.5: Untyped Constrained Lambda Calculus - Crossley, Mandel, Wirsing (1993) (Correct)
0.2: A study of two graph rewriting formalisms: Interaction.. - Banach, Papadopoulos (1997) (Correct)
0.2: The JUMP-machine: a Generic Basis for the Integration of.. - Chakravarty, Lock (1994) (Correct)
Similar documents based on text: More All
0.1: Semantics of Architectural Specifications in CASL - Schröder, Mossakowski.. (Correct)
0.1: The Structure of Supervoids - I: Void Hierarchy in .. - Lindner, Einasto, .. (1995) (Correct)
0.1: Constraint (Logic) Programming: A Bibliography - Jampel (1996) (Correct)
BibTeX entry: (Update)
@misc{ maslov-from,
author = "Sergei G. Maslov",
title = "From Competition to Amalgamation of Different Programming Paradigms",
url = "citeseer.ist.psu.edu/maslov93from.html" }
Citations (may not include all citations):52 Towards a meaning of LIFE (context) - Ait-Kaci, Podelski - 1993 DBLP
41 Models and equality for logical programming (context) - Goguen, Meseguer - 1987 ACM DBLP
16 and Laws of Software Evolution (context) - Cycles - 1980
11 Kaleidoscope: A Constraint Imperative Programming Language - Lopez, Freeman-Benson et al. - 1994
5 Functional Programming Languages with Logical Variables: A L.. - Darlington, Guo et al. - 1993 DBLP
2 FALCON: Functional and Logic Language with Constraints - Guo - 1993
1 Designing and programming personal expert systems (context) - Townsend, Feucht
1 Conceptual programming (context) - Tyugu - 1984 ACM DBLP
1 Concurent Constraint Programming at SICS with the Andorra Ke.. (context) - Haridi, Janson et al. - 1993
1 The Program Base is Knowlege Investments (context) - Maslov - 1993
1 of Teleinformatics Software Engineering (context) - Matskin, Tyugu et al. - 1992
1 Constraits in NUT (context) - Penjam, Tyugu - 1994
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.unh.edu.html): More
Csim - a Simple HP48 Circuit Simulator for Educational Purposes - Stenius (1992) (Correct)
Solving Geometric Constraint Systems - Kramer (1990) (Correct)
A Theorem-Proving Approach to Jobshop Scheduling - Toni (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC