Titel

Merkliste
1 Ergebnisse

Mechanized meta-reasoning using a hybrid HOAS/de bruijn rep..:

, In: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming,

Hickey, Jason ; Nogin, Aleksey ; Yu, Xin. - p. 172-183 , 2006

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

RT 
T1 <cTitle>Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming</cTitle>: T1 <Title>Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1159826&Exemplar=1&LAN=DE
				
A1 Hickey, Jason
A1 Nogin, Aleksey
A1 Yu, Xin
A1 Kopylov, Alexei
PB ACM
YR 2006
K1 higher-order abstract syntax
K1 languages with bindings
K1 mechanized reasoning
K1 meta-theory
K1 metaPRL
K1 nuPRL
K1 reflection
K1 type theory
K1 Theory of computation
K1 Formal languages and automata theory
K1 Semantics and reasoning
K1 Program semantics
K1 Operational semantics
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Operational analysis
K1 Software notations and tools
K1 Formal language definitions
K1 Models of computation
K1 Computability
K1 Computing methodologies
K1 Symbolic and algebraic manipulation
K1 Symbolic and algebraic algorithms
K1 Theorem proving algorithms
SP 172
OP 183
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1159803.1159826
DO https://dl.acm.org/doi/10.1145/1159803.1159826
SF ELIB - SuUB Bremen

Export

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