Person: Peter Fritzson

DBLP: Fritzson:Peter

Facilitated 1 volumes:

Ed

Contributed to:

2012

2006

2003

2002

2002

1998

1996

1996

1996

1995

1994

1993

1993

1992

1992

1992

1991

1990

1990

1988

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, JÅ), 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.