BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
2 × Finland
3 × France
4 × USA
Collaborated with:
M.Hanus T.Nipkow A.Wagner Y.Jin V.Myllärniemi M.Raatikainen J.v.Gurp T.Männistö Md Rakibul Alam I.Gerostathopoulos Alessandro Attanasi T.Bures
Talks about:
higher (4) order (4) approach (2) program (2) narrow (2) featur (2) type (2) decentralis (1) architectur (1) constraint (1)

Person: Christian Prehofer

DBLP DBLP: Prehofer:Christian

Contributed to:

IFM 20132013
ECSA 20082008
GPCE 20062006
ECOOP 19971997
RTA 19961996
ILPS 19951995
CADE 19941994
LICS 19941994
POPL 19931993
MoDELS 20162016
ICSA 20192019

Wrote 11 papers:

IFM-2013-Prehofer #behaviour #diagrams #refinement #specification
Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement (CP), pp. 31–45.
ECSA-2008-MyllarniemiPRGM #approach #architecture #constraints #distributed
Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints (VM, CP, MR, JvG, TM), pp. 180–195.
GPCE-2006-Prehofer #composition #multi #reasoning #semantics
Semantic reasoning about feature composition via multiple aspect-weavings (CP), pp. 237–242.
ECOOP-1997-Prehofer #feature model #fresh look #programming
Feature-Oriented Programming: A Fresh Look at Objects (CP), pp. 419–443.
RTA-1996-HanusP #higher-order
Higher-Order Narrowing with Definitional Trees (MH, CP), pp. 138–152.
ILPS-1995-Prehofer #call-by #functional #higher-order #logic programming
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming (CP), pp. 147–161.
CADE-1994-Prehofer #decidability #higher-order #problem #unification
Decidable Higher-Order Unification Problems (CP), pp. 635–649.
LICS-1994-Prehofer #higher-order
Higher-Order Narrowing (CP), pp. 507–516.
POPL-1993-NipkowP #type checking
Type Checking Type Classes (TN, CP), pp. 409–418.
MoDELS-2016-PrehoferWJ #approach #interactive #modelling #multi
A model-based approach for multi-device user interactions (CP, AW, YJ), pp. 13–23.
ICSA-2019-AlamGPAB #detection #framework
A Framework for Tunable Anomaly Detection (MRA, IG, CP, AA, TB), pp. 201–210.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.