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 × Austria
1 × Italy
1 × United Kingdom
2 × Belgium
2 × Sweden
3 × USA
4 × Canada
4 × Germany
Collaborated with:
N.Shahmehri M.Kamkar P.Bunus V.Engelson D.Broman D.Fritzson L.Viklund J.Herber N.Andersson M.Auguston H.Nilsson P.Kroha K.Nyström P.Krajina J.Ringström M.Pettersson G.Hedin J.Åkesson T.Gyimóthy R.Wismüller O.Hansen J.Sala P.Skov
Talks about:
languag (8) model (6) debug (6) parallel (5) algorithm (4) system (4) object (4) slice (4) dynam (4) interprocedur (3)

Person: Peter Fritzson

DBLP DBLP: Fritzson:Peter

Facilitated 1 volumes:

CC 1994Ed

Contributed to:

SAC 20122012
GPCE 20062006
ASE 20032003
PADL 20022002
SCAM 20022002
ECOOP 19981998
CC 19961996
ECOOP 19961996
PDP 19961996
PPoPP 19951995
CC 19941994
CSM 19931993
PDP 19931993
CC 19921992
PLILP 19921992
TOOLS Europe 19921992
PLDI 19911991
CC 19901990
PLILP 19901990
CCHSC 19881988

Wrote 22 papers:

SAC-2012-BromanFHA #comparison #domain-specific language #implementation
A comparison of two metacompilation approaches to implementing a complex domain-specific language (DB, PF, GH, ), pp. 1919–1921.
GPCE-2006-BromanNF #constraints #equation #using
Determining over- and under-constrained systems of equations using structural constraint delta (DB, KN, PF), pp. 151–160.
ASE-2003-BunusF #automation #behaviour #fault #locality #modelling #physics #simulation #verification
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models (PB, PF), pp. 253–258.
PADL-2002-BunusF #debugging #declarative #equation #modelling
A Debugging Scheme for Declarative Equation Based Modeling Languages (PB, PF), pp. 280–298.
SCAM-2002-BunusF #combinator #declarative #equation #graph transformation #semantics
Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages (PB, PF), pp. 163–172.
ECOOP-1998-FritzsonE #modelling #named #object-oriented #simulation
Modelica — A Unified Object-Oriented Language for System Modelling and Simulation (PF, VE), pp. 67–90.
CC-1996-FritzonWHSS #array #bytecode #debugging #distributed #parallel #process
A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes (PF, RW, OH, JS, PS), pp. 341–355.
ECOOP-1996-EngelsonFF #automation #data type #generative #modelling #object-oriented #specification #user interface
Automatic Generation of User Interfaces From Data Structure Specifications and Object-Oriented Application Models (VE, DF, PF), pp. 114–141.
PDP-1996-KamkarKF #message passing #parallel #slicing #source code
Dynamic Slicing of Parallel Message-Passing Programs (MK, PK, PF), pp. 170–178.
PPoPP-1995-AnderssonF #generative #modelling #object-oriented #parallel
Generating Parallel Code from Object Oriented Mathematical Models (NA, PF), pp. 48–57.
CC-1994-RingstromFP #compilation #generative #parallel #performance #specification
Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification (JR, PF, MP), pp. 248–262.
CSM-1993-KamkarFS #how #interprocedural #slicing #testing
Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing (MK, PF, NS), pp. 386–395.
PDP-1993-AugustonF #behaviour #debugging #parallel #specification
PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications (MA, PF), pp. 150–157.
CC-1992-ViklundHF #implementation #programming
The Implementation of ObjectMath — a High-Level Programming Environment for Scientific Computing (LV, JH, PF), pp. 312–318.
PLILP-1992-KamkarSF #interprocedural #slicing
Interprocedural Dynamic Slicing (MK, NS, PF), pp. 370–384.
PLILP-1992-NilssonF #algorithm #debugging #functional #lazy evaluation
Algorithmic Debugging for Lazy Functional Languages (HN, PF), pp. 385–399.
TOOLS-EUROPE-1992-FritzsonVHF #algebra #analysis #industrial #modelling #object-oriented
Industrial Application of OO Mathematical Modeling and Computer Algebra in Mechanical Analysis (PF, LV, JH, DF), pp. 167–181.
PLDI-1991-FritzsonGKS #algorithm #debugging #testing
Generalized Algorithmic Debugging and Testing (PF, TG, MK, NS), pp. 317–326.
CC-1990-KrohaF #compilation #multi #scheduling
A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System (PK, PF), pp. 132–146.
CC-1990-ShahmehriF #algorithm #debugging #imperative
Algorithmic Debugging for Imperative Languages with Side-Effects (NS, PF), pp. 226–227.
PLILP-1990-KamkarNF #algorithm #debugging #locality #slicing
Bug Localization by Algorithmic Debugging and Program Slicing (MK, NS, PF), pp. 60–74.
CCHSC-1988-Fritzson #incremental
Incremental Symbol Processing (PF), pp. 11–38.

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.