Titel

Merkliste
1 Ergebnisse

iRho : an imperative rewriting calculus:

, In: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming,

Liquori, Luigi ; Serpette, Bernard Paul - p. 167-178 , 2004

Link: https://dl.acm.org/doi/10.1145/1013963.1013983

RT 
T1 <cTitle>Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming</cTitle>: T1 <Title>iRho				: an imperative rewriting calculus</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1013983&Exemplar=1&LAN=DE
				
A1 Liquori, Luigi
A1 Serpette, Bernard Paul
PB ACM
YR 2004
K1 certied software
K1 natural semantics
K1 pattern-matching
K1 rewriting-calculus
K1 term rewriting systems
K1 types
K1 Software and its engineering
K1 Software notations and tools
K1 Formal language definitions
K1 Syntax
K1 Theory of computation
K1 Models of computation
K1 Computability
K1 Logic
K1 Constraint and logic programming
K1 Mathematics of computing
K1 Continuous mathematics
K1 Calculus
K1 Lambda calculus
K1 Semantics and reasoning
K1 Program semantics
K1 General programming languages
K1 Language types
K1 Functional languages
K1 Constraint and logic languages
K1 Semantics
K1 Computing methodologies
K1 Symbolic and algebraic manipulation
K1 Symbolic and algebraic algorithms
K1 Theorem proving algorithms
K1 Mathematical analysis
SP 167
OP 178
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1013963.1013983
DO https://dl.acm.org/doi/10.1145/1013963.1013983
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)